aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnders Carlsson <andersca@mac.com>2008-08-23 21:12:35 +0000
committerAnders Carlsson <andersca@mac.com>2008-08-23 21:12:35 +0000
commitb88d45ea7eb835d36c4a4b3ea84b1260b120dd0a (patch)
tree989fa34b78ca6682b7fca604b193ce1350595673
parent413ad8b6b55ea3ddee61a34e3a69ecd52fcaf0f5 (diff)
treat bool literals as constatnt expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55255 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/AST/Expr.cpp7
-rw-r--r--test/SemaCXX/bool.cpp7
2 files changed, 14 insertions, 0 deletions
diff --git a/lib/AST/Expr.cpp b/lib/AST/Expr.cpp
index b004bde7bd..5107a5643c 100644
--- a/lib/AST/Expr.cpp
+++ b/lib/AST/Expr.cpp
@@ -720,6 +720,13 @@ bool Expr::isIntegerConstantExpr(llvm::APSInt &Result, ASTContext &Ctx,
Result.setIsUnsigned(!getType()->isSignedIntegerType());
break;
}
+ case CXXBoolLiteralExprClass: {
+ const CXXBoolLiteralExpr *BL = cast<CXXBoolLiteralExpr>(this);
+ Result.zextOrTrunc(static_cast<uint32_t>(Ctx.getTypeSize(getType())));
+ Result = BL->getValue();
+ Result.setIsUnsigned(!getType()->isSignedIntegerType());
+ break;
+ }
case CXXZeroInitValueExprClass:
Result.clear();
break;
diff --git a/test/SemaCXX/bool.cpp b/test/SemaCXX/bool.cpp
new file mode 100644
index 0000000000..e35495abab
--- /dev/null
+++ b/test/SemaCXX/bool.cpp
@@ -0,0 +1,7 @@
+// RUN: clang -fsyntax-only -verify %s
+
+// Bool literals can be enum values.
+enum {
+ ReadWrite = false,
+ ReadOnly = true
+};