https://github.com/NagyDonat requested changes to this pull request.
This is a knee-jerk change that (presumably) eliminates a false negative, but will probably introduce false positives in other situations. The analyzer is inherently conservative and only reports code where it can _prove_ that there are problems. When a pointer "escapes" (that is, becomes accessible for code that is not executed symbolically), the analyzer cannot prove that it wasn't `free()`ed later, so it needs to suppress the memory leak report for it. https://github.com/llvm/llvm-project/pull/221587 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
