nicolas/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed TypeofExpr AST and code generation.

Browse Source 
llvm-svn: 147730
This commit is contained in:
Abramo Bagnara
2012-01-07 10:52:36 +00:00
parent e57e752b71
commit 1cd8368eb2
5 changed files with 20 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
clang/lib/CodeGen/CodeGenFunction.cpp
View File

@@ -929,19 +929,33 @@ void CodeGenFunction::EmitVariablyModifiedType(QualType type) {
// We're going to walk down into the type and look for VLA
// expressions.
type = type.getCanonicalType();
do {
assert(type->isVariablyModifiedType());
const Type *ty = type.getTypePtr();
switch (ty->getTypeClass()) {
default:
// Only sugared types (different from typeof_expr) can reach this point.
assert(!type.isCanonical() && "unhandled canonical type!");
type = type.getSingleStepDesugaredType(getContext());
break;
case Type::TypeOfExpr: {
// This is the only sugared type requiring special treatment.
// Emit typeof expression and we are done.
Expr *E = cast<TypeOfExprType>(ty)->getUnderlyingExpr();
EmitIgnoredExpr(E);
return;
}
#define TYPE(Class, Base)
#define ABSTRACT_TYPE(Class, Base)
#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
#define NON_CANONICAL_TYPE(Class, Base)
#define DEPENDENT_TYPE(Class, Base) case Type::Class:
#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) case Type::Class:
#define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base)
#include "clang/AST/TypeNodes.def"
llvm_unreachable("unexpected dependent or non-canonical type!");
llvm_unreachable("unexpected dependent type!");
// These types are never variably-modified.
case Type::Builtin:
@@ -999,7 +1013,7 @@ void CodeGenFunction::EmitVariablyModifiedType(QualType type) {
break;
}
case Type::FunctionProto:
case Type::FunctionProto:
case Type::FunctionNoProto:
type = cast<FunctionType>(ty)->getResultType();
break;