Skip to content

Instantly share code, notes, and snippets.

@dmitris
Created August 19, 2019 13:28
Show Gist options
  • Save dmitris/8be31b0afee06cb4833106c10a8edcc2 to your computer and use it in GitHub Desktop.
Save dmitris/8be31b0afee06cb4833106c10a8edcc2 to your computer and use it in GitHub Desktop.
infer build - error running ./build-infer.sh -y (current master version)
initializing opam...
installing infer dependencies; this can take up to 30 minutes...
[WARNING] Lock file opam.locked is outdated, you may want to re-run opam lock:
Dependencies present in opam file not in lock file:
- utop
Nothing to do.
preparing build...
checking for .release... no
checking for .facebook... no
checking for build platform... Linux
checking for Windows build... no
checking whether to use the compilers in /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin... no
checking for shasum... shasum
checking for cmake... cmake
checking for python2.7... python2.7
checking for xcode-select... no
checking for xcrun... no
checking for clang... clang
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether clang accepts -g... yes
checking for clang option to accept ISO C89... none needed
checking for gawk... gawk
checking for a BSD-compatible install... /bin/install -c
checking whether ln -s works... yes
checking whether make sets $(MAKE)... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking how to run the C preprocessor... clang -E
checking for clang++... clang++
checking whether we are using the GNU C++ compiler... yes
checking whether clang++ accepts -g... yes
checking if the C/C++ compiler is recent enough... yes
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking fcntl.h usability... yes
checking fcntl.h presence... yes
checking for fcntl.h... yes
checking for inttypes.h... (cached) yes
checking limits.h usability... yes
checking limits.h presence... yes
checking for limits.h... yes
checking locale.h usability... yes
checking locale.h presence... yes
checking for locale.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking stddef.h usability... yes
checking stddef.h presence... yes
checking for stddef.h... yes
checking for stdint.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking sys/mount.h usability... yes
checking sys/mount.h presence... yes
checking for sys/mount.h... yes
checking sys/param.h usability... yes
checking sys/param.h presence... yes
checking for sys/param.h... yes
checking sys/socket.h usability... yes
checking sys/socket.h presence... yes
checking for sys/socket.h... yes
checking sys/statfs.h usability... yes
checking sys/statfs.h presence... yes
checking for sys/statfs.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking for unistd.h... (cached) yes
checking wchar.h usability... yes
checking wchar.h presence... yes
checking for wchar.h... yes
checking wctype.h usability... yes
checking wctype.h presence... yes
checking for wctype.h... yes
checking for ocamlc... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlc
OCaml version is 4.07.1
OCaml library path is /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/ocaml
checking for ocamlopt... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlopt
checking for ocamlc.opt... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlc.opt
checking for ocamlopt.opt... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlopt.opt
checking for dynlink.cmxa... yes
checking for ocaml... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocaml
checking for ocamldep... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamldep
checking for ocamlmktop... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlmktop
checking for ocamlmklib... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlmklib
checking for ocamldoc... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamldoc
checking for ocamlbuild... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlbuild
checking if OCaml version is >= 4.06.1... yes
checking for ocamlbuild... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlbuild
checking for ocamlfind... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamlfind
checking for ocamllex... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamllex
checking for ocamllex.opt... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/bin/ocamllex.opt
checking for menhir... menhir
checking for OCaml findlib package atdgen... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/atdgen
checking for OCaml findlib package biniou... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/biniou
checking for OCaml findlib package camlzip... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/camlzip
checking for OCaml findlib package easy-format... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/easy-format
checking for OCaml findlib package oUnit... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/oUnit
checking for utop... no
checking for OCaml findlib package yojson... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/yojson
checking for opam... opam
checking opam version... 2.0.4
checking current opam root... /home/dmitris/.opam
checking current opam switch... ocaml-variants.4.07.1+flambda
checking for java... java
checking for javac... javac
checking for OCaml findlib package javalib... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/javalib
checking for OCaml findlib package sawja... /home/dmitris/.opam/ocaml-variants.4.07.1+flambda/lib/sawja
checking for Java major version... 11
checking for JAVA_HOME... /usr/java/yjava_jdk-11.0.3_7.325
checking for inflateEnd in -lz... yes
checking for atdgen... atdgen
checking which .buckversion to use... dotbuckversion
checking for getconf... getconf
checking the number of cpus the build host has... 8
checking for ant... no
checking for buck... no
checking for emacs... no
checking for mvn... no
checking for ndk-build... no
checking for ndk-build... no
checking for Python module lxml... unavailable
checking for xcpretty... no
checking for sed... sed
checking if sed is GNU sed... yes
checking for brew... no
checking for install_name_tool... no
checking for ldd... ldd
checking for otool... no
checking for patchelf... no
configure: creating ./config.status
config.status: creating Makefile.autoconf
WARNING: MAKEFLAGS var was set to: -j8 --jobserver-auth=3,4
which may (and will!) interfere with the setup
... ignoring MAKEFLAGS.
[12:53:44][11594] Building clang plugin...
[ 43s][11594] SUCCESS Building clang plugin
[12:54:27][11865] Building clang plugin OCaml interface...
[ 33s][11865] SUCCESS Building clang plugin OCaml interface
[12:55:00][12159] Generating source dependencies...
[ 1s][12159] SUCCESS Generating source dependencies
[12:55:01][12324] Building native(opt) Infer...
[ 218s][12324] SUCCESS Building native(opt) Infer
[12:58:39][16390] Building Infer models...
[*ERROR**][16390] *** ERROR 'Building Infer models'
[*ERROR**][16390] *** command: ' make INTERACTIVE=1 infer_models'
[*ERROR**][16390] *** CWD: '/home/dmitris/dev/hack/infer'
[*ERROR**][16390] *** stdout:
[*ERROR**][16390] make[1]: Entering directory '/home/dmitris/dev/hack/infer'
[*ERROR**][16390] WARNING: MAKEFLAGS var was set to: w -j8 --jobserver-auth=3,4 -- INTERACTIVE=1
[*ERROR**][16390] which may (and will!) interfere with the setup
[*ERROR**][16390] ... ignoring MAKEFLAGS.
[*ERROR**][16390] *** inner Building clang plugin
[*ERROR**][16390] *** inner command: make INTERACTIVE=1 -C /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling all CC="clang" CXX="clang++" CFLAGS="-g -O2" CXXFLAGS="-g -O2" CPP="clang -E" LDFLAGS="" LIBS="" LOCAL_CLANG=/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang CLANG_PREFIX=/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install CLANG_INCLUDES=/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer
[*ERROR**][16390] make[2]: Entering directory '/home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling'
[*ERROR**][16390] make[2]: Nothing to be done for 'all'.
[*ERROR**][16390] make[2]: Leaving directory '/home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling'
[*ERROR**][16390] *** inner Building clang plugin OCaml interface
[*ERROR**][16390] *** inner command: make INTERACTIVE=1 -C /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang-ocaml all build/clang_ast_proj.ml build/clang_ast_proj.mli CC=clang CXX=clang++ CFLAGS="-g -O2" CXXFLAGS="-g -O2" CPP="clang -E" LDFLAGS="" LIBS="" LOCAL_CLANG=/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang CLANG_PREFIX=/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install CLANG_INCLUDES=/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer
[*ERROR**][16390] make[2]: Entering directory '/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang-ocaml'
[*ERROR**][16390] make[2]: Nothing to be done for 'all'.
[*ERROR**][16390] make[2]: 'build/clang_ast_proj.ml' is up to date.
[*ERROR**][16390] make[2]: 'build/clang_ast_proj.mli' is up to date.
[*ERROR**][16390] make[2]: Leaving directory '/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang-ocaml'
[*ERROR**][16390] *** inner Generating source dependencies
[*ERROR**][16390] *** inner command: make INTERACTIVE=1 -C /home/dmitris/dev/hack/infer/infer/src INFER_BUILD_DIR=_build/opt src_build_common
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer
[*ERROR**][16390] make[2]: Entering directory '/home/dmitris/dev/hack/infer'
[*ERROR**][16390] make[2]: Nothing to be done for 'src_build_common'.
[*ERROR**][16390] make[2]: Leaving directory '/home/dmitris/dev/hack/infer/infer/src'
[*ERROR**][16390] *** inner Building native(opt) Infer
[*ERROR**][16390] *** inner command: make INTERACTIVE=1 -C /home/dmitris/dev/hack/infer/infer/src INFER_BUILD_DIR=_build/opt infer
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer
[*ERROR**][16390] make[2]: Entering directory '/home/dmitris/dev/hack/infer'
[*ERROR**][16390] make[2]: Nothing to be done for 'infer'.
[*ERROR**][16390] make[2]: Leaving directory '/home/dmitris/dev/hack/infer/infer/src'
[*ERROR**][16390] make INTERACTIVE=1 -C /home/dmitris/dev/hack/infer/infer/annotations
[*ERROR**][16390] make[2]: Entering directory '/home/dmitris/dev/hack/infer/infer/annotations'
[*ERROR**][16390] /bin/mkdir -p 'annot_classes'
[*ERROR**][16390] jar cvf /home/dmitris/dev/hack/infer/infer/annotations/annotations-src.jar src/main/java/com
[*ERROR**][16390] javac -source 7 -target 7 -cp /home/dmitris/dev/hack/infer/dependencies/java/jsr-305/jsr305.jar src/main/java/com/facebook/infer/annotation/Assertions.java src/main/java/com/facebook/infer/annotation/Expensive.java src/main/java/com/facebook/infer/annotation/Functional.java src/main/java/com/facebook/infer/annotation/IgnoreAllocations.java src/main/java/com/facebook/infer/annotation/Initializer.java src/main/java/com/facebook/infer/annotation/IntegritySink.java src/main/java/com/facebook/infer/annotation/Mutable.java src/main/java/com/facebook/infer/annotation/NoAllocation.java src/main/java/com/facebook/infer/annotation/NonBlocking.java src/main/java/com/facebook/infer/annotation/OkToExtend.java src/main/java/com/facebook/infer/annotation/PerformanceCritical.java src/main/java/com/facebook/infer/annotation/Present.java src/main/java/com/facebook/infer/annotation/PrivacySink.java src/main/java/com/facebook/infer/annotation/PrivacySource.java src/main/java/com/facebook/infer/annotation/PropagatesNullable.java src/main/java/com/facebook/infer/annotation/ReturnsOwnership.java src/main/java/com/facebook/infer/annotation/SuppressFieldNotInitialized.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/SuppressNullFieldAccess.java src/main/java/com/facebook/infer/annotation/SuppressNullMethodCall.java src/main/java/com/facebook/infer/annotation/SuppressParameterNotNullable.java src/main/java/com/facebook/infer/annotation/SuppressReturnOverAnnotated.java src/main/java/com/facebook/infer/annotation/SuppressViewNullability.java src/main/java/com/facebook/infer/annotation/SynchronizedCollection.java src/main/java/com/facebook/infer/annotation/ThreadConfined.java src/main/java/com/facebook/infer/annotation/ThreadSafe.java src/main/java/com/facebook/infer/annotation/TrueOnNull.java src/main/java/com/facebook/infer/annotation/Verify.java src/main/java/com/facebook/infer/annotation/Cleanup.java src/main/java/com/facebook/infer/annotation/FalseOnNull.java src/main/java/com/facebook/infer/annotation/IntegritySource.java -d 'annot_classes'
[*ERROR**][16390] added manifest
[*ERROR**][16390] adding: src/main/java/com/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: src/main/java/com/facebook/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Assertions.java(in = 1973) (out= 553)(deflated 71%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Expensive.java(in = 504) (out= 273)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Functional.java(in = 1377) (out= 670)(deflated 51%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/IgnoreAllocations.java(in = 492) (out= 267)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Initializer.java(in = 1010) (out= 522)(deflated 48%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/IntegritySink.java(in = 547) (out= 301)(deflated 44%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Mutable.java(in = 546) (out= 285)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/NoAllocation.java(in = 487) (out= 264)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/NonBlocking.java(in = 941) (out= 485)(deflated 48%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/OkToExtend.java(in = 704) (out= 395)(deflated 43%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/PerformanceCritical.java(in = 522) (out= 285)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Present.java(in = 823) (out= 427)(deflated 48%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/PrivacySink.java(in = 544) (out= 293)(deflated 46%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/PrivacySource.java(in = 650) (out= 330)(deflated 49%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/PropagatesNullable.java(in = 586) (out= 318)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/ReturnsOwnership.java(in = 854) (out= 449)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressFieldNotInitialized.java(in = 566) (out= 299)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressFieldNotNullable.java(in = 563) (out= 298)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressLint.java(in = 542) (out= 297)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressNullFieldAccess.java(in = 562) (out= 296)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressNullMethodCall.java(in = 561) (out= 295)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressParameterNotNullable.java(in = 567) (out= 300)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressReturnOverAnnotated.java(in = 566) (out= 297)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SuppressViewNullability.java(in = 658) (out= 350)(deflated 46%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/SynchronizedCollection.java(in = 740) (out= 388)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/ThreadConfined.java(in = 1021) (out= 494)(deflated 51%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/ThreadSafe.java(in = 835) (out= 440)(deflated 47%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/TrueOnNull.java(in = 570) (out= 308)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Verify.java(in = 558) (out= 288)(deflated 48%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/Cleanup.java(in = 769) (out= 413)(deflated 46%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/FalseOnNull.java(in = 572) (out= 311)(deflated 45%)
[*ERROR**][16390] adding: src/main/java/com/facebook/infer/annotation/IntegritySource.java(in = 676) (out= 340)(deflated 49%)
[*ERROR**][16390] cd 'annot_classes' && jar cvf /home/dmitris/dev/hack/infer/infer/annotations/annotations.jar com
[*ERROR**][16390] added manifest
[*ERROR**][16390] adding: com/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: com/facebook/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: com/facebook/infer/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/(in = 0) (out= 0)(stored 0%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Assertions.class(in = 2135) (out= 918)(deflated 57%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Expensive.class(in = 411) (out= 250)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Functional.class(in = 401) (out= 243)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/IgnoreAllocations.class(in = 415) (out= 246)(deflated 40%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Initializer.class(in = 447) (out= 277)(deflated 38%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/IntegritySink.class(in = 410) (out= 247)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Mutable.class(in = 439) (out= 273)(deflated 37%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/NoAllocation.class(in = 405) (out= 242)(deflated 40%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/NonBlocking.class(in = 434) (out= 268)(deflated 38%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/OkToExtend.class(in = 310) (out= 203)(deflated 34%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/PerformanceCritical.class(in = 431) (out= 258)(deflated 40%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Present.class(in = 456) (out= 282)(deflated 38%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/PrivacySink.class(in = 406) (out= 245)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/PrivacySource.class(in = 437) (out= 265)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/PropagatesNullable.class(in = 420) (out= 250)(deflated 40%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/ReturnsOwnership.class(in = 413) (out= 250)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressFieldNotInitialized.class(in = 479) (out= 290)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressFieldNotNullable.class(in = 473) (out= 288)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressLint.class(in = 456) (out= 280)(deflated 38%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressNullFieldAccess.class(in = 471) (out= 287)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressNullMethodCall.class(in = 469) (out= 287)(deflated 38%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressParameterNotNullable.class(in = 481) (out= 290)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressReturnOverAnnotated.class(in = 479) (out= 286)(deflated 40%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SuppressViewNullability.class(in = 426) (out= 252)(deflated 40%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/SynchronizedCollection.class(in = 424) (out= 249)(deflated 41%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/ThreadConfined.class(in = 551) (out= 324)(deflated 41%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/ThreadSafe.class(in = 495) (out= 309)(deflated 37%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/TrueOnNull.class(in = 401) (out= 243)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Verify.class(in = 439) (out= 275)(deflated 37%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/Cleanup.class(in = 439) (out= 274)(deflated 37%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/FalseOnNull.class(in = 403) (out= 244)(deflated 39%)
[*ERROR**][16390] adding: com/facebook/infer/annotation/IntegritySource.class(in = 441) (out= 266)(deflated 39%)
[*ERROR**][16390] make[2]: Leaving directory '/home/dmitris/dev/hack/infer/infer/annotations'
[*ERROR**][16390] make INTERACTIVE=1 -C /home/dmitris/dev/hack/infer/infer/models all
[*ERROR**][16390] make[2]: Entering directory '/home/dmitris/dev/hack/infer/infer/models'
[*ERROR**][16390] make[3]: Entering directory '/home/dmitris/dev/hack/infer/infer/models'
[*ERROR**][16390] make[3]: Entering directory '/home/dmitris/dev/hack/infer/infer/models/java'
[*ERROR**][16390] rm -f /home/dmitris/dev/hack/infer/infer/lib/specs/*.specs /home/dmitris/dev/hack/infer/infer/lib/specs/clang_models
[*ERROR**][16390] make[3]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models'
[*ERROR**][16390] make[3]: Entering directory '/home/dmitris/dev/hack/infer/infer/models/c/src'
[*ERROR**][16390] rm -rf glib.o wchar.o xlib.o math.o wctype.o libc_basic.o infer_builtins.o
[*ERROR**][16390] make[3]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models/c/src'
[*ERROR**][16390] make[3]: Entering directory '/home/dmitris/dev/hack/infer/infer/models/cpp/src'
[*ERROR**][16390] rm -rf c_src/glib_cxx.o c_src/wchar_cxx.o c_src/xlib_cxx.o c_src/math_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**][16390] make[3]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models/cpp/src'
[*ERROR**][16390] *** inner Capturing C models
[*ERROR**][16390] *** inner command: /home/dmitris/dev/hack/infer/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --continue -- make INTERACTIVE=1 -C c/src all
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer/infer/models
[*ERROR**][16390] make[3]: Entering directory '/home/dmitris/dev/hack/infer/infer/models/c/src'
[*ERROR**][16390] clang -c -w glib.c -o glib.o
[*ERROR**][16390] *** inner Building Java models
[*ERROR**][16390] *** inner command: /home/dmitris/dev/hack/infer/infer/bin/infer --biabduction-only --results-dir models/infer --biabduction-models-mode -- javac -bootclasspath /home/dmitris/dev/hack/infer/infer/lib/java/android/android-23.jar -d models -classpath /home/dmitris/dev/hack/infer/infer/lib/java/android/android-23.jar:/home/dmitris/dev/hack/infer/dependencies/java/guava/guava-23.0.jar:/home/dmitris/dev/hack/infer/dependencies/java/jackson/jackson-2.2.3.jar:/home/dmitris/dev/hack/infer/dependencies/java/jsr-305/jsr305.jar:/home/dmitris/dev/hack/infer/infer/annotations/annotations.jar /home/dmitris/dev/hack/infer/infer/models/java/builtins/com/facebook/infer/builtins/InferBuiltins.java /home/dmitris/dev/hack/infer/infer/models/java/builtins/com/facebook/infer/builtins/InferCloseables.java /home/dmitris/dev/hack/infer/infer/models/java/builtins/com/facebook/infer/builtins/InferTaint.java /home/dmitris/dev/hack/infer/infer/models/java/builtins/com/facebook/infer/builtins/InferUndefined.java /home/dmitris/dev/hack/infer/infer/models/java/builtins/com/facebook/infer/builtins/InferUtils.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/app/Activity.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/app/AlarmManager.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/app/DownloadManager.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/res/Resources.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/res/TypedArray.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/ContentProviderClient.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/ContentResolver.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/Context.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/IContentProvider.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/content/IContentService.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/sqlite/SQLiteConnectionPool.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/sqlite/SQLiteCursor.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/sqlite/SQLiteDatabase.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/sqlite/SQLiteQueryBuilder.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/AbstractCursor.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/CrossProcessCursor.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/CrossProcessCursorWrapper.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/Cursor.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/database/CursorWrapper.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/provider/MediaStore.java /home/dmitris/dev/hack/infer/infer/models/java/src/android/text/TextUtils.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/facebook/infer/annotation/Assertions.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/fasterxml/jackson/core/JsonFactory.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/fasterxml/jackson/core/JsonParser.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/google/common/base/Optional.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/google/common/base/Preconditions.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/google/common/collect/ImmutableList.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/google/common/collect/Iterators.java /home/dmitris/dev/hack/infer/infer/models/java/src/com/google/common/io/Closeables.java /home/dmitris/dev/hack/infer/infer/models/java/src/dalvik/system/CloseGuard.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/BufferedInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/BufferedWriter.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PushbackInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/BufferedOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/DataInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/DataOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/File.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/FileInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/FileOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/FilterInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/FilterOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/FilterReader.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/InputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/InputStreamReader.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/ObjectInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/ObjectOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/OutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/OutputStreamWriter.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PipedInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PipedOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PipedReader.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PipedWriter.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PrintWriter.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/PushbackReader.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/Reader.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/Writer.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/BufferedReader.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/io/RandomAccessFile.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/reflect/Array.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Class.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Double.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Integer.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/NullPointerException.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Object.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Process.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/ProcessManager.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Runtime.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/String.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/System.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/lang/Thread.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/HttpURLConnection.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/JarURLConnection.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/PlainSocketImpl.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/ServerSocket.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/Socket.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/URL.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/net/URLConnection.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/nio/channels/FileChannel.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/nio/FileChannelImpl.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/security/DigestInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/security/DigestOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/concurrent/Lock.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/concurrent/ReentrantLock.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/jar/JarFile.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/jar/JarInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/jar/JarOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/CheckedInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/CheckedOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/Deflater.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/DeflaterInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/DeflaterOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/GZIPInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/GZIPOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/Inflater.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/InflaterInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/InflaterOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/ZipFile.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/ZipInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/zip/ZipOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/AbstractList.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/ArrayList.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/HashMap.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/LinkedList.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/List.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/Properties.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/Scanner.java /home/dmitris/dev/hack/infer/infer/models/java/src/java/util/Vector.java /home/dmitris/dev/hack/infer/infer/models/java/src/javax/crypto/CipherInputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/javax/crypto/CipherOutputStream.java /home/dmitris/dev/hack/infer/infer/models/java/src/javax/net/ssl/HttpsURLConnection.java /home/dmitris/dev/hack/infer/infer/models/java/src/javax/net/ssl/SSLSocketFactory.java /home/dmitris/dev/hack/infer/infer/models/java/src/junit/framework/Assert.java /home/dmitris/dev/hack/infer/infer/models/java/src/org/assertj/core/util/Preconditions.java -source 7 -target 7
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer/infer/models/java
[*ERROR**][16390] clang -c -w wchar.c -o wchar.o
[*ERROR**][16390] clang -c -w xlib.c -o xlib.o
[*ERROR**][16390] clang -c -w math.c -o math.o
[*ERROR**][16390] clang -c -w wctype.c -o wctype.o
[*ERROR**][16390] clang -c -w libc_basic.c -o libc_basic.o
[*ERROR**][16390] clang -c -w infer_builtins.c -o infer_builtins.o
[*ERROR**][16390] make[3]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models/c/src'
[*ERROR**][16390] *** inner Capturing C++ models
[*ERROR**][16390] *** inner command: /home/dmitris/dev/hack/infer/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --continue -- make INTERACTIVE=1 -C cpp/src all
[*ERROR**][16390] *** inner CWD: /home/dmitris/dev/hack/infer/infer/models
[*ERROR**][16390] make[3]: Entering directory '/home/dmitris/dev/hack/infer/infer/models/cpp/src'
[*ERROR**][16390] clang++ -c -w -std=c++11 c_src/glib.c -o c_src/glib_cxx.o
[*ERROR**][16390] make[3]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models/cpp/src'
[*ERROR**][16390] cd models; jar cf ../models.jar *
[*ERROR**][16390] /bin/install -c -m 644 -C models.jar /home/dmitris/dev/hack/infer/infer/lib/java/models.jar
[*ERROR**][16390] make[3]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models/java'
[*ERROR**][16390] make[2]: Leaving directory '/home/dmitris/dev/hack/infer/infer/models'
[*ERROR**][16390] make[1]: Leaving directory '/home/dmitris/dev/hack/infer'
[*ERROR**][16390] *** stderr:
[*ERROR**][16390] make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
[*ERROR**][16390] make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.
[*ERROR**][16390] warning: [options] bootstrap class path not set in conjunction with -source 7
[*ERROR**][16390] 1 warning
[*ERROR**][16390] Capturing in make/cc mode...
[*ERROR**][16390] Cleaning results directory
[*ERROR**][16390] Capturing in javac mode...
[*ERROR**][16390] Capturing in make/cc mode...
[*ERROR**][16390] Stack dump:
[*ERROR**][16390] 0. Program arguments: /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8 @/tmp/clang_command_.tmp.f56940.txt
[*ERROR**][16390] 1. <eof> parser at end of file
[*ERROR**][16390] #0 0x0000000001be5b1a llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x1be5b1a)
[*ERROR**][16390] #1 0x0000000001be3bc4 llvm::sys::RunSignalHandlers() (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x1be3bc4)
[*ERROR**][16390] #2 0x0000000001be3d25 (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x1be3d25)
[*ERROR**][16390] #3 0x00007f880dbbd5d0 __restore_rt (/lib64/libpthread.so.0+0xf5d0)
[*ERROR**][16390] #4 0x00000000039ee556 clang::FunctionProtoType::hasDependentExceptionSpec() const (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x39ee556)
[*ERROR**][16390] #5 0x00007f880c76c2b3 clang::FunctionProtoType::isNothrow(bool) const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/clang/AST/Type.h:3998:12
[*ERROR**][16390] #6 0x00007f880c76c2b3 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitFunctionDecl(clang::FunctionDecl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1543:0
[*ERROR**][16390] #7 0x00007f880c76d169 clang::CXXMethodDecl::isVirtual() const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclCXX.h:2087:59
[*ERROR**][16390] #8 0x00007f880c76d169 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitCXXMethodDecl(clang::CXXMethodDecl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:2091:0
[*ERROR**][16390] #9 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::begin() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:558:45
[*ERROR**][16390] #10 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::empty() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:745:0
[*ERROR**][16390] #11 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::markWrite() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:527:0
[*ERROR**][16390] #12 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:543:0
[*ERROR**][16390] #13 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:664:0
[*ERROR**][16390] #14 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:206:0
[*ERROR**][16390] #15 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:264:0
[*ERROR**][16390] #16 0x00007f880c765bce ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1068:0
[*ERROR**][16390] #17 0x00007f880c77b78b __gnu_cxx::__normal_iterator<clang::Decl**, std::vector<clang::Decl*, std::allocator<clang::Decl*> > >::operator++() /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_iterator.h:799:2
[*ERROR**][16390] #18 0x00007f880c77b78b ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitDeclContext(clang::DeclContext const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:713:0
[*ERROR**][16390] #19 0x00007f880c77c504 clang::TagDecl::getTagKind() const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/clang/AST/Decl.h:3244:45
[*ERROR**][16390] #20 0x00007f880c77c504 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitTagDecl(clang::TagDecl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1231:0
[*ERROR**][16390] #21 0x00007f880c76a5f9 llvm::PointerIntPair<clang::Decl*, 2u, clang::Decl::ModuleOwnershipKind, llvm::PointerLikeTypeTraits<clang::Decl*>, llvm::PointerIntPairInfo<clang::Decl*, 2u, llvm::PointerLikeTypeTraits<clang::Decl*> > >::getInt() const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/llvm/ADT/PointerIntPair.h:60:57
[*ERROR**][16390] #22 0x00007f880c76a5f9 clang::Decl::getModuleOwnershipKind() const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclBase.h:780:0
[*ERROR**][16390] #23 0x00007f880c76a5f9 clang::Decl::isModulePrivate() const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/clang/AST/DeclBase.h:597:0
[*ERROR**][16390] #24 0x00007f880c76a5f9 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitRecordDecl(clang::RecordDecl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1454:0
[*ERROR**][16390] #25 0x00007f880c76a98c clang::TagDecl::isCompleteDefinition() const /home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/include/clang/AST/Decl.h:3169:58
[*ERROR**][16390] #26 0x00007f880c76a98c ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitCXXRecordDecl(clang::CXXRecordDecl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1896:0
[*ERROR**][16390] #27 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::begin() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:558:45
[*ERROR**][16390] #28 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::empty() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:745:0
[*ERROR**][16390] #29 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::markWrite() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:527:0
[*ERROR**][16390] #30 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:543:0
[*ERROR**][16390] #31 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:664:0
[*ERROR**][16390] #32 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:206:0
[*ERROR**][16390] #33 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:264:0
[*ERROR**][16390] #34 0x00007f880c765bce ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1068:0
[*ERROR**][16390] #35 0x00007f880c77b78b __gnu_cxx::__normal_iterator<clang::Decl**, std::vector<clang::Decl*, std::allocator<clang::Decl*> > >::operator++() /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_iterator.h:799:2
[*ERROR**][16390] #36 0x00007f880c77b78b ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitDeclContext(clang::DeclContext const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:713:0
[*ERROR**][16390] #37 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::begin() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:558:45
[*ERROR**][16390] #38 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::empty() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:745:0
[*ERROR**][16390] #39 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::markWrite() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:527:0
[*ERROR**][16390] #40 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:543:0
[*ERROR**][16390] #41 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:664:0
[*ERROR**][16390] #42 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:206:0
[*ERROR**][16390] #43 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:264:0
[*ERROR**][16390] #44 0x00007f880c765bce ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1068:0
[*ERROR**][16390] #45 0x00007f880c77b78b __gnu_cxx::__normal_iterator<clang::Decl**, std::vector<clang::Decl*, std::allocator<clang::Decl*> > >::operator++() /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_iterator.h:799:2
[*ERROR**][16390] #46 0x00007f880c77b78b ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitDeclContext(clang::DeclContext const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:713:0
[*ERROR**][16390] #47 0x00007f880c76e5eb ATDWriter::BiniouEmitter<llvm::raw_ostream>::enterObject(int) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:649:32
[*ERROR**][16390] #48 0x00007f880c76e5eb ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::enterObject(int) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:186:0
[*ERROR**][16390] #49 0x00007f880c76e5eb ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::ObjectScope::ObjectScope(ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >&, int) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:253:0
[*ERROR**][16390] #50 0x00007f880c76e5eb ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::VisitTranslationUnitDecl(clang::TranslationUnitDecl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1364:0
[*ERROR**][16390] #51 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::begin() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:558:45
[*ERROR**][16390] #52 0x00007f880c765bce std::vector<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer, std::allocator<ATDWriter::BiniouEmitter<llvm::raw_ostream>::ATDContainer> >::empty() const /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/stl_vector.h:745:0
[*ERROR**][16390] #53 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::markWrite() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:527:0
[*ERROR**][16390] #54 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveContainer() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:543:0
[*ERROR**][16390] #55 0x00007f880c765bce ATDWriter::BiniouEmitter<llvm::raw_ostream>::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:664:0
[*ERROR**][16390] #56 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::leaveTuple() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:206:0
[*ERROR**][16390] #57 0x00007f880c765bce ATDWriter::GenWriter<ATDWriter::BiniouEmitter<llvm::raw_ostream> >::TupleScope::~TupleScope() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./atdlib/ATDWriter.h:264:0
[*ERROR**][16390] #58 0x00007f880c765bce ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::dumpDecl(clang::Decl const*) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:1068:0
[*ERROR**][16390] #59 0x00007f880c7659e4 std::unique_ptr<clang::MangleContext, std::default_delete<clang::MangleContext> >::~unique_ptr() /opt/rh/devtoolset-6/root/usr/lib/gcc/x86_64-redhat-linux/6.3.1/../../../../include/c++/6.3.1/bits/unique_ptr.h:238:6
[*ERROR**][16390] #60 0x00007f880c7659e4 ASTLib::ASTExporter<ATDWriter::BiniouWriter<llvm::raw_ostream> >::~ASTExporter() /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:192:0
[*ERROR**][16390] #61 0x00007f880c7659e4 ASTLib::ExporterASTConsumer<ATDWriter::BiniouWriter<llvm::raw_ostream>, true>::HandleTranslationUnit(clang::ASTContext&) /home/dmitris/dev/hack/infer/facebook-clang-plugins/libtooling/./ASTExporter.h:5334:0
[*ERROR**][16390] #62 0x0000000002240318 clang::MultiplexConsumer::HandleTranslationUnit(clang::ASTContext&) (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x2240318)
[*ERROR**][16390] #63 0x000000000302f7d9 clang::ParseAST(clang::Sema&, bool, bool) (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x302f7d9)
[*ERROR**][16390] #64 0x00000000026749e7 clang::CodeGenAction::ExecuteAction() (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x26749e7)
[*ERROR**][16390] #65 0x000000000220dcb6 clang::FrontendAction::Execute() (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x220dcb6)
[*ERROR**][16390] #66 0x00000000021d2fa6 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x21d2fa6)
[*ERROR**][16390] #67 0x00000000022b68f9 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0x22b68f9)
[*ERROR**][16390] #68 0x0000000000b229f8 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0xb229f8)
[*ERROR**][16390] #69 0x0000000000a9fd09 main (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0xa9fd09)
[*ERROR**][16390] #70 0x00007f880c9c2495 __libc_start_main (/lib64/libc.so.6+0x22495)
[*ERROR**][16390] #71 0x0000000000b201a7 _start (/home/dmitris/dev/hack/infer/facebook-clang-plugins/clang/install/bin/clang-8+0xb201a7)
[*ERROR**][16390] Uncaught Internal Error: ("Bi_util.Error(\"Unterminated vint or vint exceeding range of OCaml ints\")")
[*ERROR**][16390] Error backtrace:
[*ERROR**][16390] Raised at file "src/bi_util.ml", line 3, characters 14-29
[*ERROR**][16390] Called from file "src/bi_vint.ml", line 92, characters 5-76
[*ERROR**][16390] Called from file "src/bi_vint.ml", line 99, characters 21-36
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 1494, characters 37-86
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 7306, characters 31-103
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 14310, characters 32-105
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 42976, characters 22-89
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 40737, characters 8-1023
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 190, characters 27-38
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 34785, characters 18-84
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 47619, characters 18-71
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 39602, characters 17-93
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 36705, characters 22-95
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 35486, characters 8-1023
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 192, characters 27-38
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 34706, characters 18-84
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 36275, characters 22-83
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 35486, characters 8-1023
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 192, characters 27-38
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 34706, characters 18-84
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 36275, characters 22-83
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 35486, characters 8-1023
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 190, characters 27-38
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 34706, characters 18-84
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 35690, characters 22-83
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 35486, characters 8-1023
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 192, characters 27-38
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
[*ERROR**][16390] Called from file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml" (inlined), line 34706, characters 18-84
[*ERROR**][16390] Called from file "atd/clang_ast_b.ml", line 39448, characters 18-71
[*ERROR**][16390] Called from file "clang/Capture.ml", line 58, characters 8-39
[*ERROR**][16390] Called from file "clang/Capture.ml" (inlined), line 119, characters 2-31
[*ERROR**][16390] Called from file "clang/Capture.ml", line 124, characters 6-35
[*ERROR**][16390] Re-raised at file "istd/IExn.ml", line 18, characters 15-63
[*ERROR**][16390] Called from file "clang/Capture.ml", line 126, characters 4-60
[*ERROR**][16390] Called from file "base/Utils.ml" (inlined), line 224, characters 13-22
[*ERROR**][16390] Called from file "base/Utils.ml" (inlined), line 166, characters 8-12
[*ERROR**][16390] Called from file "base/Utils.ml", line 226, characters 2-40
[*ERROR**][16390] Re-raised at file "istd/IExn.ml", line 13, characters 2-50
[*ERROR**][16390] Called from file "base/Utils.ml" (inlined), line 168, characters 6-141
[*ERROR**][16390] Called from file "base/Utils.ml", line 226, characters 2-40
[*ERROR**][16390] Called from file "clang/Capture.ml", line 137, characters 8-78
[*ERROR**][16390] Called from file "clang/Capture.ml" (inlined), line 150, characters 15-43
[*ERROR**][16390] Called from file "clang/Capture.ml" (inlined), line 172, characters 2-37
[*ERROR**][16390] Called from file "clang/Capture.ml", line 202, characters 8-138
[*ERROR**][16390] Called from file "clang/ClangWrapper.ml" (inlined), line 178, characters 15-45
[*ERROR**][16390] Called from file "list.ml" (inlined), line 106, characters 12-15
[*ERROR**][16390] Called from file "list.ml" (inlined), line 104, characters 13-64
[*ERROR**][16390] Called from file "src/list0.ml" (inlined), line 26, characters 40-75
[*ERROR**][16390] Called from file "clang/ClangWrapper.ml", line 178, characters 2-54
[*ERROR**][16390] Called from file "integration/Driver.ml" (inlined), line 323, characters 2-29
[*ERROR**][16390] Called from file "integration/Driver.ml", line 328, characters 62-89
[*ERROR**][16390] Called from file "base/Utils.ml", line 398, characters 16-20
[*ERROR**][16390] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][16390] Called from file "infer.ml", line 20, characters 2-36
[*ERROR**][16390] Called from file "base/Utils.ml", line 398, characters 16-20
[*ERROR**][16390] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][16390] Called from file "infer.ml" (inlined), line 25, characters 22-94
[*ERROR**][16390] Called from file "infer.ml", line 145, characters 8-54
[*ERROR**][16390]
[*ERROR**][16390] Run the command again with `--keep-going` to try and ignore this error.
[*ERROR**][16390] make[3]: *** [Makefile:21: c_src/glib_cxx.o] Error 2
[*ERROR**][16390] External Error: *** capture command failed:
[*ERROR**][16390] *** make INTERACTIVE=1 -C cpp/src all
[*ERROR**][16390] *** exited with code 2
[*ERROR**][16390]
[*ERROR**][16390] Error backtrace:
[*ERROR**][16390] Raised at file "format.ml" (inlined), line 242, characters 35-52
[*ERROR**][16390] Called from file "format.ml", line 469, characters 8-33
[*ERROR**][16390] Called from file "format.ml", line 484, characters 6-24
[*ERROR**][16390] Re-raised at file "base/Die.ml" (inlined), line 26, characters 8-56
[*ERROR**][16390] Called from file "base/Die.ml", line 30, characters 6-39
[*ERROR**][16390] Called from file "integration/Driver.ml" (inlined), line 323, characters 2-29
[*ERROR**][16390] Called from file "integration/Driver.ml", line 328, characters 62-89
[*ERROR**][16390] Called from file "base/Utils.ml", line 398, characters 16-20
[*ERROR**][16390] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][16390] Called from file "infer.ml", line 20, characters 2-36
[*ERROR**][16390] Called from file "base/Utils.ml", line 398, characters 16-20
[*ERROR**][16390] Called from file "scuba/ScubaLogging.ml", line 66, characters 29-44
[*ERROR**][16390] Called from file "infer.ml" (inlined), line 25, characters 22-94
[*ERROR**][16390] Called from file "infer.ml", line 145, characters 8-54
[*ERROR**][16390]
[*ERROR**][16390] Run the command again with `--keep-going` to try and ignore this error.
[*ERROR**][16390] make[2]: *** [Makefile:34: /home/dmitris/dev/hack/infer/infer/lib/specs/clang_models] Error 3
[*ERROR**][16390] make[2]: *** Waiting for unfinished jobs....
[*ERROR**][16390] Found 121 source files to analyze in /home/dmitris/dev/hack/infer/infer/models/java/models/infer
[*ERROR**][16390] src/java/nio/channels/spi/AbstractInterruptibleChannel.java starting
[*ERROR**][16390] src/java/util/zip/InflaterOutputStream.java starting
[*ERROR**][16390] src/android/database/CrossProcessCursorWrapper.java starting
[*ERROR**][16390] src/com/google/common/collect/ImmutableList.java starting
[*ERROR**][16390] src/java/util/zip/DeflaterInputStream.java starting
[*ERROR**][16390] src/java/io/PipedReader.java starting
[*ERROR**][16390] src/java/net/JarURLConnection.java starting
[*ERROR**][16390] src/java/io/PrintWriter.java starting
[*ERROR**][16390] src/android/database/CrossProcessCursorWrapper.java DONE
[*ERROR**][16390] src/java/util/jar/JarOutputStream.java starting
[*ERROR**][16390] src/java/net/JarURLConnection.java DONE
[*ERROR**][16390] src/java/io/Reader.java starting
[*ERROR**][16390] src/java/util/jar/JarOutputStream.java DONE
[*ERROR**][16390] src/javax/crypto/CipherOutputStream.java starting
[*ERROR**][16390] src/com/google/common/collect/ImmutableList.java DONE
[*ERROR**][16390] src/java/util/zip/CheckedOutputStream.java starting
[*ERROR**][16390] src/java/util/zip/CheckedOutputStream.java DONE
[*ERROR**][16390] src/java/util/zip/GZIPOutputStream.java starting
[*ERROR**][16390] src/java/util/zip/InflaterOutputStream.java DONE
[*ERROR**][16390] src/android/content/ContentProviderClient.java starting
[*ERROR**][16390] src/javax/crypto/CipherOutputStream.java DONE
[*ERROR**][16390] src/java/util/zip/DeflaterInputStream.java DONE
[*ERROR**][16390] src/java/util/zip/Deflater.java starting
[*ERROR**][16390] src/java/lang/Object.java starting
[*ERROR**][16390] src/java/io/PrintWriter.java DONE
[*ERROR**][16390] src/java/io/PushbackInputStream.java starting
[*ERROR**][16390] src/java/lang/Object.java DONE
[*ERROR**][16390] src/android/content/Context.java starting
[*ERROR**][16390] src/java/util/zip/Deflater.java DONE
[*ERROR**][16390] src/android/app/AlarmManager.java starting
[*ERROR**][16390] src/android/app/AlarmManager.java DONE
[*ERROR**][16390] src/android/content/IContentService.java starting
[*ERROR**][16390] src/android/content/IContentService.java DONE
[*ERROR**][16390] src/java/util/HashMap.java starting
[*ERROR**][16390] src/java/io/Reader.java DONE
[*ERROR**][16390] src/java/lang/System.java starting
[*ERROR**][16390] src/java/util/zip/GZIPOutputStream.java DONE
[*ERROR**][16390] src/java/util/AbstractList.java starting
[*ERROR**][16390] src/java/io/PipedReader.java DONE
[*ERROR**][16390] src/java/io/Writer.java starting
[*ERROR**][16390] src/java/nio/channels/spi/AbstractInterruptibleChannel.java DONE
[*ERROR**][16390] src/android/content/ContentResolver.java starting
[*ERROR**][16390] src/android/content/ContentProviderClient.java DONE
[*ERROR**][16390] src/java/util/Scanner.java starting
[*ERROR**][16390] src/java/io/PushbackInputStream.java DONE
[*ERROR**][16390] src/java/util/zip/Inflater.java starting
[*ERROR**][16390] src/java/util/zip/Inflater.java DONE
[*ERROR**][16390] src/java/io/FileOutputStream.java starting
[*ERROR**][16390] src/java/io/Writer.java DONE
[*ERROR**][16390] src/java/util/zip/ZipInputStream.java starting
[*ERROR**][16390] src/android/content/Context.java DONE
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferUtils.java starting
[*ERROR**][16390] src/java/util/AbstractList.java DONE
[*ERROR**][16390] src/com/google/common/base/Preconditions.java starting
[*ERROR**][16390] src/android/content/ContentResolver.java DONE
[*ERROR**][16390] src/java/io/DataOutputStream.java starting
[*ERROR**][16390] src/java/lang/System.java DONE
[*ERROR**][16390] src/java/io/BufferedInputStream.java starting
[*ERROR**][16390] src/java/util/zip/ZipInputStream.java DONE
[*ERROR**][16390] src/java/lang/ProcessManager.java starting
[*ERROR**][16390] src/com/google/common/base/Preconditions.java DONE
[*ERROR**][16390] src/java/io/ObjectOutputStream.java starting
[*ERROR**][16390] src/java/io/BufferedInputStream.java DONE
[*ERROR**][16390] src/java/io/BufferedReader.java starting
[*ERROR**][16390] src/java/lang/ProcessManager.java DONE
[*ERROR**][16390] src/java/io/PushbackReader.java starting
[*ERROR**][16390] src/java/io/DataOutputStream.java DONE
[*ERROR**][16390] src/java/lang/Integer.java starting
[*ERROR**][16390] src/java/util/Scanner.java DONE
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferBuiltins.java starting
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferBuiltins.java DONE
[*ERROR**][16390] src/android/database/CursorWrapper.java starting
[*ERROR**][16390] src/java/io/FileOutputStream.java DONE
[*ERROR**][16390] src/java/net/HttpURLConnection.java starting
[*ERROR**][16390] src/java/io/PushbackReader.java DONE
[*ERROR**][16390] src/java/lang/reflect/Array.java starting
[*ERROR**][16390] src/android/database/CursorWrapper.java DONE
[*ERROR**][16390] src/java/net/HttpURLConnection.java DONE
[*ERROR**][16390] src/com/fasterxml/jackson/core/JsonParser.java starting
[*ERROR**][16390] src/java/io/PipedWriter.java starting
[*ERROR**][16390] src/java/lang/Integer.java DONE
[*ERROR**][16390] src/java/io/File.java starting
[*ERROR**][16390] src/java/io/File.java DONE
[*ERROR**][16390] src/java/io/RandomAccessFile.java starting
[*ERROR**][16390] src/java/io/BufferedReader.java DONE
[*ERROR**][16390] src/java/util/zip/ZipFile.java starting
[*ERROR**][16390] src/java/io/ObjectOutputStream.java DONE
[*ERROR**][16390] src/java/util/Vector.java starting
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferUtils.java DONE
[*ERROR**][16390] src/java/lang/Double.java starting
[*ERROR**][16390] src/java/io/PipedWriter.java DONE
[*ERROR**][16390] src/java/io/OutputStreamWriter.java starting
[*ERROR**][16390] src/java/util/HashMap.java DONE
[*ERROR**][16390] src/android/database/sqlite/SQLiteCursor.java starting
[*ERROR**][16390] src/com/fasterxml/jackson/core/JsonParser.java DONE
[*ERROR**][16390] src/android/text/TextUtils.java starting
[*ERROR**][16390] src/android/database/sqlite/SQLiteCursor.java DONE
[*ERROR**][16390] src/java/io/PipedOutputStream.java starting
[*ERROR**][16390] src/android/text/TextUtils.java DONE
[*ERROR**][16390] src/java/lang/Thread.java starting
[*ERROR**][16390] src/java/lang/Thread.java DONE
[*ERROR**][16390] src/java/security/DigestInputStream.java starting
[*ERROR**][16390] src/java/lang/Double.java DONE
[*ERROR**][16390] src/java/util/zip/CheckedInputStream.java starting
[*ERROR**][16390] src/java/io/PipedOutputStream.java DONE
[*ERROR**][16390] src/java/util/concurrent/Lock.java starting
[*ERROR**][16390] src/java/util/Vector.java DONE
[*ERROR**][16390] src/java/nio/channels/FileChannel.java starting
[*ERROR**][16390] src/java/util/zip/ZipFile.java DONE
[*ERROR**][16390] src/java/io/InputStream.java starting
[*ERROR**][16390] src/java/security/DigestInputStream.java DONE
[*ERROR**][16390] src/android/database/sqlite/SQLiteQueryBuilder.java starting
[*ERROR**][16390] src/java/util/zip/CheckedInputStream.java DONE
[*ERROR**][16390] src/javax/net/ssl/HttpsURLConnection.java starting
[*ERROR**][16390] src/javax/net/ssl/HttpsURLConnection.java DONE
[*ERROR**][16390] src/android/database/sqlite/SQLiteConnectionPool.java starting
[*ERROR**][16390] src/java/io/InputStream.java DONE
[*ERROR**][16390] src/java/net/ServerSocket.java starting
[*ERROR**][16390] src/android/database/sqlite/SQLiteConnectionPool.java DONE
[*ERROR**][16390] src/android/database/sqlite/SQLiteDatabaseConfiguration.java starting
[*ERROR**][16390] src/android/database/sqlite/SQLiteDatabaseConfiguration.java DONE
[*ERROR**][16390] src/java/util/ArrayList.java starting
[*ERROR**][16390] src/java/util/concurrent/Lock.java DONE
[*ERROR**][16390] src/android/content/res/TypedArray.java starting
[*ERROR**][16390] src/java/nio/channels/FileChannel.java DONE
[*ERROR**][16390] src/java/io/DataInputStream.java starting
[*ERROR**][16390] src/android/content/res/TypedArray.java DONE
[*ERROR**][16390] src/javax/net/ssl/SSLSocketFactory.java starting
[*ERROR**][16390] src/java/net/ServerSocket.java DONE
[*ERROR**][16390] src/java/nio/FileChannelImpl.java starting
[*ERROR**][16390] src/java/util/ArrayList.java DONE
[*ERROR**][16390] src/java/security/DigestOutputStream.java starting
[*ERROR**][16390] src/android/database/sqlite/SQLiteQueryBuilder.java DONE
[*ERROR**][16390] src/android/database/Cursor.java starting
[*ERROR**][16390] src/android/database/Cursor.java DONE
[*ERROR**][16390] src/java/util/Properties.java starting
[*ERROR**][16390] src/javax/net/ssl/SSLSocketFactory.java DONE
[*ERROR**][16390] src/android/database/sqlite/SQLiteDatabase.java starting
[*ERROR**][16390] src/java/security/DigestOutputStream.java DONE
[*ERROR**][16390] src/javax/crypto/CipherInputStream.java starting
[*ERROR**][16390] src/javax/crypto/CipherInputStream.java DONE
[*ERROR**][16390] src/java/util/zip/GZIPInputStream.java starting
[*ERROR**][16390] src/java/util/zip/GZIPInputStream.java DONE
[*ERROR**][16390] src/java/util/LinkedList.java starting
[*ERROR**][16390] src/java/io/RandomAccessFile.java DONE
[*ERROR**][16390] src/java/io/FilterReader.java starting
[*ERROR**][16390] src/java/util/Properties.java DONE
[*ERROR**][16390] src/java/util/zip/InflaterInputStream.java starting
[*ERROR**][16390] src/java/io/OutputStreamWriter.java DONE
[*ERROR**][16390] src/android/app/DownloadManager.java starting
[*ERROR**][16390] src/java/io/DataInputStream.java DONE
[*ERROR**][16390] src/java/lang/Process.java starting
[*ERROR**][16390] src/java/lang/reflect/Array.java DONE
[*ERROR**][16390] src/android/database/AbstractCursor.java starting
[*ERROR**][16390] src/java/lang/Process.java DONE
[*ERROR**][16390] src/android/database/AbstractCursor.java DONE
[*ERROR**][16390] src/com/fasterxml/jackson/core/JsonFactory.java starting
[*ERROR**][16390] src/android/content/IContentProvider.java starting
[*ERROR**][16390] src/android/content/IContentProvider.java DONE
[*ERROR**][16390] src/android/provider/MediaStore.java starting
[*ERROR**][16390] src/java/io/FilterReader.java DONE
[*ERROR**][16390] src/java/util/LinkedList.java DONE
[*ERROR**][16390] src/java/io/FilterOutputStream.java starting
[*ERROR**][16390] src/java/util/zip/ZipOutputStream.java starting
[*ERROR**][16390] src/java/util/zip/InflaterInputStream.java DONE
[*ERROR**][16390] src/java/util/jar/JarFile.java starting
[*ERROR**][16390] src/android/app/DownloadManager.java DONE
[*ERROR**][16390] src/java/lang/Runtime.java starting
[*ERROR**][16390] src/java/util/zip/ZipOutputStream.java DONE
[*ERROR**][16390] src/java/util/concurrent/ReentrantLock.java starting
[*ERROR**][16390] src/java/nio/FileChannelImpl.java DONE
[*ERROR**][16390] src/com/google/common/base/Optional.java starting
[*ERROR**][16390] src/java/io/FilterOutputStream.java DONE
[*ERROR**][16390] src/java/util/zip/DeflaterOutputStream.java starting
[*ERROR**][16390] src/com/google/common/base/Optional.java DONE
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferTaint.java starting
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferTaint.java DONE
[*ERROR**][16390] src/java/io/InputStreamReader.java starting
[*ERROR**][16390] src/java/util/jar/JarFile.java DONE
[*ERROR**][16390] src/com/google/common/io/Closeables.java starting
[*ERROR**][16390] src/java/lang/Runtime.java DONE
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferUndefined.java starting
[*ERROR**][16390] src/java/util/zip/DeflaterOutputStream.java DONE
[*ERROR**][16390] src/java/lang/NullPointerException.java starting
[*ERROR**][16390] src/java/util/concurrent/ReentrantLock.java DONE
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferCloseables.java starting
[*ERROR**][16390] src/java/lang/NullPointerException.java DONE
[*ERROR**][16390] src/java/lang/Class.java starting
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferCloseables.java DONE
[*ERROR**][16390] src/android/database/CrossProcessCursor.java starting
[*ERROR**][16390] src/android/database/CrossProcessCursor.java DONE
[*ERROR**][16390] src/java/io/BufferedWriter.java starting
[*ERROR**][16390] src/java/lang/Class.java DONE
[*ERROR**][16390] src/java/io/FilterInputStream.java starting
[*ERROR**][16390] src/com/google/common/io/Closeables.java DONE
[*ERROR**][16390] src/java/net/URL.java starting
[*ERROR**][16390] src/android/provider/MediaStore.java DONE
[*ERROR**][16390] src/junit/framework/Assert.java starting
[*ERROR**][16390] src/java/io/BufferedWriter.java DONE
[*ERROR**][16390] src/com/facebook/infer/annotation/Assertions.java starting
[*ERROR**][16390] src/java/io/FilterInputStream.java DONE
[*ERROR**][16390] src/java/io/OutputStream.java starting
[*ERROR**][16390] builtins/com/facebook/infer/builtins/InferUndefined.java DONE
[*ERROR**][16390] src/com/google/common/collect/Iterators.java starting
[*ERROR**][16390] src/junit/framework/Assert.java DONE
[*ERROR**][16390] src/android/app/Activity.java starting
[*ERROR**][16390] src/java/io/OutputStream.java DONE
[*ERROR**][16390] src/java/io/PipedInputStream.java starting
[*ERROR**][16390] src/com/facebook/infer/annotation/Assertions.java DONE
[*ERROR**][16390] src/org/assertj/core/util/Preconditions.java starting
[*ERROR**][16390] src/com/google/common/collect/Iterators.java DONE
[*ERROR**][16390] src/android/content/res/Resources.java starting
[*ERROR**][16390] src/org/assertj/core/util/Preconditions.java DONE
[*ERROR**][16390] src/java/io/PipedInputStream.java DONE
[*ERROR**][16390] src/java/net/PlainSocketImpl.java starting
[*ERROR**][16390] src/java/net/Socket.java starting
[*ERROR**][16390] src/android/database/sqlite/SQLiteDatabase.java DONE
[*ERROR**][16390] src/dalvik/system/CloseGuard.java starting
[*ERROR**][16390] src/android/app/Activity.java DONE
[*ERROR**][16390] src/dalvik/system/CloseGuard.java DONE
[*ERROR**][16390] src/java/io/BufferedOutputStream.java starting
[*ERROR**][16390] src/java/io/FileInputStream.java starting
[*ERROR**][16390] src/java/net/Socket.java DONE
[*ERROR**][16390] src/java/io/ObjectInputStream.java starting
[*ERROR**][16390] src/java/net/URL.java DONE
[*ERROR**][16390] src/java/lang/String.java starting
[*ERROR**][16390] src/java/io/BufferedOutputStream.java DONE
[*ERROR**][16390] src/java/util/jar/JarInputStream.java starting
[*ERROR**][16390] src/android/content/res/Resources.java DONE
[*ERROR**][16390] src/java/util/List.java starting
[*ERROR**][16390] src/java/util/jar/JarInputStream.java DONE
[*ERROR**][16390] src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java starting
[*ERROR**][16390] src/java/io/FileInputStream.java DONE
[*ERROR**][16390] src/java/net/URLConnection.java starting
[*ERROR**][16390] src/com/fasterxml/jackson/core/JsonFactory.java DONE
[*ERROR**][16390] src/java/util/List.java DONE
[*ERROR**][16390] src/java/io/InputStreamReader.java DONE
[*ERROR**][16390] src/java/net/URLConnection.java DONE
[*ERROR**][16390] src/java/io/ObjectInputStream.java DONE
[*ERROR**][16390] src/java/net/PlainSocketImpl.java DONE
[*ERROR**][16390] src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java DONE
[*ERROR**][16390] src/java/lang/String.java DONE
[*ERROR**][16390]
[*ERROR**][16390] Analysis finished in 4.628s
[*ERROR**][16390]
[*ERROR**][16390] No issues found
[*ERROR**][16390] make[1]: *** [Makefile:309: infer_models] Error 2
make: *** [Makefile:314: infer] Error 2
compilation failure; you can try running
make clean
'./build-infer.sh' -y
@dmitris
Copy link
Author

dmitris commented Aug 19, 2019

this is on a RHEL7 VM with kernel 3.10.0-957.21.3.el7 (version after applying update https://www.redhat.com/archives/rhsa-announce/2019-June/msg00028.html)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment