]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf8824a) | patch
[StaticAnalyzer] Fix false positives for vardecls that are technically unreachable...
authorDaniel Marjamaki <daniel.marjamaki@evidente.se>
Wed, 28 Sep 2016 10:39:53 +0000 (10:39 +0000)
committerDaniel Marjamaki <daniel.marjamaki@evidente.se>
Wed, 28 Sep 2016 10:39:53 +0000 (10:39 +0000)
commite8b5e6d529e6aa52fa826a4682e8f27429d4f70a
tree1d8e5ed08e9a9f9924f443f6257ed5b2d8b9832atree | snapshot
parentcf8824a440fbc3fefe9bb5152fd8943142baccb2commit | diff
[StaticAnalyzer] Fix false positives for vardecls that are technically unreachable but they are needed.

Example:

    switch (x) {
      int a;  // <- This is unreachable but needed
    case 1:
      a = ...

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

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