1*fc4b1a30SAbid Qadeer! RUN: %flang_fc1 -emit-llvm -debug-info-kind=standalone %s -o - | FileCheck %s 2*fc4b1a30SAbid Qadeer 3*fc4b1a30SAbid Qadeersubroutine foo(a, n, m, p) 4*fc4b1a30SAbid Qadeer integer n, m, p 5*fc4b1a30SAbid Qadeer integer :: a(n:m, p) 6*fc4b1a30SAbid Qadeer a(1, 2) = 10 7*fc4b1a30SAbid Qadeer print *, a 8*fc4b1a30SAbid Qadeerend subroutine foo 9*fc4b1a30SAbid Qadeer 10*fc4b1a30SAbid Qadeer 11*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[VAR0:.*]] = !DILocalVariable(name: "._QFfooEa3"{{.*}}scope: ![[SCOPE:[0-9]+]]{{.*}}flags: DIFlagArtificial) 12*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[VAR1:.*]] = !DILocalVariable(name: "._QFfooEa1"{{.*}}scope: ![[SCOPE]]{{.*}}flags: DIFlagArtificial) 13*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[VAR2:.*]] = !DILocalVariable(name: "._QFfooEa2"{{.*}}scope: ![[SCOPE]]{{.*}}flags: DIFlagArtificial) 14*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[SR1:.*]] = !DISubrange(count: ![[VAR1]], lowerBound: ![[VAR0]]) 15*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[SR2:.*]] = !DISubrange(count: ![[VAR2]]) 16*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[SR:.*]] = !{![[SR1]], ![[SR2]]} 17*fc4b1a30SAbid Qadeer! CHECK-DAG: ![[TY:.*]] = !DICompositeType(tag: DW_TAG_array_type{{.*}}elements: ![[SR]]) 18*fc4b1a30SAbid Qadeer! CHECK-DAG: !DILocalVariable(name: "a"{{.*}}scope: ![[SCOPE]]{{.*}}type: ![[TY]]) 19*fc4b1a30SAbid Qadeer 20