[PATCH] D35673: [analyzer] A better CFG-based suppress-on-sink.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jul 20 03:40:18 PDT 2017
NoQ created this revision.
Because https://reviews.llvm.org/D28023 wasn't enough, as i've just seen an assertion-like macro with as many as 12 CFG blocks (including `do..while(false)` loops), i mocked up a quick CFG depth-first search to easily detect blocks dominated by noreturn blocks.
https://reviews.llvm.org/D35673
Files:
lib/StaticAnalyzer/Core/BugReporter.cpp
test/Analysis/max-nodes-suppress-on-sink.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35673.107476.patch
Type: text/x-patch
Size: 4005 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170720/93a451d9/attachment.bin>
More information about the cfe-commits
mailing list