PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace, preprocessed source, and associated run script.
Segmentation fault (core dumped)
ERROR RUNNING CAPTURE: Bi_inbuf.End_of_input
Raised at Bi_inbuf.read_char in file "src/bi_inbuf.ml", line 49, characters 6-24
Called from Bi_io.read_tag in file "src/bi_io.ml" (inlined), line 508, characters 12-35
Called from ATDGeneratedClang_ast_b.read_decl in file "src/atd/clang_ast_b.ml", line 40289, characters 7-24
Called from Atdgen_runtimeUtil.Biniou.from_channel in file "atdgen-runtime/src/util.ml" (inlined), line 30, characters 4-11
Called from ClangFrontend__Capture.validate_decl_from_channel in file "src/clang/Capture.ml", line 27, characters 2-113
Please make sure your issue is not addressed in the FAQ.
Please include the following information:
Infer version v1.1.0
Ubuntu 22.04.1 LTS
infer run --keep-going -- make
analyze https://github.com/namhyung/uftrace
error logs:
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace, preprocessed source, and associated run script. Segmentation fault (core dumped) ERROR RUNNING CAPTURE: Bi_inbuf.End_of_input Raised at Bi_inbuf.read_char in file "src/bi_inbuf.ml", line 49, characters 6-24 Called from Bi_io.read_tag in file "src/bi_io.ml" (inlined), line 508, characters 12-35 Called from ATDGeneratedClang_ast_b.read_decl in file "src/atd/clang_ast_b.ml", line 40289, characters 7-24 Called from Atdgen_runtimeUtil.Biniou.from_channel in file "atdgen-runtime/src/util.ml" (inlined), line 30, characters 4-11 Called from ClangFrontend__Capture.validate_decl_from_channel in file "src/clang/Capture.ml", line 27, characters 2-113