]> granicus.if.org Git - clang/commitdiff
||/&& do not do UAC's either. This silences a bogus warning on #if -1 || 4U.
authorChris Lattner <sabre@nondot.org>
Sun, 4 May 2008 23:46:17 +0000 (23:46 +0000)
committerChris Lattner <sabre@nondot.org>
Sun, 4 May 2008 23:46:17 +0000 (23:46 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50632 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Lex/PPExpressions.cpp

index aea203f9df9cc512298b3707e76625c9d69960b9..9fda8b086241434cedfe1e3614c421452e58afb0 100644 (file)
@@ -409,11 +409,17 @@ static bool EvaluateDirectiveSubExpr(llvm::APSInt &LHS, unsigned MinPrec,
     assert(PeekPrec <= ThisPrec && "Recursion didn't work!");
     
     // Usual arithmetic conversions (C99 6.3.1.8p1): result is unsigned if
-    // either operand is unsigned.  Don't do this for x and y in "x ? y : z" or
-    // for shifts.
+    // either operand is unsigned.  
     llvm::APSInt Res(LHS.getBitWidth());
-    if (Operator != tok::question && Operator != tok::lessless &&
-        Operator != tok::greatergreater && Operator != tok::comma) {
+    switch (Operator) {
+    case tok::question:       // No UAC for x and y in "x ? y : z".
+    case tok::lessless:       // Shift amount doesn't UAC with shift value.
+    case tok::greatergreater: // Shift amount doesn't UAC with shift value.
+    case tok::comma:          // Comma operands are not subject to UACs.
+    case tok::pipepipe:       // Logical || does not do UACs.
+    case tok::ampamp:         // Logical && does not do UACs.
+      break;                  // No UAC
+    default:
       Res.setIsUnsigned(LHS.isUnsigned()|RHS.isUnsigned());
       // If this just promoted something from signed to unsigned, and if the
       // value was negative, warn about it.