facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.9k stars 2.01k forks source link

Source code Does not compile when compile under fake root #1608

Open gdf8gdn8 opened 2 years ago

gdf8gdn8 commented 2 years ago

infer version 1.1.0 Compile under ArchLinux. Try to compile source code. [06:02:29][ 71083] Building infer models... [ERROR][71083] ERROR 'Building infer models' [ERROR][71083] command: ' make INTERACTIVE=1 -C /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models all' [ERROR][71083] CWD: '/home/uwe/.cache/yay/infer/src/infer-1.1.0' [ERROR][71083] stdout: [*ERROR][71083] make[2]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [*ERROR*][71083] make INTERACTIVE=1 clean [ERROR][71083] make[3]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [*ERROR][71083] make[4]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/c/src' [*ERROR*][71083] rm -rf glib.o infer_builtins.o libc_basic.o math.o wchar.o wctype.o xlib.o [ERROR][71083] make[4]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/c/src' [*ERROR][71083] make[4]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/cpp/src' [*ERROR*][71083] rm -rf c_src/glib_cxx.o c_src/infer_builtins_cxx.o c_src/libc_basic_cxx.o c_src/math_cxx.o c_src/wchar_cxx.o c_src/wctype_cxx.o c_src/xlib_cxx.o shared_ptr.o throw_wrappers.o type_info.o [ERROR][71083] make[4]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/cpp/src' [*ERROR][71083] make[3]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [*ERROR*][71083] make INTERACTIVE=1 capture [ERROR][71083] make[3]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR][71083] inner Capturing C models [ERROR][71083] inner command: /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --continue -- make INTERACTIVE=1 -C c/src all [ERROR][71083] inner CWD: /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models [*ERROR*][71083] make[3]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR**][71083] make[2]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models'

[ERROR][71083] stderr: [*ERROR*][71083] Uncaught Internal Error: (Sys_error "/etc/localtime: No such file or directory") [ERROR**][71083] Error backtrace:

[*ERROR][71083] Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 398, characters 28-54 [*ERROR*][71083] Called from Stdio__In_channel.create in file "src/in_channel.ml" (inlined), line 17, characters 2-35 [ERROR][71083] Called from Core_kernelZone.Stable.Full_data.V1.Zone_file.input_tz_file in file "src/zone.ml", line 348, characters 21-49 [*ERROR][71083] Called from Timezone.local.load in file "src/timezone.ml", line 142, characters 8-75 [*ERROR*][71083] Called from CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 31, characters 17-27 [ERROR][71083] Re-raised at CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 36, characters 4-11 [*ERROR**][71083] Called from IBaseResultsDir.RunState.run_time_string in file "src/base/ResultsDir.ml", line 14, characters 24-53 [*ERROR][71083] [*ERROR*][71083] Run the command again with --keep-going to try and ignore this error. [ERROR][71083] make[3]: [Makefile:37: capture] Error 2 [ERROR][71083] make[2]: [Makefile:65: /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/lib/models.sql] Error 2 make[1]: [Makefile:377: infer_models] Error 2

Goblin80 commented 2 years ago

does this also happen with version infer v1.0.0?

gdf8gdn8 commented 2 years ago

Yes.

jf99 commented 1 year ago

I had the same issue when I tried to build infer v1.1.0 inside docker. Installing tzdata fixed the issue for me.