diff options
author | Douglas Gregor <dgregor@apple.com> | 2011-01-27 20:35:44 +0000 |
---|---|---|
committer | Douglas Gregor <dgregor@apple.com> | 2011-01-27 20:35:44 +0000 |
commit | a0506183a4c1340d7b91125fb41280b3b6619cfa (patch) | |
tree | a56769d4607f19ccfc5ac80e182376bda24cffd3 /lib/Sema/SemaExprCXX.cpp | |
parent | 9f3611365d0f2297a910cf246e056708726ed10a (diff) |
Document some serious badness in our evaluation of the type traits: we need to be sure we have complete types in many cases
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124428 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaExprCXX.cpp')
-rw-r--r-- | lib/Sema/SemaExprCXX.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Sema/SemaExprCXX.cpp b/lib/Sema/SemaExprCXX.cpp index df4103a9a1..ca104ef581 100644 --- a/lib/Sema/SemaExprCXX.cpp +++ b/lib/Sema/SemaExprCXX.cpp @@ -2219,6 +2219,8 @@ ExprResult Sema::ActOnUnaryTypeTrait(UnaryTypeTrait UTT, static bool EvaluateUnaryTypeTrait(Sema &Self, UnaryTypeTrait UTT, QualType T, SourceLocation KeyLoc) { + // FIXME: For many of these traits, we need a complete type before we can + // check these properties. assert(!T->isDependentType() && "Cannot evaluate traits for dependent types."); ASTContext &C = Self.Context; |