[cfe-commits] r107748 - /cfe/trunk/lib/Checker/IdempotentOperationChecker.cpp

[Tom Care]

Author: tcare
Date: Tue Jul  6 20:27:17 2010
New Revision: 107748

URL: http://llvm.org/viewvc/llvm-project?rev=107748&view=rev
Log:
Change explicit handling of impossible condition to call llvm_unreachable in IdempotentOperationChecker::PreVisitBinaryOperator.

Modified:
    cfe/trunk/lib/Checker/IdempotentOperationChecker.cpp

Modified: cfe/trunk/lib/Checker/IdempotentOperationChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/IdempotentOperationChecker.cpp?rev=107748&r1=107747&r2=107748&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/IdempotentOperationChecker.cpp (original)
+++ cfe/trunk/lib/Checker/IdempotentOperationChecker.cpp Tue Jul  6 20:27:17 2010
@@ -328,10 +328,10 @@
       case RHSis0:
         msg = "idempotent operation; the right operand is always 0";
         break;
-      case Impossible:
-        break;
       case Possible:
         llvm_unreachable("Operation was never marked with an assumption");
+      case Impossible:
+        llvm_unreachable(0);
       }
 
       // Create the SourceRange Arrays