]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 071811a) | patch
[StaticAnalyzer] Fix UnreachableCode false positives.
authorDaniel Marjamaki <daniel.marjamaki@evidente.se>
Mon, 3 Oct 2016 08:28:51 +0000 (08:28 +0000)
committerDaniel Marjamaki <daniel.marjamaki@evidente.se>
Mon, 3 Oct 2016 08:28:51 +0000 (08:28 +0000)
commitbcd3bb368fa016e437972db76aa312a2fb6a8862
tree34887d418333419ca23c901741aa13238497b2f4tree | snapshot
parent071811a24c7d1f5a3c798d1a3455a312adc1bb82commit | diff
[StaticAnalyzer] Fix UnreachableCode false positives.

When there is 'do { } while (0);' in the code the ExplodedGraph and UnoptimizedCFG did not match.

Differential Revision: https://reviews.llvm.org/D24759

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@283095 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFG.cpp diff | blob | history
test/Analysis/unreachable-code-path.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.