1 // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin -debug-info-kind=limited -emit-llvm -o - | FileCheck %s
2 // This test is for a crash when emitting debug info for not-yet-completed
3 // types.
4 // Test that we don't actually emit a forward decl for the offending class:
5 // CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "Derived<int>"
6 // CHECK-NOT:              DIFlagFwdDecl
7 // CHECK-SAME:             ){{$}}
8 // rdar://problem/15931354
9 template <class A> class Derived;
10 
11 template <class A> class Base {
12   static Derived<A> *create();
13 };
14 
15 template <class A> struct Derived : Base<A> {
16 };
17 
18 Base<int> *f;
19 
20 // During the instantiation of Derived<int>, Base<int> becomes required to be
21 // complete - since the declaration has already been emitted (due to 'f',
22 // above), we immediately try to build debug info for Base<int> which then
23 // requires the (incomplete definition) of Derived<int> which is problematic.
24 //
25 // (if 'f' is not present, the point at which Base<int> becomes required to be
26 // complete during the instantiation of Derived<int> is a no-op because
27 // Base<int> was never emitted so we ignore it and carry on until we
28 // wire up the base class of Derived<int> in the debug info later on)
29 Derived<int> d;
30