diff options
| -rw-r--r-- | CodeGen/CodeGenTypes.cpp | 8 | ||||
| -rw-r--r-- | test/CodeGen/opaque-pointer.c | 13 |
2 files changed, 19 insertions, 2 deletions
diff --git a/CodeGen/CodeGenTypes.cpp b/CodeGen/CodeGenTypes.cpp index 4cced51e25..7c6abc1bec 100644 --- a/CodeGen/CodeGenTypes.cpp +++ b/CodeGen/CodeGenTypes.cpp @@ -94,8 +94,12 @@ CodeGenTypes::~CodeGenTypes() { /// isOpaqueTypeDefinition - Return true if LT is a llvm::OpaqueType /// and T is tag definition. This helper routine does not check /// relationship between T and LT. -static bool isOpaqueTypeDefinition(QualType T, llvm::Type *LT) { - +static bool isOpaqueTypeDefinition(QualType T, const llvm::Type *LT) { + if (T->isPointerType()) { + return + isOpaqueTypeDefinition(cast<PointerType>(*T).getPointeeType(), + cast<llvm::PointerType>(LT)->getElementType()); + } if (!isa<llvm::OpaqueType>(LT)) return false; diff --git a/test/CodeGen/opaque-pointer.c b/test/CodeGen/opaque-pointer.c new file mode 100644 index 0000000000..33706aa9d8 --- /dev/null +++ b/test/CodeGen/opaque-pointer.c @@ -0,0 +1,13 @@ +// RUN: clang %s -emit-llvm +struct test; + +typedef void (*my_func) (struct test *); +my_func handler; + +struct test { + char a; +}; + +char f(struct test *t) { + return t->a; +} |