[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