commit a30bab4b5d421fb148a732da31621cffe51519ee
author Fariborz Jahanian <fjahanian@apple.com> Fri Mar 15 17:03:56 2013 +0000
committer Fariborz Jahanian <fjahanian@apple.com> Fri Mar 15 17:03:56 2013 +0000
tree dc65fcee34f14d37a4ecde1128d5750036d58832
parent 2cd889d6d97db0cf73930873871aa4a542e84b89

c: Also chek for integer overflow for '%' operator.



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

lib/Sema/SemaChecking.cpp

diff --git a/lib/Sema/SemaChecking.cpp b/lib/Sema/SemaChecking.cpp
index 3926f01..2f8d857 100644
--- a/lib/Sema/SemaChecking.cpp
+++ b/lib/Sema/SemaChecking.cpp
@@ -5188,8 +5188,16 @@
 void Sema::CheckForIntOverflow (Expr *E) {
   if (const BinaryOperator *BExpr = dyn_cast<BinaryOperator>(E->IgnoreParens())) {
     unsigned Opc = BExpr->getOpcode();
-    if (Opc != BO_Add && Opc != BO_Sub && Opc != BO_Mul && Opc != BO_Div)
-      return;
+    switch (Opc) {
+      case BO_Add:
+      case BO_Sub:
+      case BO_Mul:
+      case BO_Div:
+      case BO_Rem:
+        break;
+      default:
+        return;
+    }
     llvm::SmallVector<PartialDiagnosticAt, 4> Diags;
     E->EvaluateForOverflow(Context, &Diags);
   }

test/Sema/switch-1.c

diff --git a/test/Sema/switch-1.c b/test/Sema/switch-1.c
index 944048d..ce1e7dc 100644
--- a/test/Sema/switch-1.c
+++ b/test/Sema/switch-1.c
@@ -12,6 +12,7 @@
     case (123456 *789012) + 1:  // expected-warning {{overflow in expression; result is -1375982336 with type 'int'}}
       return 3;
     case (2147483647*4)/4: 	// expected-warning {{overflow in expression; result is -4 with type 'int'}}
+    case (2147483647*4)%4: 	// expected-warning {{overflow in expression; result is -4 with type 'int'}}
       return 4;
     case 2147483647:
       return 0;