You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Please make sure your issue is not addressed in the FAQ.
Please include the following information:
The version of infer from `infer --version: v1.1.0 and the version with hash id "78d361847"
Your operating system and version: Ubuntu 20.04
Which command you ran:
> infer run --biabduction-only -- clang++ main.cpp
The full output in a paste: see below
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:
> infer run --biabduction-only -- clang++ main.cpp
infer reports incorrectly, together with the way you run infer to reproduce the incorrect
report).
My code is the same as empty_vector_access:
And my output is:
In fact, not only
empty_vector_access
,dangling_pointer_dereference
and some other issue types ofbiabduction
are also not reported.The text was updated successfully, but these errors were encountered: