1; Test that variables not starting with dollar sign get undefined after a
2; CHECK-LABEL directive iff --enable-var-scope is used.
3
4; Reference run: variables remain defined at all time when not using
5; --enable-var-scope option.
6RUN: FileCheck --check-prefixes CHECK,LOCAL3,GLOBAL --input-file %s %s
7
8RUN: FileCheck --check-prefixes CHECK,GLOBAL --enable-var-scope --input-file %s %s
9RUN: %ProtectFileCheckOutput not FileCheck --check-prefixes CHECK,LOCAL1 --enable-var-scope --input-file %s %s 2>&1 \
10RUN:   | FileCheck --check-prefix ERRUNDEFLOCAL %s
11RUN: %ProtectFileCheckOutput not FileCheck --check-prefixes CHECK,LOCAL2 --enable-var-scope --input-file %s %s 2>&1 \
12RUN:   | FileCheck --check-prefix ERRUNDEFLOCNUM %s
13RUN: %ProtectFileCheckOutput not FileCheck --check-prefixes CHECK,LOCAL3 --enable-var-scope --input-file %s %s 2>&1 \
14RUN:   | FileCheck --check-prefixes ERRUNDEFLOCAL,ERRUNDEFLOCNUM %s
15
16local1
17global1
18CHECK: [[LOCAL:loc[^[:digit:]]*]][[#LOCNUM:]]
19CHECK: [[$GLOBAL:glo[^[:digit:]]*]][[#$GLOBNUM:]]
20
21local2
22global2
23CHECK: [[LOCAL]][[#LOCNUM+1]]
24CHECK: [[$GLOBAL]][[#$GLOBNUM+1]]
25
26barrier:
27CHECK-LABEL: barrier
28
29local3
30global3
31LOCAL1: [[LOCAL]]3
32LOCAL2: local[[#LOCNUM+2]]
33LOCAL3: [[LOCAL]][[#LOCNUM+2]]
34GLOBAL: [[$GLOBAL]][[#$GLOBNUM+2]]
35
36ERRUNDEFLOCAL: undefined variable: LOCAL
37ERRUNDEFLOCNUM: undefined variable: LOCNUM
38