[cfe-commits] r130648 - /cfe/trunk/lib/Sema/SemaExprCXX.cpp

[Chandler Carruth]

Author: chandlerc
Date: Sun May  1 02:44:20 2011
New Revision: 130648

URL: http://llvm.org/viewvc/llvm-project?rev=130648&view=rev
Log:
Convert the expression trait evaluation to a static function and
a switch with any default case. This both warns when an enumerator is
missing and asserts if a value sneaks through despite the warning.

While in there fix a bunch of coding style issues with this code.

Modified:
    cfe/trunk/lib/Sema/SemaExprCXX.cpp

Modified: cfe/trunk/lib/Sema/SemaExprCXX.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaExprCXX.cpp?rev=130648&r1=130647&r2=130648&view=diff
==============================================================================
--- cfe/trunk/lib/Sema/SemaExprCXX.cpp (original)
+++ cfe/trunk/lib/Sema/SemaExprCXX.cpp Sun May  1 02:44:20 2011
@@ -2751,7 +2751,6 @@
   llvm_unreachable("Type trait not covered by switch");
 }
 
-
 ExprResult Sema::BuildUnaryTypeTrait(UnaryTypeTrait UTT,
                                      SourceLocation KWLoc,
                                      TypeSourceInfo *TSInfo,
@@ -3016,23 +3015,30 @@
 }
 
 ExprResult Sema::ActOnExpressionTrait(ExpressionTrait ET,
-                                     SourceLocation KWLoc,
-                                     Expr* Queried,
-                                     SourceLocation RParen) {
+                                      SourceLocation KWLoc,
+                                      Expr *Queried,
+                                      SourceLocation RParen) {
   // If error parsing the expression, ignore.
   if (!Queried)
-      return ExprError();
+    return ExprError();
 
-  ExprResult Result
-    = BuildExpressionTrait(ET, KWLoc, Queried, RParen);
+  ExprResult Result = BuildExpressionTrait(ET, KWLoc, Queried, RParen);
 
   return move(Result);
 }
 
+static bool EvaluateExpressionTrait(ExpressionTrait ET, Expr *E) {
+  switch (ET) {
+  case ET_IsLValueExpr: return E->isLValue();
+  case ET_IsRValueExpr: return E->isRValue();
+  }
+  llvm_unreachable("Expression trait not covered by switch");
+}
+
 ExprResult Sema::BuildExpressionTrait(ExpressionTrait ET,
-                                     SourceLocation KWLoc,
-                                     Expr* Queried,
-                                     SourceLocation RParen) {
+                                      SourceLocation KWLoc,
+                                      Expr *Queried,
+                                      SourceLocation RParen) {
   if (Queried->isTypeDependent()) {
     // Delay type-checking for type-dependent expressions.
   } else if (Queried->getType()->isPlaceholderType()) {
@@ -3041,17 +3047,10 @@
     return BuildExpressionTrait(ET, KWLoc, PE.take(), RParen);
   }
 
-  bool Value = false;
-  switch (ET) {
-  default: llvm_unreachable("Unknown or unimplemented expression trait");
-  case ET_IsLValueExpr:       Value = Queried->isLValue(); break;
-  case ET_IsRValueExpr:       Value = Queried->isRValue(); break;
-  }
-  
+  bool Value = EvaluateExpressionTrait(ET, Queried);
   // C99 6.5.3.4p4: the type (an unsigned integer type) is size_t.
-  return Owned(
-      new (Context) ExpressionTraitExpr(
-          KWLoc, ET, Queried, Value, RParen, Context.BoolTy));
+  return Owned(new (Context) ExpressionTraitExpr(KWLoc, ET, Queried, Value,
+                                                 RParen, Context.BoolTy));
 }
 
 QualType Sema::CheckPointerToMemberOperands(ExprResult &lex, ExprResult &rex,