diff options
| author | John McCall <rjmccall@apple.com> | 2011-04-26 20:42:42 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2011-04-26 20:42:42 +0000 |
| commit | 864c041e118155c2b1ce0ba36942a3da5a4a055e (patch) | |
| tree | 19f877df6230e8eb683deb156e16b51f25dabcf2 /lib/CodeGen/CodeGenTypes.cpp | |
| parent | eab80782f645489db299db24aa7a5886b37185b0 (diff) | |
Make yet another placeholder type, this one marking that an expression is a bound
member function, i.e. something of the form 'x.f' where 'f' is a non-static
member function. Diagnose this in the general case. Some of the new diagnostics
are probably worse than the old ones, but we now get this right much more
universally, and there's certainly room for improvement in the diagnostics.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@130239 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CodeGenTypes.cpp')
| -rw-r--r-- | lib/CodeGen/CodeGenTypes.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/CodeGen/CodeGenTypes.cpp b/lib/CodeGen/CodeGenTypes.cpp index 255d12f2cc..8db6fe5186 100644 --- a/lib/CodeGen/CodeGenTypes.cpp +++ b/lib/CodeGen/CodeGenTypes.cpp @@ -229,7 +229,7 @@ const llvm::Type *CodeGenTypes::ConvertNewType(QualType T) { #define DEPENDENT_TYPE(Class, Base) case Type::Class: #define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) case Type::Class: #include "clang/AST/TypeNodes.def" - assert(false && "Non-canonical or dependent types aren't possible."); + llvm_unreachable("Non-canonical or dependent types aren't possible."); break; case Type::Builtin: { @@ -283,8 +283,9 @@ const llvm::Type *CodeGenTypes::ConvertNewType(QualType T) { case BuiltinType::Overload: case BuiltinType::Dependent: + case BuiltinType::BoundMember: case BuiltinType::UnknownAny: - llvm_unreachable("Unexpected builtin type!"); + llvm_unreachable("Unexpected placeholder builtin type!"); break; } llvm_unreachable("Unknown builtin type!"); |