commit 256565b1e33fe62aa1274f0ed19f92ea24029bd3
author Chandler Carruth <chandlerc@gmail.com> Wed Jul 07 00:07:37 2010 +0000
committer Chandler Carruth <chandlerc@gmail.com> Wed Jul 07 00:07:37 2010 +0000
tree b05ad8eb773d16704e79cef653ed17f285f59f54
parent 744016dde06fcffd50931e94a98c850f8b12cd87

Use 'llvm_unreachable' to mark impossible code paths so that GCC doesn't
consider them for warnings.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107741 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/IdempotentOperationChecker.cpp

diff --git a/lib/Checker/IdempotentOperationChecker.cpp b/lib/Checker/IdempotentOperationChecker.cpp
index 4b06856..1118d5e 100644
--- a/lib/Checker/IdempotentOperationChecker.cpp
+++ b/lib/Checker/IdempotentOperationChecker.cpp
@@ -54,6 +54,7 @@
 #include "clang/Checker/PathSensitive/SVals.h"
 #include "clang/AST/Stmt.h"
 #include "llvm/ADT/DenseMap.h"
+#include "llvm/Support/ErrorHandling.h"
 
 using namespace clang;
 
@@ -330,7 +331,7 @@
       case Impossible:
         break;
       case Possible:
-        assert(0 && "Operation was never marked with an assumption");
+        llvm_unreachable("Operation was never marked with an assumption");
       }
 
       // Create the SourceRange Arrays