diff options
| author | Douglas Gregor <dgregor@apple.com> | 2009-07-08 00:03:05 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2009-07-08 00:03:05 +0000 |
| commit | dd0257c77719a13d4acd513df40b04300cbfc871 (patch) | |
| tree | d7d3e1adb918426fc3b9e6d144b1fd2b133404ae /lib/AST/Type.cpp | |
| parent | 3e15cc318e9cd577eda56c0294f32535738d8630 (diff) | |
The canonical type of typeof or decltype with a dependent type is itself,
not Context.DependentTy. I'll let Anders check in the test case for this one...
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74975 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/AST/Type.cpp')
| -rw-r--r-- | lib/AST/Type.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/AST/Type.cpp b/lib/AST/Type.cpp index 2b307c86e3..fa1c9152f4 100644 --- a/lib/AST/Type.cpp +++ b/lib/AST/Type.cpp @@ -1072,14 +1072,10 @@ QualType TypedefType::LookThroughTypedefs() const { TypeOfExprType::TypeOfExprType(Expr *E, QualType can) : Type(TypeOfExpr, can, E->isTypeDependent()), TOExpr(E) { - assert(!isa<TypedefType>(can) && "Invalid canonical type"); } DecltypeType::DecltypeType(Expr *E, QualType can) : Type(Decltype, can, E->isTypeDependent()), E(E) { - assert(can->isDependentType() == E->isTypeDependent() && - "type dependency mismatch!"); - assert(!isa<TypedefType>(can) && "Invalid canonical type"); } TagType::TagType(TypeClass TC, TagDecl *D, QualType can) |