]> granicus.if.org Git - clang/commitdiff
Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.
authorGalina Kistanova <gkistanova@gmail.com>
Sat, 3 Jun 2017 06:26:27 +0000 (06:26 +0000)
committerGalina Kistanova <gkistanova@gmail.com>
Sat, 3 Jun 2017 06:26:27 +0000 (06:26 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@304644 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/SValBuilder.cpp
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

index 8ca2a24cffe74b1fd268a25bc6e7cd606233650c..f7b5f61cfb8aa2097d1147421acaaa3648f58c7d 100644 (file)
@@ -189,6 +189,7 @@ public:
 
       case DeadIncrement:
         BugType = "Dead increment";
+        LLVM_FALLTHROUGH;
       case Standard:
         if (!BugType) BugType = "Dead assignment";
         os << "Value stored to '" << *V << "' is never read";
index 8ee34190891adda0a369771d3a317b614832c8a7..f84c0ee800a30d48f772022d80ef1e1a3493cd83 100644 (file)
@@ -1176,6 +1176,7 @@ void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
         }
       }
       // FALLTHROUGH
+      LLVM_FALLTHROUGH;
     }
     case Stmt::CallExprClass:
     case Stmt::CXXMemberCallExprClass:
index ffaa0eda918aa9e4ecadd830b1dcd217ea9a1fa6..04452e3e7cc22f2a0cfb2756cda08699de69d57f 100644 (file)
@@ -325,6 +325,7 @@ Optional<SVal> SValBuilder::getConstantVal(const Expr *E) {
     }
     }
     // FALLTHROUGH
+    LLVM_FALLTHROUGH;
   }
 
   // If we don't have a special case, fall back to the AST's constant evaluator.
index 82ce8b45fe7811388caf4e00c59becd3e86d3beb..9c28457b21396de64580761e6215f34f7596e69a 100644 (file)
@@ -163,6 +163,7 @@ SVal SimpleSValBuilder::evalCastFromLoc(Loc val, QualType castTy) {
           return nonloc::SymbolVal(SymR->getSymbol());
 
         // FALL-THROUGH
+        LLVM_FALLTHROUGH;
       }
 
       case loc::GotoLabelKind: