False positive memory leak on loop about infer

[skcho]

Hello, @danielmercier. Can I ask which version of Infer you used? Using a recent master version, I could not reproduce the issue.

~/test $ infer --pulse-only -- clang++ -c a.cpp
Capturing in make/cc mode...
Found 1 source file to analyze in /Users/scho/test/infer-out
a.cpp starting
a.cpp DONE

  No issues found  

[danielmercier]

Hello, @danielmercier. Can I ask which version of Infer you used? Using a recent master version, I could not reproduce the issue.

~/test $ infer --pulse-only -- clang++ -c a.cpp
Capturing in make/cc mode...
Found 1 source file to analyze in /Users/scho/test/infer-out
a.cpp starting
a.cpp DONE

  No issues found  

I'm using the master version of infer. I think memory leak detection is not enabled by default.
I launched infer with the following command line to enable memory leaks on c++:
infer --pulse-only --enable-issue-type MEMORY_LEAK_CPP -- clang++ -c main.cpp

[skcho]

I see. Thank you for the confirmation. Some issues are disabled by default usually when their precision is not good enough, like the MEMORY_LEAK_CPP case above.

That being said, thank you for the report. We will look into the example you gave when we improve the analysis in the future.