[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