I have used Infer v1.1 to analyze a project. Infer can analyze and generate bug reports. There is no problem running Infer with the project.
However, when I tried the newly released Infer v1.2 to try some pulse options, I got the following errors. All options are the same as when I use Infer v1.1.
Run the command again with `--keep-going` to try and ignore this error.
Uncaught Internal Error: ("Atdgen_runtime.Ob_run.Error(\"Missing tuple field 4\")")
Error backtrace:
Raised at Atdgen_runtime__Ob_run.error in file "atdgen-runtime/src/ob_run.ml" (inlined), line 14, characters 14-29
Called from Atdgen_runtime__Ob_run.missing_tuple_fields in file "atdgen-runtime/src/ob_run.ml" (inlined), line 35, characters 2-166
Called from ATDGenerated__Clang_ast_b.get_stmt_reader.(fun) in file "src/atd/clang_ast_b.ml", line 51880, characters 36-100
Called from ATDGenerated__Clang_ast_b.get_stmt_reader.(fun) in file "src/atd/clang_ast_b.ml" (inlined), line 49818, characters 8-1023
Called from Atdgen_runtime__Ob_run.read_array_value in file "atdgen-runtime/src/ob_run.ml" (inlined), line 190, characters 27-38
Called from Atdgen_runtime__Ob_run.read_array in file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
Called from Atdgen_runtime__Ob_run.read_list in file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
Called from ATDGenerated__Clang_ast_b.read__stmt_list in file "src/atd/clang_ast_b.ml" (inlined), line 42962, characters 25-91
Called from ATDGenerated__Clang_ast_b.get_stmt_reader.(fun) in file "src/atd/clang_ast_b.ml", line 53047, characters 22-90
Called from ATDGenerated__Clang_ast_b.get_stmt_reader.(fun) in file "src/atd/clang_ast_b.ml" (inlined), line 49818, characters 8-1023
Called from Atdgen_runtime__Ob_run.read_array_value in file "atdgen-runtime/src/ob_run.ml" (inlined), line 190, characters 27-38
Called from Atdgen_runtime__Ob_run.read_array in file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
Called from Atdgen_runtime__Ob_run.read_list in file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
Called from ATDGenerated__Clang_ast_b.read__stmt_list in file "src/atd/clang_ast_b.ml" (inlined), line 42962, characters 25-91
Called from ATDGenerated__Clang_ast_b.get_stmt_reader.(fun) in file "src/atd/clang_ast_b.ml", line 55202, characters 22-90
Called from ATDGenerated__Clang_ast_b.get_stmt_reader.(fun) in file "src/atd/clang_ast_b.ml" (inlined), line 49818, characters 8-1023
Called from Atdgen_runtime__Ob_run.read_array_value in file "atdgen-runtime/src/ob_run.ml" (inlined), line 190, characters 27-38
Called from Atdgen_runtime__Ob_run.read_array in file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
Called from Atdgen_runtime__Ob_run.read_list in file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
Called from ATDGenerated__Clang_ast_b.read__stmt_list in file "src/atd/clang_ast_b.ml" (inlined), line 42962, characters 25-91
Called from ATDGenerated__Clang_ast_b.read_stmt.(fun) in file "src/atd/clang_ast_b.ml", line 61115, characters 18-78
Called from ATDGenerated__Clang_ast_b.read_function_decl_info in file "src/atd/clang_ast_b.ml", line 48887, characters 17-93
Called from ATDGenerated__Clang_ast_b.get_decl_reader.(fun) in file "src/atd/clang_ast_b.ml", line 44689, characters 22-98
Called from ATDGenerated__Clang_ast_b.get_decl_reader.(fun) in file "src/atd/clang_ast_b.ml" (inlined), line 43930, characters 8-1023
Called from Atdgen_runtime__Ob_run.read_array_value in file "atdgen-runtime/src/ob_run.ml" (inlined), line 192, characters 27-38
Called from Atdgen_runtime__Ob_run.read_array in file "atdgen-runtime/src/ob_run.ml" (inlined), line 213, characters 4-34
Called from Atdgen_runtime__Ob_run.read_list in file "atdgen-runtime/src/ob_run.ml" (inlined), line 218, characters 16-36
Called from ATDGenerated__Clang_ast_b.read__decl_list in file "src/atd/clang_ast_b.ml" (inlined), line 42907, characters 25-91
Called from ATDGenerated__Clang_ast_b.read_decl.(fun) in file "src/atd/clang_ast_b.ml", line 46207, characters 18-78
Called from Atdgen_runtime__Util.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 25, characters 2-113
Re-raised at IStdlib__IExn.reraise_if in file "src/istd/IExn.ml" (inlined), line 18, characters 15-63
Called from ClangFrontend__Capture.run_and_validate_clang_frontend in file "src/clang/Capture.ml", line 109, characters 4-60
Called from IBase__Utils.with_process_in.f in file "src/base/Utils.ml" (inlined), line 291, characters 13-22
Called from IBase__Exception.try_finally in file "src/base/Exception.ml" (inlined), line 29, characters 8-12
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml", line 220, characters 12-45
Re-raised at IStdlib__IExn.reraise_after in file "src/istd/IExn.ml" (inlined), line 13, characters 2-50
Called from IBase__Exception.try_finally in file "src/base/Exception.ml" (inlined), line 42, characters 6-279
Called from IBase__Utils.do_finally_swallow_timeout in file "src/base/Utils.ml", line 220, characters 12-45
Called from ClangFrontend__Capture.run_clang in file "src/clang/Capture.ml", line 120, characters 8-78
Called from ClangFrontend__ClangWrapper.exe in file "src/clang/ClangWrapper.ml" (inlined), line 177, characters 15-45
Called from Stdlib__List.iter in file "list.ml" (inlined), line 110, characters 12-15
Called from Stdlib__List.iter in file "list.ml" (inlined), line 108, characters 13-64
Called from Base__List0.iter in file "src/list0.ml" (inlined), line 25, characters 16-35
Called from ClangFrontend__ClangWrapper.exe in file "src/clang/ClangWrapper.ml", line 177, characters 2-54
Called from Integration__Driver.capture in file "src/integration/Driver.ml", line 181, characters 10-44
Called from IBase__Utils.timeit in file "src/base/Utils.ml", line 437, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml", line 109, characters 26-41
Called from Backend__GCStats.log_f in file "src/backend/GCStats.ml" (inlined), line 93, characters 10-14
Called from Integration__Driver.capture in file "src/integration/Driver.ml", line 259, characters 2-362
Called from Dune__exe__Infer.run_ in file "src/infer.ml" (inlined), line 21, characters 2-36
Called from IBase__Utils.timeit in file "src/base/Utils.ml" (inlined), line 437, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 109, characters 26-41
Called from Dune__exe__Infer.run in file "src/infer.ml", line 28, characters 2-75
I have used Infer v1.1 to analyze a project. Infer can analyze and generate bug reports. There is no problem running Infer with the project.
However, when I tried the newly released Infer v1.2 to try some
pulseoptions, I got the following errors. All options are the same as when I use Infer v1.1.