Please make sure your issue is not addressed in the FAQ.
Please include the following information:
[I] The version of infer is infer version v1.1.0
[ ] Your operating system and version,Debain
[ ] Which command you ran, INFERCONFIG=./issur1038.inferconfig infer --quandary-only --keep-going -- clang -c main.c bar.c
[ ] The full output in a paste, for instance a gist.
[ ] If possible, a minimal example to reproduce your problem (for instance, some code where
infer reports incorrectly, together with the way you run infer to reproduce the incorrect
report).
Please make sure your issue is not addressed in the FAQ.
Please include the following information: