1 // RUN: %clang_cc1 -emit-llvm -debug-info-kind=limited -std=c++11 -triple x86_64-unknown-unknown %s -o - | FileCheck %s
2 
3 
4 void f(int m) {
5   int x[3][m];
6 }
7 
8 int (*fp)(int[][*]) = nullptr;
9 
10 // CHECK: !DICompositeType(tag: DW_TAG_array_type,
11 // CHECK-NOT:                               size:
12 // CHECK-SAME:                              elements: [[ELEM_TYPE:![0-9]+]]
13 // CHECK: [[ELEM_TYPE]] = !{[[NOCOUNT:.*]]}
14 // CHECK: [[NOCOUNT]] = !DISubrange(count: -1)
15 //
16 // CHECK: [[VAR:![0-9]+]] = !DILocalVariable(name: "__vla_expr0", {{.*}}flags: DIFlagArtificial
17 // CHECK: !DICompositeType(tag: DW_TAG_array_type,
18 // CHECK-NOT:                               size:
19 // CHECK-SAME:                              elements: [[ELEM_TYPE:![0-9]+]]
20 // CHECK: [[ELEM_TYPE]] = !{[[THREE:.*]], [[VARRANGE:![0-9]+]]}
21 // CHECK: [[THREE]] = !DISubrange(count: 3)
22 // CHECK: [[VARRANGE]] = !DISubrange(count: [[VAR]])
23