[PATCH] D35674: [analyzer] Treat C++ throw as sink during CFG-based suppress-on-sink.

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 21 01:43:26 PDT 2017


xazax.hun accepted this revision.
xazax.hun added a comment.

One minor nit, otherwise looks good to me.



================
Comment at: lib/StaticAnalyzer/Core/BugReporter.cpp:3333
+        })) {
+      // Throw-expressions are currently generating sinks during symbolic
+      // execution: they're not supported yet, and also often used for
----------------
For temporary solutions like this, I prefer to have a FIXME string in the comment. In general, I think it is good to be able to keep track of future tasks by grepping for FIXMEs in the code of the analyzer.


https://reviews.llvm.org/D35674





More information about the cfe-commits mailing list