facebook / facebook/infer

Docker container issue

Open
#1,904 1 comment 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.