commit 10747ff6448c87cdfd2b438042738036ecb5de86
author Eli Friedman <eli.friedman@gmail.com> Sat Aug 15 21:55:26 2009 +0000
committer Eli Friedman <eli.friedman@gmail.com> Sat Aug 15 21:55:26 2009 +0000
tree fc688c5f08a0ec8903efd68c70b6f81349a9e061
parent 190f9406d5fea03448d4cae409ca4d6c046e812d

Implement __is_empty.  Patch by Sean Hunt.



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

lib/AST/ExprCXX.cpp

diff --git a/lib/AST/ExprCXX.cpp b/lib/AST/ExprCXX.cpp
index 454dc14..006f698 100644
--- a/lib/AST/ExprCXX.cpp
+++ b/lib/AST/ExprCXX.cpp
@@ -223,6 +223,12 @@
     if (const RecordType *RT = QueriedType->getAs<RecordType>())
       return cast<CXXRecordDecl>(RT->getDecl())->isAbstract();
     return false;
+  case UTT_IsEmpty:
+    if (const RecordType *Record = QueriedType->getAs<RecordType>()) {
+      return !Record->getDecl()->isUnion()
+          && cast<CXXRecordDecl>(Record->getDecl())->isEmpty();
+    }
+    return false;
   case UTT_HasTrivialConstructor:
     // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
     //   If __is_pod (type) is true then the trait is true, else if type is