Docker container issue
- Dominant language
- OCaml
- Stars
- 15.7k
- Forks
- 2.1k
- Avg merge
- 19h 36m
- Merged PRs (30d)
- 13
Description
After performing the following instructions:
$ docker build -t infer . --platform linux/amd64
$ docker run -it -v $PWD/../../examples:/infer-examples infer /bin/bash
$ cd /infer-examples/
$ infer -- clang -c hello.c
I get the following error:
`root@1dade3209fb1:/# cd /infer-examples/
root@1dade3209fb1:/infer-examples# infer -- clang -c hello.c
Capturing in make/cc mode...
Found 1 source file to analyze in /infer-examples/infer-out
Uncaught Internal Error: (Unix.Unix_error "No child processes" waitpid "((mode (WNOHANG)) (pid -1))")
Error backtrace:
Raised at Core__Core_unix.improve in file "src/core_unix.ml" (inlined), line 46, characters 4-43
Called from Core__Core_unix.wait_gen in file "src/core_unix.ml" (inlined), line 942, characters 4-246
Called from Core__Core_unix.wait_nohang in file "src/core_unix.ml" (inlined), line 979, characters 2-46
Called from IBase__ProcessPool.has_dead_child in file "src/base/ProcessPool.ml", line 194, characters 2-23
Called from Backend__InferAnalyze.analyze in file "src/backend/InferAnalyze.ml", line 200, characters 24-47
Called from Integration__Driver.execute_analyze.(fun) in file "src/integration/Driver.ml" (inlined), line 170, characters 2-34
Called from Backend__GCStats.log_f in file "src/backend/GCStats.ml" (inlined), line 90, characters 10-14
Called from Integration__Driver.execute_analyze in file "src/integration/Driver.ml", line 167, characters 2-239
Called from IBase__Utils.timeit in file "src/base/Utils.ml", line 429, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 79, characters 29-44
Called from Integration__Driver.analyze_and_report in file "src/integration/Driver.ml" (inlined), line 281, characters 2-144
Called from Dune__exe__Infer.run in file "src/infer.ml" (inlined), line 21, characters 2-47
Called from IBase__Utils.timeit in file "src/base/Utils.ml" (inlined), line 429, characters 16-20
Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 79, characters 29-44
Called from Dune__exe__Infer.run in file "src/infer.ml", line 25, characters 22-94`
I am running it in an Apple M3 Max with macOS Sonoma 14.4. Docker version 27.5.1, build 9f9e405.
Contributor guide
Assessment
This issue has not been assessed yet.