Closed XVilka closed 4 years ago
It looks a bit similar to https://github.com/facebook/infer/issues/1178 While the paths to get these errors completely different, the error seems the same.
Still the same problem even after the update to Clang 9 - https://github.com/facebook/infer/commit/fbe1c92c17b224d6be1b4e626efc3e152d46bb2b
Error is still there, you can reproduce it with the following Dockerfile:
FROM debian:buster-slim AS compilator
LABEL maintainer "Infer team"
# mkdir the man/man1 directory due to Debian bug #863199
RUN apt-get update && \
mkdir -p /usr/share/man/man1 && \
apt-get install --yes --no-install-recommends \
autoconf \
automake \
bubblewrap \
bzip2 \
cmake \
curl \
g++ \
gcc \
git \
libc6-dev \
libgmp-dev \
libmpfr-dev \
libsqlite3-dev \
make \
openjdk-11-jdk-headless \
patch \
patchelf \
pkg-config \
python2.7 \
unzip \
xz-utils \
zlib1g-dev && \
rm -rf /var/lib/apt/lists/*
# Some scripts in facebook-clang-plugins assume "python" is available
RUN cd /usr/local/bin && ln -s /usr/bin/python2.7 python
# Install opam 2
RUN curl -sL https://github.com/ocaml/opam/releases/download/2.0.5/opam-2.0.5-x86_64-linux > /usr/bin/opam && \
chmod +x /usr/bin/opam
# Disable sandboxing
# Without this opam fails to compile OCaml for some reason. We don't need sandboxing inside a Docker container anyway.
RUN opam init --reinit --bare --disable-sandboxing --yes --auto-setup
# Download the latest Infer master
RUN cd / && \
git clone --recurse-submodules https://github.com/facebook/infer/
# Build opam deps first, then clang, then infer. This way if any step
# fails we don't lose the significant amount of work done in the
# previous steps.
RUN cd /infer && ./build-infer.sh --only-setup-opam
RUN cd /infer && \
eval $(opam env) && \
./autogen.sh && \
./configure && \
./facebook-clang-plugins/clang/setup.sh
# Generate a release
RUN cd /infer && \
make install \
BUILD_MODE=opt \
PATCHELF=patchelf \
DESTDIR="/infer-release" \
libdir_relative_to_bindir="../lib"
FROM debian:buster-slim AS executor
# Install python 2.7 since infer requires it to run
RUN apt-get update && apt-get install --yes --no-install-recommends \
autoconf automake gcc pkg-config cmake git python2.7 \
patch make build-essential curl wget vim mc
# Get the infer release
COPY --from=compilator /infer-release/usr/local /infer
# Installl infer
ENV PATH /infer/bin:${PATH}
# if called with /infer-host mounted then copy infer there
RUN if test -d /infer-host; then \
cp -av /infer/. /infer-host; \
fi
ENTRYPOINT ["infer"]
Error is still here at the https://github.com/facebook/infer/commit/2f0a0cf28834e538aa951d80bcb4891b26257b22 commit:
---> Running in 3104df06996a
[04:55:39][ 64] Building clang plugin...
[ 56s][ 64] SUCCESS Building clang plugin
[04:56:35][ 114] Building clang plugin OCaml interface...
[ 24s][ 114] SUCCESS Building clang plugin OCaml interface
[04:56:59][ 245] Generating source dependencies...
[ 1s][ 245] SUCCESS Generating source dependencies
[04:57:00][ 375] Building native(opt) Infer...
[ 134s][ 375] SUCCESS Building native(opt) Infer
[04:59:14][ 4206] Building Infer models...
[*ERROR**][4206] *** ERROR 'Building Infer models'
[*ERROR**][4206] *** command: ' make INTERACTIVE= infer_models'
[*ERROR**][4206] *** CWD: '/infer'
[*ERROR**][4206] *** stdout:
[*ERROR**][4206] make[1]: Entering directory '/infer'
[*ERROR**][4206] *** inner Building clang plugin
[*ERROR**][4206] *** inner command: make INTERACTIVE= -C /infer/facebook-clang-plugins/libtooling all CC="gcc" CXX="g++" CFLAGS="-g -O2" CXXFLAGS="-g -O2" CPP="gcc -E" LDFLAGS="" LIBS="" LOCAL_CLANG=/infer/facebook-clang-plugins/clang/install/bin/clang CLANG_PREFIX=/infer/facebook-clang-plugins/clang/install CLANG_INCLUDES=/infer/facebook-clang-plugins/clang/install/include SDKPATH=
[*ERROR**][4206] *** inner CWD: /infer
[*ERROR**][4206] make[2]: Entering directory '/infer/facebook-clang-plugins/libtooling'
[*ERROR**][4206] make[2]: Nothing to be done for 'all'.
[*ERROR**][4206] make[2]: Leaving directory '/infer/facebook-clang-plugins/libtooling'
[*ERROR**][4206] *** inner Building clang plugin OCaml interface
[*ERROR**][4206] *** inner command: make INTERACTIVE= -C /infer/facebook-clang-plugins/clang-ocaml all build/clang_ast_proj.ml build/clang_ast_proj.mli CC=gcc CXX=g++ CFLAGS="-g -O2" CXXFLAGS="-g -O2" CPP="gcc -E" LDFLAGS="" LIBS="" LOCAL_CLANG=/infer/facebook-clang-plugins/clang/install/bin/clang CLANG_PREFIX=/infer/facebook-clang-plugins/clang/install CLANG_INCLUDES=/infer/facebook-clang-plugins/clang/install/include SDKPATH=
[*ERROR**][4206] *** inner CWD: /infer
[*ERROR**][4206] make[2]: Entering directory '/infer/facebook-clang-plugins/clang-ocaml'
[*ERROR**][4206] make[2]: Nothing to be done for 'all'.
[*ERROR**][4206] make[2]: 'build/clang_ast_proj.ml' is up to date.
[*ERROR**][4206] make[2]: 'build/clang_ast_proj.mli' is up to date.
[*ERROR**][4206] make[2]: Leaving directory '/infer/facebook-clang-plugins/clang-ocaml'
[*ERROR**][4206] *** inner Generating source dependencies
[*ERROR**][4206] *** inner command: make INTERACTIVE= -C /infer/infer/src INFER_BUILD_DIR=_build/opt src_build_common
[*ERROR**][4206] *** inner CWD: /infer
[*ERROR**][4206] make[2]: Entering directory '/infer/infer/src'
[*ERROR**][4206] make[2]: Nothing to be done for 'src_build_common'.
[*ERROR**][4206] make[2]: Leaving directory '/infer/infer/src'
[*ERROR**][4206] *** inner Building native(opt) Infer
[*ERROR**][4206] *** inner command: make INTERACTIVE= -C /infer/infer/src INFER_BUILD_DIR=_build/opt infer
[*ERROR**][4206] *** inner CWD: /infer
[*ERROR**][4206] make[2]: Entering directory '/infer/infer/src'
[*ERROR**][4206] /usr/bin/install -c -C /infer/infer/bin/infer.exe /infer/infer/bin/infer
[*ERROR**][4206] make INTERACTIVE= /infer/infer/bin/infer-analyze /infer/infer/bin/infer-capture /infer/infer/bin/infer-compile /infer/infer/bin/infer-explore /infer/infer/bin/infer-report /infer/infer/bin/infer-reportdiff /infer/infer/bin/infer-run
[*ERROR**][4206] make[3]: Entering directory '/infer/infer/src'
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-analyze' is up to date.
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-capture' is up to date.
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-compile' is up to date.
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-explore' is up to date.
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-report' is up to date.
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-reportdiff' is up to date.
[*ERROR**][4206] make[3]: '/infer/infer/bin/infer-run' is up to date.
[*ERROR**][4206] make[3]: Leaving directory '/infer/infer/src'
[*ERROR**][4206] make[2]: Leaving directory '/infer/infer/src'
[*ERROR**][4206] make INTERACTIVE= -C /infer/infer/annotations
[*ERROR**][4206] make[2]: Entering directory '/infer/infer/annotations'
[*ERROR**][4206] /bin/mkdir -p 'annot_classes'
[*ERROR**][4206] javac -source 7 -target 7 -cp /infer/dependencies/java/jsr-305/jsr305.jar src/main/java/com/facebook/infer/annotation/SuppressNullFieldAccess.java src/main/java/com/facebook/infer/annotation/PrivacySink.java src/main/java/com/facebook/infer/annotation/Mutable.java src/main/java/com/facebook/infer/annotation/Assertions.java src/main/java/com/facebook/infer/annotation/FalseOnNull.java src/main/java/com/facebook/infer/annotation/Cleanup.java src/main/java/com/facebook/infer/annotation/IgnoreAllocations.java src/main/java/com/facebook/infer/annotation/SuppressNullMethodCall.java src/main/java/com/facebook/infer/annotation/TrueOnNull.java src/main/java/com/facebook/infer/annotation/ReturnsOwnership.java src/main/java/com/facebook/infer/annotation/ThreadSafe.java src/main/java/com/facebook/infer/annotation/PropagatesNullable.java src/main/java/com/facebook/infer/annotation/NonBlocking.java src/main/java/com/facebook/infer/annotation/SynchronizedCollection.java src/main/java/com/facebook/infer/annotation/NullsafeStrict.java src/main/java/com/facebook/infer/annotation/Present.java src/main/java/com/facebook/infer/annotation/PrivacySource.java src/main/java/com/facebook/infer/annotation/SuppressFieldNotInitialized.java src/main/java/com/facebook/infer/annotation/Lockless.java src/main/java/com/facebook/infer/annotation/SuppressFieldNotNullable.java src/main/java/com/facebook/infer/annotation/SuppressLint.java src/main/java/com/facebook/infer/annotation/SuppressViewNullability.java src/main/java/com/facebook/infer/annotation/PerformanceCritical.java src/main/java/com/facebook/infer/annotation/SuppressParameterNotNullable.java src/main/java/com/facebook/infer/annotation/Verify.java src/main/java/com/facebook/infer/annotation/IntegritySource.java src/main/java/com/facebook/infer/annotation/SuppressReturnOverAnnotated.java src/main/java/com/facebook/infer/annotation/NoAllocation.java src/main/java/com/facebook/infer/annotation/Initializer.java src/main/java/com/facebook/infer/annotation/ThreadConfined.java src/main/java/com/facebook/infer/annotation/OkToExtend.java src/main/java/com/facebook/infer/annotation/Functional.java src/main/java/com/facebook/infer/annotation/Expensive.java src/main/java/com/facebook/infer/annotation/IntegritySink.java -d 'annot_classes'
[*ERROR**][4206] cd 'annot_classes' && jar cvf /infer/infer/annotations/annotations.jar com
[*ERROR**][4206] added manifest
[*ERROR**][4206] adding: com/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: com/facebook/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: com/facebook/infer/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/PrivacySource.class(in = 437) (out= 265)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Functional.class(in = 401) (out= 243)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressFieldNotNullable.class(in = 473) (out= 288)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressNullMethodCall.class(in = 469) (out= 287)(deflated 38%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/NullsafeStrict.class(in = 407) (out= 242)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/ThreadSafe.class(in = 495) (out= 309)(deflated 37%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/TrueOnNull.class(in = 401) (out= 243)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/NoAllocation.class(in = 405) (out= 242)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/IgnoreAllocations.class(in = 415) (out= 246)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/PrivacySink.class(in = 406) (out= 245)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressViewNullability.class(in = 426) (out= 252)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressReturnOverAnnotated.class(in = 479) (out= 286)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/PropagatesNullable.class(in = 420) (out= 250)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Verify.class(in = 439) (out= 275)(deflated 37%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Mutable.class(in = 439) (out= 273)(deflated 37%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/IntegritySink.class(in = 410) (out= 247)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/PerformanceCritical.class(in = 431) (out= 258)(deflated 40%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SynchronizedCollection.class(in = 424) (out= 249)(deflated 41%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressNullFieldAccess.class(in = 471) (out= 287)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Cleanup.class(in = 439) (out= 274)(deflated 37%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Lockless.class(in = 428) (out= 264)(deflated 38%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Present.class(in = 456) (out= 282)(deflated 38%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressParameterNotNullable.class(in = 481) (out= 290)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/ReturnsOwnership.class(in = 413) (out= 250)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Expensive.class(in = 411) (out= 250)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/ThreadConfined.class(in = 551) (out= 324)(deflated 41%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Initializer.class(in = 447) (out= 277)(deflated 38%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressLint.class(in = 456) (out= 280)(deflated 38%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/OkToExtend.class(in = 310) (out= 203)(deflated 34%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/NonBlocking.class(in = 434) (out= 268)(deflated 38%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/SuppressFieldNotInitialized.class(in = 479) (out= 290)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/IntegritySource.class(in = 441) (out= 266)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/FalseOnNull.class(in = 403) (out= 244)(deflated 39%)
[*ERROR**][4206] adding: com/facebook/infer/annotation/Assertions.class(in = 2135) (out= 918)(deflated 57%)
[*ERROR**][4206] jar cvf /infer/infer/annotations/annotations-src.jar src/main/java/com
[*ERROR**][4206] added manifest
[*ERROR**][4206] adding: src/main/java/com/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: src/main/java/com/facebook/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/(in = 0) (out= 0)(stored 0%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressNullFieldAccess.java(in = 562) (out= 296)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/PrivacySink.java(in = 544) (out= 293)(deflated 46%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Mutable.java(in = 546) (out= 285)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Assertions.java(in = 1973) (out= 553)(deflated 71%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/FalseOnNull.java(in = 572) (out= 311)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Cleanup.java(in = 769) (out= 413)(deflated 46%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/IgnoreAllocations.java(in = 492) (out= 267)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressNullMethodCall.java(in = 561) (out= 295)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/TrueOnNull.java(in = 570) (out= 308)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/ReturnsOwnership.java(in = 854) (out= 449)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/ThreadSafe.java(in = 835) (out= 440)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/PropagatesNullable.java(in = 586) (out= 318)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/NonBlocking.java(in = 941) (out= 485)(deflated 48%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SynchronizedCollection.java(in = 740) (out= 388)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/NullsafeStrict.java(in = 890) (out= 464)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Present.java(in = 823) (out= 427)(deflated 48%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/PrivacySource.java(in = 650) (out= 330)(deflated 49%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressFieldNotInitialized.java(in = 566) (out= 299)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Lockless.java(in = 674) (out= 350)(deflated 48%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressFieldNotNullable.java(in = 563) (out= 298)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressLint.java(in = 542) (out= 297)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressViewNullability.java(in = 658) (out= 350)(deflated 46%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/PerformanceCritical.java(in = 522) (out= 285)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressParameterNotNullable.java(in = 567) (out= 300)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Verify.java(in = 558) (out= 288)(deflated 48%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/IntegritySource.java(in = 676) (out= 340)(deflated 49%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/SuppressReturnOverAnnotated.java(in = 566) (out= 297)(deflated 47%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/NoAllocation.java(in = 487) (out= 264)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Initializer.java(in = 1010) (out= 522)(deflated 48%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/ThreadConfined.java(in = 1021) (out= 494)(deflated 51%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/OkToExtend.java(in = 704) (out= 395)(deflated 43%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Functional.java(in = 1377) (out= 670)(deflated 51%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/Expensive.java(in = 504) (out= 273)(deflated 45%)
[*ERROR**][4206] adding: src/main/java/com/facebook/infer/annotation/IntegritySink.java(in = 547) (out= 301)(deflated 44%)
[*ERROR**][4206] make[2]: Leaving directory '/infer/infer/annotations'
[*ERROR**][4206] make INTERACTIVE= -C /infer/infer/models all
[*ERROR**][4206] make[2]: Entering directory '/infer/infer/models'
[*ERROR**][4206] make[3]: Entering directory '/infer/infer/models'
[*ERROR**][4206] rm -f /infer/infer/lib/specs/*.specs /infer/infer/lib/specs/clang_models
[*ERROR**][4206] make[3]: Leaving directory '/infer/infer/models'
[*ERROR**][4206] make[3]: Entering directory '/infer/infer/models/c/src'
[*ERROR**][4206] rm -rf xlib.o wchar.o math.o glib.o wctype.o libc_basic.o infer_builtins.o
[*ERROR**][4206] make[3]: Leaving directory '/infer/infer/models/c/src'
[*ERROR**][4206] make[3]: Entering directory '/infer/infer/models/cpp/src'
[*ERROR**][4206] rm -rf c_src/xlib_cxx.o c_src/wchar_cxx.o c_src/math_cxx.o c_src/glib_cxx.o c_src/wctype_cxx.o c_src/libc_basic_cxx.o c_src/infer_builtins_cxx.o shared_ptr.o type_info.o throw_wrappers.o
[*ERROR**][4206] make[3]: Leaving directory '/infer/infer/models/cpp/src'
[*ERROR**][4206] *** inner Capturing C models
[*ERROR**][4206] *** inner command: /infer/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --continue -- make INTERACTIVE= -C c/src all
[*ERROR**][4206] *** inner CWD: /infer/infer/models
[*ERROR**][4206] make[3]: Entering directory '/infer/infer/models/c/src'
[*ERROR**][4206] clang -c -w xlib.c -o xlib.o
[*ERROR**][4206] clang -c -w wchar.c -o wchar.o
[*ERROR**][4206] clang -c -w math.c -o math.o
[*ERROR**][4206] clang -c -w glib.c -o glib.o
[*ERROR**][4206] clang -c -w wctype.c -o wctype.o
[*ERROR**][4206] clang -c -w libc_basic.c -o libc_basic.o
[*ERROR**][4206] clang -c -w infer_builtins.c -o infer_builtins.o
[*ERROR**][4206] make[3]: Leaving directory '/infer/infer/models/c/src'
[*ERROR**][4206] *** inner Capturing C++ models
[*ERROR**][4206] *** inner command: /infer/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --continue -- make INTERACTIVE= -C cpp/src all
[*ERROR**][4206] *** inner CWD: /infer/infer/models
[*ERROR**][4206] make[3]: Entering directory '/infer/infer/models/cpp/src'
[*ERROR**][4206] clang++ -c -w -std=c++11 c_src/xlib.c -o c_src/xlib_cxx.o
[*ERROR**][4206] make[3]: Leaving directory '/infer/infer/models/cpp/src'
[*ERROR**][4206] make[2]: Leaving directory '/infer/infer/models'
[*ERROR**][4206] make[1]: Leaving directory '/infer'
[*ERROR**][4206] *** stderr:
[*ERROR**][4206] warning: [options] bootstrap class path not set in conjunction with -source 7
[*ERROR**][4206] 1 warning
[*ERROR**][4206] Capturing in make/cc mode...
[*ERROR**][4206] Capturing in make/cc mode...
[*ERROR**][4206] Stack dump:
[*ERROR**][4206] 0. Program arguments: /infer/facebook-clang-plugins/clang/install/bin/clang-9 @/tmp/clang_command_.tmp.0f506f.txt
[*ERROR**][4206] 1. <eof> parser at end of file
[*ERROR**][4206] #0 0x000055ba2f88486a llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x1eb686a)
[*ERROR**][4206] #1 0x000055ba2f882664 llvm::sys::RunSignalHandlers() (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x1eb4664)
[*ERROR**][4206] #2 0x000055ba2f8827c5 (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x1eb47c5)
[*ERROR**][4206] #3 0x00007fc709690730 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12730)
[*ERROR**][4206] #4 0x000055ba319b7596 clang::FunctionProtoType::hasDependentExceptionSpec() const (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x3fe9596)
[*ERROR**][4206] #5 0x00007fc708f4f346 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitFunctionDecl(clang::FunctionDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1552:8
[*ERROR**][4206] #6 0x00007fc708f540f9 clang::CXXMethodDecl::isVirtual() const /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclCXX.h:2158:76
[*ERROR**][4206] #7 0x00007fc708f540f9 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitCXXMethodDecl(clang::CXXMethodDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:2095:32
[*ERROR**][4206] #8 0x00007fc708f4e055 clang::declvisitor::Base<llvm::make_const_ptr, ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >, void>::Visit(clang::Decl const*) /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclNodes.inc:405:1
[*ERROR**][4206] #9 0x00007fc708f4e5de std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::pop_back() /usr/include/c++/8/bits/stl_vector.h:1115:18
[*ERROR**][4206] #10 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:542:5
[*ERROR**][4206] #11 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:664:23
[*ERROR**][4206] #12 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:206:5
[*ERROR**][4206] #13 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:264:21
[*ERROR**][4206] #14 0x00007fc708f4e5de ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1070:16
[*ERROR**][4206] #15 0x00007fc708f54e2f ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitDeclContext(clang::DeclContext const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:713:5
[*ERROR**][4206] #16 0x00007fc708f55744 clang::TagDecl::getTagKind() const /infer/facebook-clang-plugins/clang/install/include/clang/AST/Decl.h:3277:45
[*ERROR**][4206] #17 0x00007fc708f55744 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitTagDecl(clang::TagDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1237:24
[*ERROR**][4206] #18 0x00007fc708f55929 llvm::PointerIntPairInfo<clang::Decl*, 2u, llvm::PointerLikeTypeTraits<clang::Decl*> >::getInt(long) /infer/facebook-clang-plugins/clang/install/include/llvm/ADT/PointerIntPair.h:171:19
[*ERROR**][4206] #19 0x00007fc708f55929 llvm::PointerIntPair<clang::Decl*, 2u, clang::Decl::ModuleOwnershipKind, llvm::PointerLikeTypeTraits<clang::Decl*>, llvm::PointerIntPairInfo<clang::Decl*, 2u, llvm::PointerLikeTypeTraits<clang::Decl*> > >::getInt() const /infer/facebook-clang-plugins/clang/install/include/llvm/ADT/PointerIntPair.h:60:56
[*ERROR**][4206] #20 0x00007fc708f55929 clang::Decl::getModuleOwnershipKind() const /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclBase.h:787:39
[*ERROR**][4206] #21 0x00007fc708f55929 clang::Decl::isModulePrivate() const /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclBase.h:608:34
[*ERROR**][4206] #22 0x00007fc708f55929 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitRecordDecl(clang::RecordDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1460:44
[*ERROR**][4206] #23 0x00007fc708f5740c ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitCXXRecordDecl(clang::CXXRecordDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1900:3
[*ERROR**][4206] #24 0x00007fc708f4e125 clang::declvisitor::Base<llvm::make_const_ptr, ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >, void>::Visit(clang::Decl const*) /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclNodes.inc:257:1
[*ERROR**][4206] #25 0x00007fc708f4e5de std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::pop_back() /usr/include/c++/8/bits/stl_vector.h:1115:18
[*ERROR**][4206] #26 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:542:5
[*ERROR**][4206] #27 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:664:23
[*ERROR**][4206] #28 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:206:5
[*ERROR**][4206] #29 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:264:21
[*ERROR**][4206] #30 0x00007fc708f4e5de ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1070:16
[*ERROR**][4206] #31 0x00007fc708f54e2f ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitDeclContext(clang::DeclContext const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:713:5
[*ERROR**][4206] #32 0x00007fc708f4e081 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitCapturedDecl(clang::CapturedDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1170:3
[*ERROR**][4206] #33 0x00007fc708f4e081 clang::declvisitor::Base<llvm::make_const_ptr, ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >, void>::Visit(clang::Decl const*) /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclNodes.inc:35:1
[*ERROR**][4206] #34 0x00007fc708f4e5de std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::pop_back() /usr/include/c++/8/bits/stl_vector.h:1115:18
[*ERROR**][4206] #35 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:542:5
[*ERROR**][4206] #36 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:664:23
[*ERROR**][4206] #37 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:206:5
[*ERROR**][4206] #38 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:264:21
[*ERROR**][4206] #39 0x00007fc708f4e5de ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1070:16
[*ERROR**][4206] #40 0x00007fc708f54e2f ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitDeclContext(clang::DeclContext const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:713:5
[*ERROR**][4206] #41 0x00007fc708f5505c ATDWriter::BiniouEmitter<llvm::raw_ostream>::enterObject(int) /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:649:32
[*ERROR**][4206] #42 0x00007fc708f5505c ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::enterObject(int) /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:186:5
[*ERROR**][4206] #43 0x00007fc708f5505c ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::ObjectScope::ObjectScope(ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >&, int) /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:253:51
[*ERROR**][4206] #44 0x00007fc708f5505c ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitTranslationUnitDecl(clang::TranslationUnitDecl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1370:15
[*ERROR**][4206] #45 0x00007fc708f4e1b5 clang::declvisitor::Base<llvm::make_const_ptr, ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >, void>::Visit(clang::Decl const*) /infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclNodes.inc:577:1
[*ERROR**][4206] #46 0x00007fc708f4e5de std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::pop_back() /usr/include/c++/8/bits/stl_vector.h:1115:18
[*ERROR**][4206] #47 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:542:5
[*ERROR**][4206] #48 0x00007fc708f4e5de ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:664:23
[*ERROR**][4206] #49 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:206:5
[*ERROR**][4206] #50 0x00007fc708f4e5de ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /infer/facebook-clang-plugins/libtooling/atdlib/ATDWriter.h:264:21
[*ERROR**][4206] #51 0x00007fc708f4e5de ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:1070:16
[*ERROR**][4206] #52 0x00007fc708f4e82f std::unique_ptr<clang::MangleContext, std::default_delete<clang::MangleContext> >::~unique_ptr() /usr/include/c++/8/bits/unique_ptr.h:273:12
[*ERROR**][4206] #53 0x00007fc708f4e82f ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::~ASTExporter() /infer/facebook-clang-plugins/libtooling/ASTExporter.h:192:7
[*ERROR**][4206] #54 0x00007fc708f4e82f ASTLib::ExporterASTConsumer<ATDWriter::BiniouWriter<llvm::raw_ostream>, true>::HandleTranslationUnit(clang::ASTContext&) /infer/facebook-clang-plugins/libtooling/ASTExporter.h:5352:28
[*ERROR**][4206] #55 0x000055ba2ff6d128 clang::MultiplexConsumer::HandleTranslationUnit(clang::ASTContext&) (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x259f128)
[*ERROR**][4206] #56 0x000055ba30f15e1a clang::ParseAST(clang::Sema&, bool, bool) (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x3547e1a)
[*ERROR**][4206] #57 0x000055ba30472f67 clang::CodeGenAction::ExecuteAction() (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x2aa4f67)
[*ERROR**][4206] #58 0x000055ba2ff38af9 clang::FrontendAction::Execute() (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x256aaf9)
[*ERROR**][4206] #59 0x000055ba2fefb10b clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x252d10b)
[*ERROR**][4206] #60 0x000055ba2ffeef39 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0x2620f39)
[*ERROR**][4206] #61 0x000055ba2e627871 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0xc59871)
[*ERROR**][4206] #62 0x000055ba2e5bce58 main (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0xbeee58)
[*ERROR**][4206] #63 0x00007fc708f9109b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2409b)
[*ERROR**][4206] #64 0x000055ba2e62430a _start (/infer/facebook-clang-plugins/clang/install/bin/clang-9+0xc5630a)
[*ERROR**][4206] Segmentation fault (core dumped)
[*ERROR**][4206] Uncaught Internal Error: (Bi_inbuf.End_of_input)
[*ERROR**][4206] Error backtrace:
[*ERROR**][4206] Raised at file "src/bi_inbuf.ml", line 33, characters 6-24
[*ERROR**][4206] Called from file "src/bi_io.ml", line 125, characters 10-28
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml", line 6605, characters 12-39
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml", line 6775, characters 6-47
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml", line 27961, characters 35-111
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml", line 37429, characters 22-89
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml" (inlined), line 36110, characters 8-1023
[*ERROR**][4206] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 192, characters 27-38
[*ERROR**][4206] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][4206] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml" (inlined), line 35314, characters 18-84
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml", line 36314, characters 22-83
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml" (inlined), line 36110, characters 8-1023
[*ERROR**][4206] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 192, characters 27-38
[*ERROR**][4206] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][4206] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml" (inlined), line 35314, characters 18-84
[*ERROR**][4206] Called from file "atd/clang_ast_b.ml", line 40192, characters 18-71
[*ERROR**][4206] Called from file "atdgen-runtime/src/util.ml" (inlined), line 30, characters 4-11
[*ERROR**][4206] Called from file "clang/Capture.ml", line 21, characters 2-113
[*ERROR**][4206] Re-raised at file "istd/IExn.ml", line 18, characters 15-63
[*ERROR**][4206] Called from file "clang/Capture.ml", line 119, characters 4-60
[*ERROR**][4206] Called from file "base/Utils.ml" (inlined), line 242, characters 13-22
[*ERROR**][4206] Called from file "base/Utils.ml" (inlined), line 166, characters 8-12
[*ERROR**][4206] Called from file "base/Utils.ml", line 244, characters 2-40
[*ERROR**][4206] Re-raised at file "istd/IExn.ml", line 13, characters 2-50
[*ERROR**][4206] Called from file "base/Utils.ml" (inlined), line 168, characters 6-141
[*ERROR**][4206] Called from file "base/Utils.ml", line 244, characters 2-40
[*ERROR**][4206] Called from file "clang/Capture.ml", line 130, characters 8-78
[*ERROR**][4206] Called from file "clang/ClangWrapper.ml" (inlined), line 180, characters 15-45
[*ERROR**][4206] Called from file "list.ml" (inlined), line 110, characters 12-15
[*ERROR**][4206] Called from file "list.ml" (inlined), line 108, characters 13-64
[*ERROR**][4206] Called from file "src/list0.ml" (inlined), line 26, characters 40-75
[*ERROR**][4206] Called from file "clang/ClangWrapper.ml", line 180, characters 2-54
[*ERROR**][4206] Called from file "integration/Driver.ml", line 296, characters 6-40
[*ERROR**][4206] Called from file "base/Utils.ml", line 423, characters 16-20
[*ERROR**][4206] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][4206] Called from file "infer.ml", line 20, characters 2-36
[*ERROR**][4206] Called from file "base/Utils.ml", line 423, characters 16-20
[*ERROR**][4206] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][4206] Called from file "infer.ml", line 25, characters 22-94
[*ERROR**][4206]
[*ERROR**][4206] Run the command again with `--keep-going` to try and ignore this error.
[*ERROR**][4206] make[3]: *** [Makefile:21: c_src/xlib_cxx.o] Error 2
[*ERROR**][4206] External Error: *** capture command failed:
[*ERROR**][4206] *** make INTERACTIVE= -C cpp/src all
[*ERROR**][4206] *** exited with code 2
[*ERROR**][4206]
[*ERROR**][4206] Error backtrace:
[*ERROR**][4206] Raised at file "string.ml", line 145, characters 16-31
[*ERROR**][4206] Called from file "src/string.ml", line 407, characters 12-33
[*ERROR**][4206] Called from file "src/string.ml", line 416, characters 11-33
[*ERROR**][4206] Re-raised at file "base/Die.ml", line 26, characters 8-56
[*ERROR**][4206] Called from file "integration/Driver.ml", line 296, characters 6-40
[*ERROR**][4206] Called from file "base/Utils.ml", line 423, characters 16-20
[*ERROR**][4206] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][4206] Called from file "infer.ml", line 20, characters 2-36
[*ERROR**][4206] Called from file "base/Utils.ml", line 423, characters 16-20
[*ERROR**][4206] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][4206] Called from file "infer.ml", line 25, characters 22-94
[*ERROR**][4206]
[*ERROR**][4206] Run the command again with `--keep-going` to try and ignore this error.
[*ERROR**][4206] make[2]: *** [Makefile:34: /infer/infer/lib/specs/clang_models] Error 3
[*ERROR**][4206] make[1]: *** [Makefile:329: infer_models] Error 2
make: *** [Makefile:334: infer] Error 2
The command '/bin/sh -c cd /infer && make install BUILD_MODE=opt PATCHELF=patchelf DESTDIR="/infer-release" libdir_relative_to_bindir="../lib"' returned a non-zero code: 2
@XVilka Thank you for the report. I was able to reproduce the issue.
I confirm - it was fixed in the latest master. Thank you!
Please include the following information:
stretch-slim
tobuster-slim
, andopenjdk-8-jdk-headless
toopenjdk-11-jdk-headless