1*15c1e368STed Kremenek typedef unsigned int uint;
2*15c1e368STed Kremenek int foo(uint c) {
3*15c1e368STed Kremenek   return ((c >= 0x41 && c <= 0x5a)
4*15c1e368STed Kremenek     || (c >= 0x61 && c <= 0x7a)
5*15c1e368STed Kremenek     || (c >= 0xc0 && c <= 0xd6)
6*15c1e368STed Kremenek     || (c >= 0xd8 && c <= 0xf6)
7*15c1e368STed Kremenek     || (c >= 0xf8 && c <= 0xff)
8*15c1e368STed Kremenek     || (c >= 0x100 && c <= 0x131)
9*15c1e368STed Kremenek     || (c >= 0x134 && c <= 0x13e)
10*15c1e368STed Kremenek     || (c >= 0x141 && c <= 0x148)
11*15c1e368STed Kremenek     || (c >= 0x14a && c <= 0x17e)
12*15c1e368STed Kremenek     || (c >= 0x180 && c <= 0x1c3)
13*15c1e368STed Kremenek     || (c >= 0x1cd && c <= 0x1f0)
14*15c1e368STed Kremenek     || (c >= 0x1f4 && c <= 0x1f5)
15*15c1e368STed Kremenek     || (c >= 0x1fa && c <= 0x217)
16*15c1e368STed Kremenek     || (c >= 0x250 && c <= 0x2a8)
17*15c1e368STed Kremenek     || (c >= 0x2bb && c <= 0x2c1)
18*15c1e368STed Kremenek     || c == 0x386 || (c >= 0x388 && c <= 0x38a)
19*15c1e368STed Kremenek     || c == 0x38c || (c >= 0x38e && c <= 0x3a1)
20*15c1e368STed Kremenek     || (c >= 0x3a3 && c <= 0x3ce)
21*15c1e368STed Kremenek     || (c >= 0x3d0 && c <= 0x3d6)
22*15c1e368STed Kremenek     || c == 0x3da || c == 0x3dc || c == 0x3de ||
23*15c1e368STed Kremenek     c == 0x3e0 || (c >= 0x3e2 && c <= 0x3f3)
24*15c1e368STed Kremenek     || (c >= 0x401 && c <= 0x40c)
25*15c1e368STed Kremenek     || (c >= 0x40e && c <= 0x44f)
26*15c1e368STed Kremenek     || (c >= 0x451 && c <= 0x45c)
27*15c1e368STed Kremenek     || (c >= 0x45e && c <= 0x481)
28*15c1e368STed Kremenek     || (c >= 0x490 && c <= 0x4c4)
29*15c1e368STed Kremenek     || (c >= 0x4c7 && c <= 0x4c8)
30*15c1e368STed Kremenek     || (c >= 0x4cb && c <= 0x4cc)
31*15c1e368STed Kremenek     || (c >= 0x4d0 && c <= 0x4eb)
32*15c1e368STed Kremenek     || (c >= 0x4ee && c <= 0x4f5)
33*15c1e368STed Kremenek     || (c >= 0x4f8 && c <= 0x4f9)
34*15c1e368STed Kremenek     || (c >= 0x531 && c <= 0x556)
35*15c1e368STed Kremenek     || c == 0x559 || (c >= 0x561 && c <= 0x586)
36*15c1e368STed Kremenek     || (c >= 0x5d0 && c <= 0x5ea)
37*15c1e368STed Kremenek     || (c >= 0x5f0 && c <= 0x5f2)
38*15c1e368STed Kremenek     || (c >= 0x621 && c <= 0x63a)
39*15c1e368STed Kremenek     || (c >= 0x641 && c <= 0x64a)
40*15c1e368STed Kremenek     || (c >= 0x671 && c <= 0x6b7)
41*15c1e368STed Kremenek     || (c >= 0x6ba && c <= 0x6be)
42*15c1e368STed Kremenek     || (c >= 0x6c0 && c <= 0x6ce)
43*15c1e368STed Kremenek     || (c >= 0x6d0 && c <= 0x6d3)
44*15c1e368STed Kremenek     || c == 0x6d5 || (c >= 0x6e5 && c <= 0x6e6)
45*15c1e368STed Kremenek     || (c >= 0x905 && c <= 0x939)
46*15c1e368STed Kremenek     || c == 0x93d || (c >= 0x958 && c <= 0x961)
47*15c1e368STed Kremenek     || (c >= 0x985 && c <= 0x98c)
48*15c1e368STed Kremenek     || (c >= 0x98f && c <= 0x990)
49*15c1e368STed Kremenek     || (c >= 0x993 && c <= 0x9a8)
50*15c1e368STed Kremenek     || (c >= 0x9aa && c <= 0x9b0)
51*15c1e368STed Kremenek     || c == 0x9b2 || (c >= 0x9b6 && c <= 0x9b9)
52*15c1e368STed Kremenek     || (c >= 0x9dc && c <= 0x9dd)
53*15c1e368STed Kremenek     || (c >= 0x9df && c <= 0x9e1)
54*15c1e368STed Kremenek     || (c >= 0x9f0 && c <= 0x9f1)
55*15c1e368STed Kremenek     || (c >= 0xa05 && c <= 0xa0a)
56*15c1e368STed Kremenek     || (c >= 0xa0f && c <= 0xa10)
57*15c1e368STed Kremenek     || (c >= 0xa13 && c <= 0xa28)
58*15c1e368STed Kremenek     || (c >= 0xa2a && c <= 0xa30)
59*15c1e368STed Kremenek     || (c >= 0xa32 && c <= 0xa33)
60*15c1e368STed Kremenek     || (c >= 0xa35 && c <= 0xa36)
61*15c1e368STed Kremenek     || (c >= 0xa38 && c <= 0xa39)
62*15c1e368STed Kremenek     || (c >= 0xa59 && c <= 0xa5c)
63*15c1e368STed Kremenek     || c == 0xa5e || (c >= 0xa72 && c <= 0xa74)
64*15c1e368STed Kremenek     || (c >= 0xa85 && c <= 0xa8b)
65*15c1e368STed Kremenek     || c == 0xa8d || (c >= 0xa8f && c <= 0xa91)
66*15c1e368STed Kremenek     || (c >= 0xa93 && c <= 0xaa8)
67*15c1e368STed Kremenek     || (c >= 0xaaa && c <= 0xab0)
68*15c1e368STed Kremenek     || (c >= 0xab2 && c <= 0xab3)
69*15c1e368STed Kremenek     || (c >= 0xab5 && c <= 0xab9)
70*15c1e368STed Kremenek     || c == 0xabd || c == 0xae0 || (c >= 0xb05 && c <= 0xb0c)
71*15c1e368STed Kremenek     || (c >= 0xb0f && c <= 0xb10)
72*15c1e368STed Kremenek     || (c >= 0xb13 && c <= 0xb28)
73*15c1e368STed Kremenek     || (c >= 0xb2a && c <= 0xb30)
74*15c1e368STed Kremenek     || (c >= 0xb32 && c <= 0xb33)
75*15c1e368STed Kremenek     || (c >= 0xb36 && c <= 0xb39)
76*15c1e368STed Kremenek     || c == 0xb3d || (c >= 0xb5c && c <= 0xb5d)
77*15c1e368STed Kremenek     || (c >= 0xb5f && c <= 0xb61)
78*15c1e368STed Kremenek     || (c >= 0xb85 && c <= 0xb8a)
79*15c1e368STed Kremenek     || (c >= 0xb8e && c <= 0xb90)
80*15c1e368STed Kremenek     || (c >= 0xb92 && c <= 0xb95)
81*15c1e368STed Kremenek     || (c >= 0xb99 && c <= 0xb9a)
82*15c1e368STed Kremenek     || c == 0xb9c || (c >= 0xb9e && c <= 0xb9f)
83*15c1e368STed Kremenek     || (c >= 0xba3 && c <= 0xba4)
84*15c1e368STed Kremenek     || (c >= 0xba8 && c <= 0xbaa)
85*15c1e368STed Kremenek     || (c >= 0xbae && c <= 0xbb5)
86*15c1e368STed Kremenek     || (c >= 0xbb7 && c <= 0xbb9)
87*15c1e368STed Kremenek     || (c >= 0xc05 && c <= 0xc0c)
88*15c1e368STed Kremenek     || (c >= 0xc0e && c <= 0xc10)
89*15c1e368STed Kremenek     || (c >= 0xc12 && c <= 0xc28)
90*15c1e368STed Kremenek     || (c >= 0xc2a && c <= 0xc33)
91*15c1e368STed Kremenek     || (c >= 0xc35 && c <= 0xc39)
92*15c1e368STed Kremenek     || (c >= 0xc60 && c <= 0xc61)
93*15c1e368STed Kremenek     || (c >= 0xc85 && c <= 0xc8c)
94*15c1e368STed Kremenek     || (c >= 0xc8e && c <= 0xc90)
95*15c1e368STed Kremenek     || (c >= 0xc92 && c <= 0xca8)
96*15c1e368STed Kremenek     || (c >= 0xcaa && c <= 0xcb3)
97*15c1e368STed Kremenek     || (c >= 0xcb5 && c <= 0xcb9)
98*15c1e368STed Kremenek     || c == 0xcde || (c >= 0xce0 && c <= 0xce1)
99*15c1e368STed Kremenek     || (c >= 0xd05 && c <= 0xd0c)
100*15c1e368STed Kremenek     || (c >= 0xd0e && c <= 0xd10)
101*15c1e368STed Kremenek     || (c >= 0xd12 && c <= 0xd28)
102*15c1e368STed Kremenek     || (c >= 0xd2a && c <= 0xd39)
103*15c1e368STed Kremenek     || (c >= 0xd60 && c <= 0xd61)
104*15c1e368STed Kremenek     || (c >= 0xe01 && c <= 0xe2e)
105*15c1e368STed Kremenek     || c == 0xe30 || (c >= 0xe32 && c <= 0xe33)
106*15c1e368STed Kremenek     || (c >= 0xe40 && c <= 0xe45)
107*15c1e368STed Kremenek     || (c >= 0xe81 && c <= 0xe82)
108*15c1e368STed Kremenek     || c == 0xe84 || (c >= 0xe87 && c <= 0xe88)
109*15c1e368STed Kremenek     || c == 0xe8a || c == 0xe8d || (c >= 0xe94 && c <= 0xe97)
110*15c1e368STed Kremenek     || (c >= 0xe99 && c <= 0xe9f)
111*15c1e368STed Kremenek     || (c >= 0xea1 && c <= 0xea3)
112*15c1e368STed Kremenek     || c == 0xea5 || c == 0xea7 || (c >= 0xeaa && c <= 0xeab)
113*15c1e368STed Kremenek     || (c >= 0xead && c <= 0xeae)
114*15c1e368STed Kremenek     || c == 0xeb0 || (c >= 0xeb2 && c <= 0xeb3)
115*15c1e368STed Kremenek     || c == 0xebd || (c >= 0xec0 && c <= 0xec4)
116*15c1e368STed Kremenek     || (c >= 0xf40 && c <= 0xf47)
117*15c1e368STed Kremenek     || (c >= 0xf49 && c <= 0xf69)
118*15c1e368STed Kremenek     || (c >= 0x10a0 && c <= 0x10c5)
119*15c1e368STed Kremenek     || (c >= 0x10d0 && c <= 0x10f6)
120*15c1e368STed Kremenek     || c == 0x1100 || (c >= 0x1102 && c <= 0x1103)
121*15c1e368STed Kremenek     || (c >= 0x1105 && c <= 0x1107)
122*15c1e368STed Kremenek     || c == 0x1109 || (c >= 0x110b && c <= 0x110c)
123*15c1e368STed Kremenek     || (c >= 0x110e && c <= 0x1112)
124*15c1e368STed Kremenek     || c == 0x113c || c == 0x113e || c == 0x1140 || c == 0x114c ||
125*15c1e368STed Kremenek     c == 0x114e || c == 0x1150 || (c >= 0x1154 && c <= 0x1155)
126*15c1e368STed Kremenek     || c == 0x1159 || (c >= 0x115f && c <= 0x1161)
127*15c1e368STed Kremenek     || c == 0x1163 || c == 0x1165 || c == 0x1167 || c == 0x1169 ||
128*15c1e368STed Kremenek     (c >= 0x116d && c <= 0x116e)
129*15c1e368STed Kremenek     || (c >= 0x1172 && c <= 0x1173)
130*15c1e368STed Kremenek     || c == 0x1175 || c == 0x119e || c == 0x11a8 || c == 0x11ab ||
131*15c1e368STed Kremenek     (c >= 0x11ae && c <= 0x11af)
132*15c1e368STed Kremenek     || (c >= 0x11b7 && c <= 0x11b8)
133*15c1e368STed Kremenek     || c == 0x11ba || (c >= 0x11bc && c <= 0x11c2)
134*15c1e368STed Kremenek     || c == 0x11eb || c == 0x11f0 || c == 0x11f9 || (c >= 0x1e00 && c <= 0x1e9b)
135*15c1e368STed Kremenek     || (c >= 0x1ea0 && c <= 0x1ef9)
136*15c1e368STed Kremenek     || (c >= 0x1f00 && c <= 0x1f15)
137*15c1e368STed Kremenek     || (c >= 0x1f18 && c <= 0x1f1d)
138*15c1e368STed Kremenek     || (c >= 0x1f20 && c <= 0x1f45)
139*15c1e368STed Kremenek     || (c >= 0x1f48 && c <= 0x1f4d)
140*15c1e368STed Kremenek     || (c >= 0x1f50 && c <= 0x1f57)
141*15c1e368STed Kremenek     || c == 0x1f59 || c == 0x1f5b || c == 0x1f5d || (c >= 0x1f5f && c <= 0x1f7d)
142*15c1e368STed Kremenek     || (c >= 0x1f80 && c <= 0x1fb4)
143*15c1e368STed Kremenek     || (c >= 0x1fb6 && c <= 0x1fbc)
144*15c1e368STed Kremenek     || c == 0x1fbe || (c >= 0x1fc2 && c <= 0x1fc4)
145*15c1e368STed Kremenek     || (c >= 0x1fc6 && c <= 0x1fcc)
146*15c1e368STed Kremenek     || (c >= 0x1fd0 && c <= 0x1fd3)
147*15c1e368STed Kremenek     || (c >= 0x1fd6 && c <= 0x1fdb)
148*15c1e368STed Kremenek     || (c >= 0x1fe0 && c <= 0x1fec)
149*15c1e368STed Kremenek     || (c >= 0x1ff2 && c <= 0x1ff4)
150*15c1e368STed Kremenek     || (c >= 0x1ff6 && c <= 0x1ffc)
151*15c1e368STed Kremenek     || c == 0x2126 || (c >= 0x212a && c <= 0x212b)
152*15c1e368STed Kremenek     || c == 0x212e || (c >= 0x2180 && c <= 0x2182)
153*15c1e368STed Kremenek     || (c >= 0x3041 && c <= 0x3094)
154*15c1e368STed Kremenek     || (c >= 0x30a1 && c <= 0x30fa)
155*15c1e368STed Kremenek     || (c >= 0x3105 && c <= 0x312c)
156*15c1e368STed Kremenek     || (c >= 0xac00 && c <= 0xd7a3)
157*15c1e368STed Kremenek     || (c >= 0x4e00 && c <= 0x9fa5)
158*15c1e368STed Kremenek     || c == 0x3007 || (c >= 0x3021 && c <= 0x3029)
159*15c1e368STed Kremenek     || (c >= 0x4e00 && c <= 0x9fa5)
160*15c1e368STed Kremenek     || c == 0x3007 || (c >= 0x3021 && c <= 0x3029));
161*15c1e368STed Kremenek }
162*15c1e368STed Kremenek 
163*15c1e368STed Kremenek // RUN: c-index-test -test-load-source all %s | FileCheck %s
164*15c1e368STed Kremenek // CHECK: 1:22: TypedefDecl=uint:1:22 (Definition) Extent=[1:22 - 1:26]
165*15c1e368STed Kremenek // CHECK: 2:5: FunctionDecl=foo:2:5 (Definition) Extent=[2:5 - 161:2]
166*15c1e368STed Kremenek // CHECK: 2:14: ParmDecl=c:2:14 (Definition) Extent=[2:9 - 2:15]
167*15c1e368STed Kremenek // CHECK: 2:9: TypeRef=uint:1:22 Extent=[2:9 - 2:13]
168*15c1e368STed Kremenek // CHECK: 2:17: UnexposedStmt= Extent=[2:17 - 161:2]
169*15c1e368STed Kremenek // CHECK: 3:3: UnexposedStmt= Extent=[3:3 - 160:52]
170*15c1e368STed Kremenek // CHECK: 3:10: UnexposedExpr= Extent=[3:10 - 160:52]
171*15c1e368STed Kremenek // CHECK: 3:10: UnexposedExpr= Extent=[3:10 - 160:52]
172*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 160:51]
173*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 160:19]
174*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 159:36]
175*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 158:51]
176*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 158:19]
177*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 157:36]
178*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 156:36]
179*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 155:36]
180*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 154:36]
181*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 153:36]
182*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 152:51]
183*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 152:19]
184*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 151:51]
185*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 151:19]
186*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 150:36]
187*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 149:36]
188*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 148:36]
189*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 147:36]
190*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 146:36]
191*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 145:36]
192*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 144:51]
193*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 144:19]
194*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 143:36]
195*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 142:36]
196*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 141:81]
197*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 141:49]
198*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 141:34]
199*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 141:19]
200*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 140:36]
201*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 139:36]
202*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 138:36]
203*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 137:36]
204*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 136:36]
205*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 135:36]
206*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 134:81]
207*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 134:49]
208*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 134:34]
209*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 134:19]
210*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 133:51]
211*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 133:19]
212*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 132:36]
213*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 131:33]
214*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 130:64]
215*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 130:49]
216*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 130:34]
217*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 130:19]
218*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 129:36]
219*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 128:33]
220*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 127:64]
221*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 127:49]
222*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 127:34]
223*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 127:19]
224*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 126:51]
225*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 126:19]
226*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 125:63]
227*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 125:31]
228*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 125:16]
229*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 124:64]
230*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 124:49]
231*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 124:34]
232*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 124:19]
233*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 123:36]
234*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 122:51]
235*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 122:19]
236*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 121:36]
237*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 120:51]
238*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 120:19]
239*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 119:36]
240*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 118:36]
241*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 117:34]
242*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 116:34]
243*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 115:48]
244*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 115:18]
245*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 114:48]
246*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 114:18]
247*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 113:34]
248*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 112:62]
249*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 112:32]
250*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 112:18]
251*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 111:34]
252*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 110:34]
253*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 109:62]
254*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 109:32]
255*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 109:18]
256*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 108:48]
257*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 108:18]
258*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 107:34]
259*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 106:34]
260*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 105:48]
261*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 105:18]
262*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 104:34]
263*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 103:34]
264*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 102:34]
265*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 101:34]
266*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 100:34]
267*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 99:34]
268*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 98:48]
269*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 98:18]
270*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 97:34]
271*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 96:34]
272*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 95:34]
273*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 94:34]
274*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 93:34]
275*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 92:34]
276*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 91:34]
277*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 90:34]
278*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 89:34]
279*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 88:34]
280*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 87:34]
281*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 86:34]
282*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 85:34]
283*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 84:34]
284*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 83:34]
285*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 82:48]
286*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 82:18]
287*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 81:34]
288*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 80:34]
289*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 79:34]
290*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 78:34]
291*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 77:34]
292*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 76:48]
293*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 76:18]
294*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 75:34]
295*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 74:34]
296*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 73:34]
297*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 72:34]
298*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 71:34]
299*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 70:62]
300*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 70:32]
301*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 70:18]
302*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 69:34]
303*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 68:34]
304*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 67:34]
305*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 66:34]
306*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 65:48]
307*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 65:18]
308*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 64:34]
309*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 63:48]
310*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 63:18]
311*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 62:34]
312*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 61:34]
313*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 60:34]
314*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 59:34]
315*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 58:34]
316*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 57:34]
317*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 56:34]
318*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 55:34]
319*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 54:34]
320*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 53:34]
321*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 52:34]
322*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 51:48]
323*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 51:18]
324*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 50:34]
325*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 49:34]
326*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 48:34]
327*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 47:34]
328*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 46:48]
329*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 46:18]
330*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 45:34]
331*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 44:48]
332*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 44:18]
333*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 43:34]
334*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 42:34]
335*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 41:34]
336*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 40:34]
337*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 39:34]
338*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 38:34]
339*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 37:34]
340*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 36:34]
341*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 35:48]
342*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 35:18]
343*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 34:34]
344*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 33:34]
345*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 32:34]
346*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 31:34]
347*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 30:34]
348*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 29:34]
349*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 28:34]
350*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 27:34]
351*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 26:34]
352*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 25:34]
353*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 24:34]
354*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 23:45]
355*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 23:15]
356*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 22:46]
357*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 22:32]
358*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 22:18]
359*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 21:34]
360*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 20:34]
361*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 19:48]
362*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 19:18]
363*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 18:48]
364*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 18:18]
365*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 17:34]
366*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 16:34]
367*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 15:34]
368*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 14:34]
369*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 13:34]
370*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 12:34]
371*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 11:34]
372*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 10:34]
373*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 9:34]
374*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 8:34]
375*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 7:32]
376*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 6:32]
377*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 5:32]
378*15c1e368STed Kremenek // CHECK: 3:11: UnexposedExpr= Extent=[3:11 - 4:32]
379*15c1e368STed Kremenek // CHECK: 3:12: UnexposedExpr= Extent=[3:12 - 3:34]
380*15c1e368STed Kremenek // CHECK: 3:12: UnexposedExpr= Extent=[3:12 - 3:21]
381*15c1e368STed Kremenek // CHECK: 3:12: DeclRefExpr=c:2:14 Extent=[3:12 - 3:13]
382*15c1e368STed Kremenek // CHECK: 3:17: UnexposedExpr= Extent=[3:17 - 3:21]
383*15c1e368STed Kremenek // CHECK: 3:17: UnexposedExpr= Extent=[3:17 - 3:21]
384*15c1e368STed Kremenek // CHECK: 3:25: UnexposedExpr= Extent=[3:25 - 3:34]
385*15c1e368STed Kremenek // CHECK: 3:25: DeclRefExpr=c:2:14 Extent=[3:25 - 3:26]
386*15c1e368STed Kremenek // CHECK: 3:30: UnexposedExpr= Extent=[3:30 - 3:34]
387*15c1e368STed Kremenek // CHECK: 3:30: UnexposedExpr= Extent=[3:30 - 3:34]
388*15c1e368STed Kremenek // CHECK: 4:9: UnexposedExpr= Extent=[4:9 - 4:31]
389*15c1e368STed Kremenek // CHECK: 4:9: UnexposedExpr= Extent=[4:9 - 4:18]
390*15c1e368STed Kremenek // CHECK: 4:9: DeclRefExpr=c:2:14 Extent=[4:9 - 4:10]
391*15c1e368STed Kremenek // CHECK: 4:14: UnexposedExpr= Extent=[4:14 - 4:18]
392*15c1e368STed Kremenek // CHECK: 4:14: UnexposedExpr= Extent=[4:14 - 4:18]
393*15c1e368STed Kremenek // CHECK: 4:22: UnexposedExpr= Extent=[4:22 - 4:31]
394*15c1e368STed Kremenek // CHECK: 4:22: DeclRefExpr=c:2:14 Extent=[4:22 - 4:23]
395*15c1e368STed Kremenek // CHECK: 4:27: UnexposedExpr= Extent=[4:27 - 4:31]
396*15c1e368STed Kremenek // CHECK: 4:27: UnexposedExpr= Extent=[4:27 - 4:31]
397*15c1e368STed Kremenek // CHECK: 5:9: UnexposedExpr= Extent=[5:9 - 5:31]
398*15c1e368STed Kremenek // CHECK: 5:9: UnexposedExpr= Extent=[5:9 - 5:18]
399*15c1e368STed Kremenek // CHECK: 5:9: DeclRefExpr=c:2:14 Extent=[5:9 - 5:10]
400*15c1e368STed Kremenek // CHECK: 5:14: UnexposedExpr= Extent=[5:14 - 5:18]
401*15c1e368STed Kremenek // CHECK: 5:14: UnexposedExpr= Extent=[5:14 - 5:18]
402*15c1e368STed Kremenek // CHECK: 5:22: UnexposedExpr= Extent=[5:22 - 5:31]
403*15c1e368STed Kremenek // CHECK: 5:22: DeclRefExpr=c:2:14 Extent=[5:22 - 5:23]
404*15c1e368STed Kremenek // CHECK: 5:27: UnexposedExpr= Extent=[5:27 - 5:31]
405*15c1e368STed Kremenek // CHECK: 5:27: UnexposedExpr= Extent=[5:27 - 5:31]
406*15c1e368STed Kremenek // CHECK: 6:9: UnexposedExpr= Extent=[6:9 - 6:31]
407*15c1e368STed Kremenek // CHECK: 6:9: UnexposedExpr= Extent=[6:9 - 6:18]
408*15c1e368STed Kremenek // CHECK: 6:9: DeclRefExpr=c:2:14 Extent=[6:9 - 6:10]
409*15c1e368STed Kremenek // CHECK: 6:14: UnexposedExpr= Extent=[6:14 - 6:18]
410*15c1e368STed Kremenek // CHECK: 6:14: UnexposedExpr= Extent=[6:14 - 6:18]
411*15c1e368STed Kremenek // CHECK: 6:22: UnexposedExpr= Extent=[6:22 - 6:31]
412*15c1e368STed Kremenek // CHECK: 6:22: DeclRefExpr=c:2:14 Extent=[6:22 - 6:23]
413*15c1e368STed Kremenek // CHECK: 6:27: UnexposedExpr= Extent=[6:27 - 6:31]
414*15c1e368STed Kremenek // CHECK: 6:27: UnexposedExpr= Extent=[6:27 - 6:31]
415*15c1e368STed Kremenek // CHECK: 7:9: UnexposedExpr= Extent=[7:9 - 7:31]
416*15c1e368STed Kremenek // CHECK: 7:9: UnexposedExpr= Extent=[7:9 - 7:18]
417*15c1e368STed Kremenek // CHECK: 7:9: DeclRefExpr=c:2:14 Extent=[7:9 - 7:10]
418*15c1e368STed Kremenek // CHECK: 7:14: UnexposedExpr= Extent=[7:14 - 7:18]
419*15c1e368STed Kremenek // CHECK: 7:14: UnexposedExpr= Extent=[7:14 - 7:18]
420*15c1e368STed Kremenek // CHECK: 7:22: UnexposedExpr= Extent=[7:22 - 7:31]
421*15c1e368STed Kremenek // CHECK: 7:22: DeclRefExpr=c:2:14 Extent=[7:22 - 7:23]
422*15c1e368STed Kremenek // CHECK: 7:27: UnexposedExpr= Extent=[7:27 - 7:31]
423*15c1e368STed Kremenek // CHECK: 7:27: UnexposedExpr= Extent=[7:27 - 7:31]
424*15c1e368STed Kremenek // CHECK: 8:9: UnexposedExpr= Extent=[8:9 - 8:33]
425*15c1e368STed Kremenek // CHECK: 8:9: UnexposedExpr= Extent=[8:9 - 8:19]
426*15c1e368STed Kremenek // CHECK: 8:9: DeclRefExpr=c:2:14 Extent=[8:9 - 8:10]
427*15c1e368STed Kremenek // CHECK: 8:14: UnexposedExpr= Extent=[8:14 - 8:19]
428*15c1e368STed Kremenek // CHECK: 8:14: UnexposedExpr= Extent=[8:14 - 8:19]
429*15c1e368STed Kremenek // CHECK: 8:23: UnexposedExpr= Extent=[8:23 - 8:33]
430*15c1e368STed Kremenek // CHECK: 8:23: DeclRefExpr=c:2:14 Extent=[8:23 - 8:24]
431*15c1e368STed Kremenek // CHECK: 8:28: UnexposedExpr= Extent=[8:28 - 8:33]
432*15c1e368STed Kremenek // CHECK: 8:28: UnexposedExpr= Extent=[8:28 - 8:33]
433*15c1e368STed Kremenek // CHECK: 9:9: UnexposedExpr= Extent=[9:9 - 9:33]
434*15c1e368STed Kremenek // CHECK: 9:9: UnexposedExpr= Extent=[9:9 - 9:19]
435*15c1e368STed Kremenek // CHECK: 9:9: DeclRefExpr=c:2:14 Extent=[9:9 - 9:10]
436*15c1e368STed Kremenek // CHECK: 9:14: UnexposedExpr= Extent=[9:14 - 9:19]
437*15c1e368STed Kremenek // CHECK: 9:14: UnexposedExpr= Extent=[9:14 - 9:19]
438*15c1e368STed Kremenek // CHECK: 9:23: UnexposedExpr= Extent=[9:23 - 9:33]
439*15c1e368STed Kremenek // CHECK: 9:23: DeclRefExpr=c:2:14 Extent=[9:23 - 9:24]
440*15c1e368STed Kremenek // CHECK: 9:28: UnexposedExpr= Extent=[9:28 - 9:33]
441*15c1e368STed Kremenek // CHECK: 9:28: UnexposedExpr= Extent=[9:28 - 9:33]
442*15c1e368STed Kremenek // CHECK: 10:9: UnexposedExpr= Extent=[10:9 - 10:33]
443*15c1e368STed Kremenek // CHECK: 10:9: UnexposedExpr= Extent=[10:9 - 10:19]
444*15c1e368STed Kremenek // CHECK: 10:9: DeclRefExpr=c:2:14 Extent=[10:9 - 10:10]
445*15c1e368STed Kremenek // CHECK: 10:14: UnexposedExpr= Extent=[10:14 - 10:19]
446*15c1e368STed Kremenek // CHECK: 10:14: UnexposedExpr= Extent=[10:14 - 10:19]
447*15c1e368STed Kremenek // CHECK: 10:23: UnexposedExpr= Extent=[10:23 - 10:33]
448*15c1e368STed Kremenek // CHECK: 10:23: DeclRefExpr=c:2:14 Extent=[10:23 - 10:24]
449*15c1e368STed Kremenek // CHECK: 10:28: UnexposedExpr= Extent=[10:28 - 10:33]
450*15c1e368STed Kremenek // CHECK: 10:28: UnexposedExpr= Extent=[10:28 - 10:33]
451*15c1e368STed Kremenek // CHECK: 11:9: UnexposedExpr= Extent=[11:9 - 11:33]
452*15c1e368STed Kremenek // CHECK: 11:9: UnexposedExpr= Extent=[11:9 - 11:19]
453*15c1e368STed Kremenek // CHECK: 11:9: DeclRefExpr=c:2:14 Extent=[11:9 - 11:10]
454*15c1e368STed Kremenek // CHECK: 11:14: UnexposedExpr= Extent=[11:14 - 11:19]
455*15c1e368STed Kremenek // CHECK: 11:14: UnexposedExpr= Extent=[11:14 - 11:19]
456*15c1e368STed Kremenek // CHECK: 11:23: UnexposedExpr= Extent=[11:23 - 11:33]
457*15c1e368STed Kremenek // CHECK: 11:23: DeclRefExpr=c:2:14 Extent=[11:23 - 11:24]
458*15c1e368STed Kremenek // CHECK: 11:28: UnexposedExpr= Extent=[11:28 - 11:33]
459*15c1e368STed Kremenek // CHECK: 11:28: UnexposedExpr= Extent=[11:28 - 11:33]
460*15c1e368STed Kremenek // CHECK: 12:9: UnexposedExpr= Extent=[12:9 - 12:33]
461*15c1e368STed Kremenek // CHECK: 12:9: UnexposedExpr= Extent=[12:9 - 12:19]
462*15c1e368STed Kremenek // CHECK: 12:9: DeclRefExpr=c:2:14 Extent=[12:9 - 12:10]
463*15c1e368STed Kremenek // CHECK: 12:14: UnexposedExpr= Extent=[12:14 - 12:19]
464*15c1e368STed Kremenek // CHECK: 12:14: UnexposedExpr= Extent=[12:14 - 12:19]
465*15c1e368STed Kremenek // CHECK: 12:23: UnexposedExpr= Extent=[12:23 - 12:33]
466*15c1e368STed Kremenek // CHECK: 12:23: DeclRefExpr=c:2:14 Extent=[12:23 - 12:24]
467*15c1e368STed Kremenek // CHECK: 12:28: UnexposedExpr= Extent=[12:28 - 12:33]
468*15c1e368STed Kremenek // CHECK: 12:28: UnexposedExpr= Extent=[12:28 - 12:33]
469*15c1e368STed Kremenek // CHECK: 13:9: UnexposedExpr= Extent=[13:9 - 13:33]
470*15c1e368STed Kremenek // CHECK: 13:9: UnexposedExpr= Extent=[13:9 - 13:19]
471*15c1e368STed Kremenek // CHECK: 13:9: DeclRefExpr=c:2:14 Extent=[13:9 - 13:10]
472*15c1e368STed Kremenek // CHECK: 13:14: UnexposedExpr= Extent=[13:14 - 13:19]
473*15c1e368STed Kremenek // CHECK: 13:14: UnexposedExpr= Extent=[13:14 - 13:19]
474*15c1e368STed Kremenek // CHECK: 13:23: UnexposedExpr= Extent=[13:23 - 13:33]
475*15c1e368STed Kremenek // CHECK: 13:23: DeclRefExpr=c:2:14 Extent=[13:23 - 13:24]
476*15c1e368STed Kremenek // CHECK: 13:28: UnexposedExpr= Extent=[13:28 - 13:33]
477*15c1e368STed Kremenek // CHECK: 13:28: UnexposedExpr= Extent=[13:28 - 13:33]
478*15c1e368STed Kremenek // CHECK: 14:9: UnexposedExpr= Extent=[14:9 - 14:33]
479*15c1e368STed Kremenek // CHECK: 14:9: UnexposedExpr= Extent=[14:9 - 14:19]
480*15c1e368STed Kremenek // CHECK: 14:9: DeclRefExpr=c:2:14 Extent=[14:9 - 14:10]
481*15c1e368STed Kremenek // CHECK: 14:14: UnexposedExpr= Extent=[14:14 - 14:19]
482*15c1e368STed Kremenek // CHECK: 14:14: UnexposedExpr= Extent=[14:14 - 14:19]
483*15c1e368STed Kremenek // CHECK: 14:23: UnexposedExpr= Extent=[14:23 - 14:33]
484*15c1e368STed Kremenek // CHECK: 14:23: DeclRefExpr=c:2:14 Extent=[14:23 - 14:24]
485*15c1e368STed Kremenek // CHECK: 14:28: UnexposedExpr= Extent=[14:28 - 14:33]
486*15c1e368STed Kremenek // CHECK: 14:28: UnexposedExpr= Extent=[14:28 - 14:33]
487*15c1e368STed Kremenek // CHECK: 15:9: UnexposedExpr= Extent=[15:9 - 15:33]
488*15c1e368STed Kremenek // CHECK: 15:9: UnexposedExpr= Extent=[15:9 - 15:19]
489*15c1e368STed Kremenek // CHECK: 15:9: DeclRefExpr=c:2:14 Extent=[15:9 - 15:10]
490*15c1e368STed Kremenek // CHECK: 15:14: UnexposedExpr= Extent=[15:14 - 15:19]
491*15c1e368STed Kremenek // CHECK: 15:14: UnexposedExpr= Extent=[15:14 - 15:19]
492*15c1e368STed Kremenek // CHECK: 15:23: UnexposedExpr= Extent=[15:23 - 15:33]
493*15c1e368STed Kremenek // CHECK: 15:23: DeclRefExpr=c:2:14 Extent=[15:23 - 15:24]
494*15c1e368STed Kremenek // CHECK: 15:28: UnexposedExpr= Extent=[15:28 - 15:33]
495*15c1e368STed Kremenek // CHECK: 15:28: UnexposedExpr= Extent=[15:28 - 15:33]
496*15c1e368STed Kremenek // CHECK: 16:9: UnexposedExpr= Extent=[16:9 - 16:33]
497*15c1e368STed Kremenek // CHECK: 16:9: UnexposedExpr= Extent=[16:9 - 16:19]
498*15c1e368STed Kremenek // CHECK: 16:9: DeclRefExpr=c:2:14 Extent=[16:9 - 16:10]
499*15c1e368STed Kremenek // CHECK: 16:14: UnexposedExpr= Extent=[16:14 - 16:19]
500*15c1e368STed Kremenek // CHECK: 16:14: UnexposedExpr= Extent=[16:14 - 16:19]
501*15c1e368STed Kremenek // CHECK: 16:23: UnexposedExpr= Extent=[16:23 - 16:33]
502*15c1e368STed Kremenek // CHECK: 16:23: DeclRefExpr=c:2:14 Extent=[16:23 - 16:24]
503*15c1e368STed Kremenek // CHECK: 16:28: UnexposedExpr= Extent=[16:28 - 16:33]
504*15c1e368STed Kremenek // CHECK: 16:28: UnexposedExpr= Extent=[16:28 - 16:33]
505*15c1e368STed Kremenek // CHECK: 17:9: UnexposedExpr= Extent=[17:9 - 17:33]
506*15c1e368STed Kremenek // CHECK: 17:9: UnexposedExpr= Extent=[17:9 - 17:19]
507*15c1e368STed Kremenek // CHECK: 17:9: DeclRefExpr=c:2:14 Extent=[17:9 - 17:10]
508*15c1e368STed Kremenek // CHECK: 17:14: UnexposedExpr= Extent=[17:14 - 17:19]
509*15c1e368STed Kremenek // CHECK: 17:14: UnexposedExpr= Extent=[17:14 - 17:19]
510*15c1e368STed Kremenek // CHECK: 17:23: UnexposedExpr= Extent=[17:23 - 17:33]
511*15c1e368STed Kremenek // CHECK: 17:23: DeclRefExpr=c:2:14 Extent=[17:23 - 17:24]
512*15c1e368STed Kremenek // CHECK: 17:28: UnexposedExpr= Extent=[17:28 - 17:33]
513*15c1e368STed Kremenek // CHECK: 17:28: UnexposedExpr= Extent=[17:28 - 17:33]
514*15c1e368STed Kremenek // CHECK: 18:8: UnexposedExpr= Extent=[18:8 - 18:18]
515*15c1e368STed Kremenek // CHECK: 18:8: DeclRefExpr=c:2:14 Extent=[18:8 - 18:9]
516*15c1e368STed Kremenek // CHECK: 18:13: UnexposedExpr= Extent=[18:13 - 18:18]
517*15c1e368STed Kremenek // CHECK: 18:13: UnexposedExpr= Extent=[18:13 - 18:18]
518*15c1e368STed Kremenek // CHECK: 18:23: UnexposedExpr= Extent=[18:23 - 18:47]
519*15c1e368STed Kremenek // CHECK: 18:23: UnexposedExpr= Extent=[18:23 - 18:33]
520*15c1e368STed Kremenek // CHECK: 18:23: DeclRefExpr=c:2:14 Extent=[18:23 - 18:24]
521*15c1e368STed Kremenek // CHECK: 18:28: UnexposedExpr= Extent=[18:28 - 18:33]
522*15c1e368STed Kremenek // CHECK: 18:28: UnexposedExpr= Extent=[18:28 - 18:33]
523*15c1e368STed Kremenek // CHECK: 18:37: UnexposedExpr= Extent=[18:37 - 18:47]
524*15c1e368STed Kremenek // CHECK: 18:37: DeclRefExpr=c:2:14 Extent=[18:37 - 18:38]
525*15c1e368STed Kremenek // CHECK: 18:42: UnexposedExpr= Extent=[18:42 - 18:47]
526*15c1e368STed Kremenek // CHECK: 18:42: UnexposedExpr= Extent=[18:42 - 18:47]
527*15c1e368STed Kremenek // CHECK: 19:8: UnexposedExpr= Extent=[19:8 - 19:18]
528*15c1e368STed Kremenek // CHECK: 19:8: DeclRefExpr=c:2:14 Extent=[19:8 - 19:9]
529*15c1e368STed Kremenek // CHECK: 19:13: UnexposedExpr= Extent=[19:13 - 19:18]
530*15c1e368STed Kremenek // CHECK: 19:13: UnexposedExpr= Extent=[19:13 - 19:18]
531*15c1e368STed Kremenek // CHECK: 19:23: UnexposedExpr= Extent=[19:23 - 19:47]
532*15c1e368STed Kremenek // CHECK: 19:23: UnexposedExpr= Extent=[19:23 - 19:33]
533*15c1e368STed Kremenek // CHECK: 19:23: DeclRefExpr=c:2:14 Extent=[19:23 - 19:24]
534*15c1e368STed Kremenek // CHECK: 19:28: UnexposedExpr= Extent=[19:28 - 19:33]
535*15c1e368STed Kremenek // CHECK: 19:28: UnexposedExpr= Extent=[19:28 - 19:33]
536*15c1e368STed Kremenek // CHECK: 19:37: UnexposedExpr= Extent=[19:37 - 19:47]
537*15c1e368STed Kremenek // CHECK: 19:37: DeclRefExpr=c:2:14 Extent=[19:37 - 19:38]
538*15c1e368STed Kremenek // CHECK: 19:42: UnexposedExpr= Extent=[19:42 - 19:47]
539*15c1e368STed Kremenek // CHECK: 19:42: UnexposedExpr= Extent=[19:42 - 19:47]
540*15c1e368STed Kremenek // CHECK: 20:9: UnexposedExpr= Extent=[20:9 - 20:33]
541*15c1e368STed Kremenek // CHECK: 20:9: UnexposedExpr= Extent=[20:9 - 20:19]
542*15c1e368STed Kremenek // CHECK: 20:9: DeclRefExpr=c:2:14 Extent=[20:9 - 20:10]
543*15c1e368STed Kremenek // CHECK: 20:14: UnexposedExpr= Extent=[20:14 - 20:19]
544*15c1e368STed Kremenek // CHECK: 20:14: UnexposedExpr= Extent=[20:14 - 20:19]
545*15c1e368STed Kremenek // CHECK: 20:23: UnexposedExpr= Extent=[20:23 - 20:33]
546*15c1e368STed Kremenek // CHECK: 20:23: DeclRefExpr=c:2:14 Extent=[20:23 - 20:24]
547*15c1e368STed Kremenek // CHECK: 20:28: UnexposedExpr= Extent=[20:28 - 20:33]
548*15c1e368STed Kremenek // CHECK: 20:28: UnexposedExpr= Extent=[20:28 - 20:33]
549*15c1e368STed Kremenek // CHECK: 21:9: UnexposedExpr= Extent=[21:9 - 21:33]
550*15c1e368STed Kremenek // CHECK: 21:9: UnexposedExpr= Extent=[21:9 - 21:19]
551*15c1e368STed Kremenek // CHECK: 21:9: DeclRefExpr=c:2:14 Extent=[21:9 - 21:10]
552*15c1e368STed Kremenek // CHECK: 21:14: UnexposedExpr= Extent=[21:14 - 21:19]
553*15c1e368STed Kremenek // CHECK: 21:14: UnexposedExpr= Extent=[21:14 - 21:19]
554*15c1e368STed Kremenek // CHECK: 21:23: UnexposedExpr= Extent=[21:23 - 21:33]
555*15c1e368STed Kremenek // CHECK: 21:23: DeclRefExpr=c:2:14 Extent=[21:23 - 21:24]
556*15c1e368STed Kremenek // CHECK: 21:28: UnexposedExpr= Extent=[21:28 - 21:33]
557*15c1e368STed Kremenek // CHECK: 21:28: UnexposedExpr= Extent=[21:28 - 21:33]
558*15c1e368STed Kremenek // CHECK: 22:8: UnexposedExpr= Extent=[22:8 - 22:18]
559*15c1e368STed Kremenek // CHECK: 22:8: DeclRefExpr=c:2:14 Extent=[22:8 - 22:9]
560*15c1e368STed Kremenek // CHECK: 22:13: UnexposedExpr= Extent=[22:13 - 22:18]
561*15c1e368STed Kremenek // CHECK: 22:13: UnexposedExpr= Extent=[22:13 - 22:18]
562*15c1e368STed Kremenek // CHECK: 22:22: UnexposedExpr= Extent=[22:22 - 22:32]
563*15c1e368STed Kremenek // CHECK: 22:22: DeclRefExpr=c:2:14 Extent=[22:22 - 22:23]
564*15c1e368STed Kremenek // CHECK: 22:27: UnexposedExpr= Extent=[22:27 - 22:32]
565*15c1e368STed Kremenek // CHECK: 22:27: UnexposedExpr= Extent=[22:27 - 22:32]
566*15c1e368STed Kremenek // CHECK: 22:36: UnexposedExpr= Extent=[22:36 - 22:46]
567*15c1e368STed Kremenek // CHECK: 22:36: DeclRefExpr=c:2:14 Extent=[22:36 - 22:37]
568*15c1e368STed Kremenek // CHECK: 22:41: UnexposedExpr= Extent=[22:41 - 22:46]
569*15c1e368STed Kremenek // CHECK: 22:41: UnexposedExpr= Extent=[22:41 - 22:46]
570*15c1e368STed Kremenek // CHECK: 23:5: UnexposedExpr= Extent=[23:5 - 23:15]
571*15c1e368STed Kremenek // CHECK: 23:5: DeclRefExpr=c:2:14 Extent=[23:5 - 23:6]
572*15c1e368STed Kremenek // CHECK: 23:10: UnexposedExpr= Extent=[23:10 - 23:15]
573*15c1e368STed Kremenek // CHECK: 23:10: UnexposedExpr= Extent=[23:10 - 23:15]
574*15c1e368STed Kremenek // CHECK: 23:20: UnexposedExpr= Extent=[23:20 - 23:44]
575*15c1e368STed Kremenek // CHECK: 23:20: UnexposedExpr= Extent=[23:20 - 23:30]
576*15c1e368STed Kremenek // CHECK: 23:20: DeclRefExpr=c:2:14 Extent=[23:20 - 23:21]
577*15c1e368STed Kremenek // CHECK: 23:25: UnexposedExpr= Extent=[23:25 - 23:30]
578*15c1e368STed Kremenek // CHECK: 23:25: UnexposedExpr= Extent=[23:25 - 23:30]
579*15c1e368STed Kremenek // CHECK: 23:34: UnexposedExpr= Extent=[23:34 - 23:44]
580*15c1e368STed Kremenek // CHECK: 23:34: DeclRefExpr=c:2:14 Extent=[23:34 - 23:35]
581*15c1e368STed Kremenek // CHECK: 23:39: UnexposedExpr= Extent=[23:39 - 23:44]
582*15c1e368STed Kremenek // CHECK: 23:39: UnexposedExpr= Extent=[23:39 - 23:44]
583*15c1e368STed Kremenek // CHECK: 24:9: UnexposedExpr= Extent=[24:9 - 24:33]
584*15c1e368STed Kremenek // CHECK: 24:9: UnexposedExpr= Extent=[24:9 - 24:19]
585*15c1e368STed Kremenek // CHECK: 24:9: DeclRefExpr=c:2:14 Extent=[24:9 - 24:10]
586*15c1e368STed Kremenek // CHECK: 24:14: UnexposedExpr= Extent=[24:14 - 24:19]
587*15c1e368STed Kremenek // CHECK: 24:14: UnexposedExpr= Extent=[24:14 - 24:19]
588*15c1e368STed Kremenek // CHECK: 24:23: UnexposedExpr= Extent=[24:23 - 24:33]
589*15c1e368STed Kremenek // CHECK: 24:23: DeclRefExpr=c:2:14 Extent=[24:23 - 24:24]
590*15c1e368STed Kremenek // CHECK: 24:28: UnexposedExpr= Extent=[24:28 - 24:33]
591*15c1e368STed Kremenek // CHECK: 24:28: UnexposedExpr= Extent=[24:28 - 24:33]
592*15c1e368STed Kremenek // CHECK: 25:9: UnexposedExpr= Extent=[25:9 - 25:33]
593*15c1e368STed Kremenek // CHECK: 25:9: UnexposedExpr= Extent=[25:9 - 25:19]
594*15c1e368STed Kremenek // CHECK: 25:9: DeclRefExpr=c:2:14 Extent=[25:9 - 25:10]
595*15c1e368STed Kremenek // CHECK: 25:14: UnexposedExpr= Extent=[25:14 - 25:19]
596*15c1e368STed Kremenek // CHECK: 25:14: UnexposedExpr= Extent=[25:14 - 25:19]
597*15c1e368STed Kremenek // CHECK: 25:23: UnexposedExpr= Extent=[25:23 - 25:33]
598*15c1e368STed Kremenek // CHECK: 25:23: DeclRefExpr=c:2:14 Extent=[25:23 - 25:24]
599*15c1e368STed Kremenek // CHECK: 25:28: UnexposedExpr= Extent=[25:28 - 25:33]
600*15c1e368STed Kremenek // CHECK: 25:28: UnexposedExpr= Extent=[25:28 - 25:33]
601*15c1e368STed Kremenek // CHECK: 26:9: UnexposedExpr= Extent=[26:9 - 26:33]
602*15c1e368STed Kremenek // CHECK: 26:9: UnexposedExpr= Extent=[26:9 - 26:19]
603*15c1e368STed Kremenek // CHECK: 26:9: DeclRefExpr=c:2:14 Extent=[26:9 - 26:10]
604*15c1e368STed Kremenek // CHECK: 26:14: UnexposedExpr= Extent=[26:14 - 26:19]
605*15c1e368STed Kremenek // CHECK: 26:14: UnexposedExpr= Extent=[26:14 - 26:19]
606*15c1e368STed Kremenek // CHECK: 26:23: UnexposedExpr= Extent=[26:23 - 26:33]
607*15c1e368STed Kremenek // CHECK: 26:23: DeclRefExpr=c:2:14 Extent=[26:23 - 26:24]
608*15c1e368STed Kremenek // CHECK: 26:28: UnexposedExpr= Extent=[26:28 - 26:33]
609*15c1e368STed Kremenek // CHECK: 26:28: UnexposedExpr= Extent=[26:28 - 26:33]
610*15c1e368STed Kremenek // CHECK: 27:9: UnexposedExpr= Extent=[27:9 - 27:33]
611*15c1e368STed Kremenek // CHECK: 27:9: UnexposedExpr= Extent=[27:9 - 27:19]
612*15c1e368STed Kremenek // CHECK: 27:9: DeclRefExpr=c:2:14 Extent=[27:9 - 27:10]
613*15c1e368STed Kremenek // CHECK: 27:14: UnexposedExpr= Extent=[27:14 - 27:19]
614*15c1e368STed Kremenek // CHECK: 27:14: UnexposedExpr= Extent=[27:14 - 27:19]
615*15c1e368STed Kremenek // CHECK: 27:23: UnexposedExpr= Extent=[27:23 - 27:33]
616*15c1e368STed Kremenek // CHECK: 27:23: DeclRefExpr=c:2:14 Extent=[27:23 - 27:24]
617*15c1e368STed Kremenek // CHECK: 27:28: UnexposedExpr= Extent=[27:28 - 27:33]
618*15c1e368STed Kremenek // CHECK: 27:28: UnexposedExpr= Extent=[27:28 - 27:33]
619*15c1e368STed Kremenek // CHECK: 28:9: UnexposedExpr= Extent=[28:9 - 28:33]
620*15c1e368STed Kremenek // CHECK: 28:9: UnexposedExpr= Extent=[28:9 - 28:19]
621*15c1e368STed Kremenek // CHECK: 28:9: DeclRefExpr=c:2:14 Extent=[28:9 - 28:10]
622*15c1e368STed Kremenek // CHECK: 28:14: UnexposedExpr= Extent=[28:14 - 28:19]
623*15c1e368STed Kremenek // CHECK: 28:14: UnexposedExpr= Extent=[28:14 - 28:19]
624*15c1e368STed Kremenek // CHECK: 28:23: UnexposedExpr= Extent=[28:23 - 28:33]
625*15c1e368STed Kremenek // CHECK: 28:23: DeclRefExpr=c:2:14 Extent=[28:23 - 28:24]
626*15c1e368STed Kremenek // CHECK: 28:28: UnexposedExpr= Extent=[28:28 - 28:33]
627*15c1e368STed Kremenek // CHECK: 28:28: UnexposedExpr= Extent=[28:28 - 28:33]
628*15c1e368STed Kremenek // CHECK: 29:9: UnexposedExpr= Extent=[29:9 - 29:33]
629*15c1e368STed Kremenek // CHECK: 29:9: UnexposedExpr= Extent=[29:9 - 29:19]
630*15c1e368STed Kremenek // CHECK: 29:9: DeclRefExpr=c:2:14 Extent=[29:9 - 29:10]
631*15c1e368STed Kremenek // CHECK: 29:14: UnexposedExpr= Extent=[29:14 - 29:19]
632*15c1e368STed Kremenek // CHECK: 29:14: UnexposedExpr= Extent=[29:14 - 29:19]
633*15c1e368STed Kremenek // CHECK: 29:23: UnexposedExpr= Extent=[29:23 - 29:33]
634*15c1e368STed Kremenek // CHECK: 29:23: DeclRefExpr=c:2:14 Extent=[29:23 - 29:24]
635*15c1e368STed Kremenek // CHECK: 29:28: UnexposedExpr= Extent=[29:28 - 29:33]
636*15c1e368STed Kremenek // CHECK: 29:28: UnexposedExpr= Extent=[29:28 - 29:33]
637*15c1e368STed Kremenek // CHECK: 30:9: UnexposedExpr= Extent=[30:9 - 30:33]
638*15c1e368STed Kremenek // CHECK: 30:9: UnexposedExpr= Extent=[30:9 - 30:19]
639*15c1e368STed Kremenek // CHECK: 30:9: DeclRefExpr=c:2:14 Extent=[30:9 - 30:10]
640*15c1e368STed Kremenek // CHECK: 30:14: UnexposedExpr= Extent=[30:14 - 30:19]
641*15c1e368STed Kremenek // CHECK: 30:14: UnexposedExpr= Extent=[30:14 - 30:19]
642*15c1e368STed Kremenek // CHECK: 30:23: UnexposedExpr= Extent=[30:23 - 30:33]
643*15c1e368STed Kremenek // CHECK: 30:23: DeclRefExpr=c:2:14 Extent=[30:23 - 30:24]
644*15c1e368STed Kremenek // CHECK: 30:28: UnexposedExpr= Extent=[30:28 - 30:33]
645*15c1e368STed Kremenek // CHECK: 30:28: UnexposedExpr= Extent=[30:28 - 30:33]
646*15c1e368STed Kremenek // CHECK: 31:9: UnexposedExpr= Extent=[31:9 - 31:33]
647*15c1e368STed Kremenek // CHECK: 31:9: UnexposedExpr= Extent=[31:9 - 31:19]
648*15c1e368STed Kremenek // CHECK: 31:9: DeclRefExpr=c:2:14 Extent=[31:9 - 31:10]
649*15c1e368STed Kremenek // CHECK: 31:14: UnexposedExpr= Extent=[31:14 - 31:19]
650*15c1e368STed Kremenek // CHECK: 31:14: UnexposedExpr= Extent=[31:14 - 31:19]
651*15c1e368STed Kremenek // CHECK: 31:23: UnexposedExpr= Extent=[31:23 - 31:33]
652*15c1e368STed Kremenek // CHECK: 31:23: DeclRefExpr=c:2:14 Extent=[31:23 - 31:24]
653*15c1e368STed Kremenek // CHECK: 31:28: UnexposedExpr= Extent=[31:28 - 31:33]
654*15c1e368STed Kremenek // CHECK: 31:28: UnexposedExpr= Extent=[31:28 - 31:33]
655*15c1e368STed Kremenek // CHECK: 32:9: UnexposedExpr= Extent=[32:9 - 32:33]
656*15c1e368STed Kremenek // CHECK: 32:9: UnexposedExpr= Extent=[32:9 - 32:19]
657*15c1e368STed Kremenek // CHECK: 32:9: DeclRefExpr=c:2:14 Extent=[32:9 - 32:10]
658*15c1e368STed Kremenek // CHECK: 32:14: UnexposedExpr= Extent=[32:14 - 32:19]
659*15c1e368STed Kremenek // CHECK: 32:14: UnexposedExpr= Extent=[32:14 - 32:19]
660*15c1e368STed Kremenek // CHECK: 32:23: UnexposedExpr= Extent=[32:23 - 32:33]
661*15c1e368STed Kremenek // CHECK: 32:23: DeclRefExpr=c:2:14 Extent=[32:23 - 32:24]
662*15c1e368STed Kremenek // CHECK: 32:28: UnexposedExpr= Extent=[32:28 - 32:33]
663*15c1e368STed Kremenek // CHECK: 32:28: UnexposedExpr= Extent=[32:28 - 32:33]
664*15c1e368STed Kremenek // CHECK: 33:9: UnexposedExpr= Extent=[33:9 - 33:33]
665*15c1e368STed Kremenek // CHECK: 33:9: UnexposedExpr= Extent=[33:9 - 33:19]
666*15c1e368STed Kremenek // CHECK: 33:9: DeclRefExpr=c:2:14 Extent=[33:9 - 33:10]
667*15c1e368STed Kremenek // CHECK: 33:14: UnexposedExpr= Extent=[33:14 - 33:19]
668*15c1e368STed Kremenek // CHECK: 33:14: UnexposedExpr= Extent=[33:14 - 33:19]
669*15c1e368STed Kremenek // CHECK: 33:23: UnexposedExpr= Extent=[33:23 - 33:33]
670*15c1e368STed Kremenek // CHECK: 33:23: DeclRefExpr=c:2:14 Extent=[33:23 - 33:24]
671*15c1e368STed Kremenek // CHECK: 33:28: UnexposedExpr= Extent=[33:28 - 33:33]
672*15c1e368STed Kremenek // CHECK: 33:28: UnexposedExpr= Extent=[33:28 - 33:33]
673*15c1e368STed Kremenek // CHECK: 34:9: UnexposedExpr= Extent=[34:9 - 34:33]
674*15c1e368STed Kremenek // CHECK: 34:9: UnexposedExpr= Extent=[34:9 - 34:19]
675*15c1e368STed Kremenek // CHECK: 34:9: DeclRefExpr=c:2:14 Extent=[34:9 - 34:10]
676*15c1e368STed Kremenek // CHECK: 34:14: UnexposedExpr= Extent=[34:14 - 34:19]
677*15c1e368STed Kremenek // CHECK: 34:14: UnexposedExpr= Extent=[34:14 - 34:19]
678*15c1e368STed Kremenek // CHECK: 34:23: UnexposedExpr= Extent=[34:23 - 34:33]
679*15c1e368STed Kremenek // CHECK: 34:23: DeclRefExpr=c:2:14 Extent=[34:23 - 34:24]
680*15c1e368STed Kremenek // CHECK: 34:28: UnexposedExpr= Extent=[34:28 - 34:33]
681*15c1e368STed Kremenek // CHECK: 34:28: UnexposedExpr= Extent=[34:28 - 34:33]
682*15c1e368STed Kremenek // CHECK: 35:8: UnexposedExpr= Extent=[35:8 - 35:18]
683*15c1e368STed Kremenek // CHECK: 35:8: DeclRefExpr=c:2:14 Extent=[35:8 - 35:9]
684*15c1e368STed Kremenek // CHECK: 35:13: UnexposedExpr= Extent=[35:13 - 35:18]
685*15c1e368STed Kremenek // CHECK: 35:13: UnexposedExpr= Extent=[35:13 - 35:18]
686*15c1e368STed Kremenek // CHECK: 35:23: UnexposedExpr= Extent=[35:23 - 35:47]
687*15c1e368STed Kremenek // CHECK: 35:23: UnexposedExpr= Extent=[35:23 - 35:33]
688*15c1e368STed Kremenek // CHECK: 35:23: DeclRefExpr=c:2:14 Extent=[35:23 - 35:24]
689*15c1e368STed Kremenek // CHECK: 35:28: UnexposedExpr= Extent=[35:28 - 35:33]
690*15c1e368STed Kremenek // CHECK: 35:28: UnexposedExpr= Extent=[35:28 - 35:33]
691*15c1e368STed Kremenek // CHECK: 35:37: UnexposedExpr= Extent=[35:37 - 35:47]
692*15c1e368STed Kremenek // CHECK: 35:37: DeclRefExpr=c:2:14 Extent=[35:37 - 35:38]
693*15c1e368STed Kremenek // CHECK: 35:42: UnexposedExpr= Extent=[35:42 - 35:47]
694*15c1e368STed Kremenek // CHECK: 35:42: UnexposedExpr= Extent=[35:42 - 35:47]
695*15c1e368STed Kremenek // CHECK: 36:9: UnexposedExpr= Extent=[36:9 - 36:33]
696*15c1e368STed Kremenek // CHECK: 36:9: UnexposedExpr= Extent=[36:9 - 36:19]
697*15c1e368STed Kremenek // CHECK: 36:9: DeclRefExpr=c:2:14 Extent=[36:9 - 36:10]
698*15c1e368STed Kremenek // CHECK: 36:14: UnexposedExpr= Extent=[36:14 - 36:19]
699*15c1e368STed Kremenek // CHECK: 36:14: UnexposedExpr= Extent=[36:14 - 36:19]
700*15c1e368STed Kremenek // CHECK: 36:23: UnexposedExpr= Extent=[36:23 - 36:33]
701*15c1e368STed Kremenek // CHECK: 36:23: DeclRefExpr=c:2:14 Extent=[36:23 - 36:24]
702*15c1e368STed Kremenek // CHECK: 36:28: UnexposedExpr= Extent=[36:28 - 36:33]
703*15c1e368STed Kremenek // CHECK: 36:28: UnexposedExpr= Extent=[36:28 - 36:33]
704*15c1e368STed Kremenek // CHECK: 37:9: UnexposedExpr= Extent=[37:9 - 37:33]
705*15c1e368STed Kremenek // CHECK: 37:9: UnexposedExpr= Extent=[37:9 - 37:19]
706*15c1e368STed Kremenek // CHECK: 37:9: DeclRefExpr=c:2:14 Extent=[37:9 - 37:10]
707*15c1e368STed Kremenek // CHECK: 37:14: UnexposedExpr= Extent=[37:14 - 37:19]
708*15c1e368STed Kremenek // CHECK: 37:14: UnexposedExpr= Extent=[37:14 - 37:19]
709*15c1e368STed Kremenek // CHECK: 37:23: UnexposedExpr= Extent=[37:23 - 37:33]
710*15c1e368STed Kremenek // CHECK: 37:23: DeclRefExpr=c:2:14 Extent=[37:23 - 37:24]
711*15c1e368STed Kremenek // CHECK: 37:28: UnexposedExpr= Extent=[37:28 - 37:33]
712*15c1e368STed Kremenek // CHECK: 37:28: UnexposedExpr= Extent=[37:28 - 37:33]
713*15c1e368STed Kremenek // CHECK: 38:9: UnexposedExpr= Extent=[38:9 - 38:33]
714*15c1e368STed Kremenek // CHECK: 38:9: UnexposedExpr= Extent=[38:9 - 38:19]
715*15c1e368STed Kremenek // CHECK: 38:9: DeclRefExpr=c:2:14 Extent=[38:9 - 38:10]
716*15c1e368STed Kremenek // CHECK: 38:14: UnexposedExpr= Extent=[38:14 - 38:19]
717*15c1e368STed Kremenek // CHECK: 38:14: UnexposedExpr= Extent=[38:14 - 38:19]
718*15c1e368STed Kremenek // CHECK: 38:23: UnexposedExpr= Extent=[38:23 - 38:33]
719*15c1e368STed Kremenek // CHECK: 38:23: DeclRefExpr=c:2:14 Extent=[38:23 - 38:24]
720*15c1e368STed Kremenek // CHECK: 38:28: UnexposedExpr= Extent=[38:28 - 38:33]
721*15c1e368STed Kremenek // CHECK: 38:28: UnexposedExpr= Extent=[38:28 - 38:33]
722*15c1e368STed Kremenek // CHECK: 39:9: UnexposedExpr= Extent=[39:9 - 39:33]
723*15c1e368STed Kremenek // CHECK: 39:9: UnexposedExpr= Extent=[39:9 - 39:19]
724*15c1e368STed Kremenek // CHECK: 39:9: DeclRefExpr=c:2:14 Extent=[39:9 - 39:10]
725*15c1e368STed Kremenek // CHECK: 39:14: UnexposedExpr= Extent=[39:14 - 39:19]
726*15c1e368STed Kremenek // CHECK: 39:14: UnexposedExpr= Extent=[39:14 - 39:19]
727*15c1e368STed Kremenek // CHECK: 39:23: UnexposedExpr= Extent=[39:23 - 39:33]
728*15c1e368STed Kremenek // CHECK: 39:23: DeclRefExpr=c:2:14 Extent=[39:23 - 39:24]
729*15c1e368STed Kremenek // CHECK: 39:28: UnexposedExpr= Extent=[39:28 - 39:33]
730*15c1e368STed Kremenek // CHECK: 39:28: UnexposedExpr= Extent=[39:28 - 39:33]
731*15c1e368STed Kremenek // CHECK: 40:9: UnexposedExpr= Extent=[40:9 - 40:33]
732*15c1e368STed Kremenek // CHECK: 40:9: UnexposedExpr= Extent=[40:9 - 40:19]
733*15c1e368STed Kremenek // CHECK: 40:9: DeclRefExpr=c:2:14 Extent=[40:9 - 40:10]
734*15c1e368STed Kremenek // CHECK: 40:14: UnexposedExpr= Extent=[40:14 - 40:19]
735*15c1e368STed Kremenek // CHECK: 40:14: UnexposedExpr= Extent=[40:14 - 40:19]
736*15c1e368STed Kremenek // CHECK: 40:23: UnexposedExpr= Extent=[40:23 - 40:33]
737*15c1e368STed Kremenek // CHECK: 40:23: DeclRefExpr=c:2:14 Extent=[40:23 - 40:24]
738*15c1e368STed Kremenek // CHECK: 40:28: UnexposedExpr= Extent=[40:28 - 40:33]
739*15c1e368STed Kremenek // CHECK: 40:28: UnexposedExpr= Extent=[40:28 - 40:33]
740*15c1e368STed Kremenek // CHECK: 41:9: UnexposedExpr= Extent=[41:9 - 41:33]
741*15c1e368STed Kremenek // CHECK: 41:9: UnexposedExpr= Extent=[41:9 - 41:19]
742*15c1e368STed Kremenek // CHECK: 41:9: DeclRefExpr=c:2:14 Extent=[41:9 - 41:10]
743*15c1e368STed Kremenek // CHECK: 41:14: UnexposedExpr= Extent=[41:14 - 41:19]
744*15c1e368STed Kremenek // CHECK: 41:14: UnexposedExpr= Extent=[41:14 - 41:19]
745*15c1e368STed Kremenek // CHECK: 41:23: UnexposedExpr= Extent=[41:23 - 41:33]
746*15c1e368STed Kremenek // CHECK: 41:23: DeclRefExpr=c:2:14 Extent=[41:23 - 41:24]
747*15c1e368STed Kremenek // CHECK: 41:28: UnexposedExpr= Extent=[41:28 - 41:33]
748*15c1e368STed Kremenek // CHECK: 41:28: UnexposedExpr= Extent=[41:28 - 41:33]
749*15c1e368STed Kremenek // CHECK: 42:9: UnexposedExpr= Extent=[42:9 - 42:33]
750*15c1e368STed Kremenek // CHECK: 42:9: UnexposedExpr= Extent=[42:9 - 42:19]
751*15c1e368STed Kremenek // CHECK: 42:9: DeclRefExpr=c:2:14 Extent=[42:9 - 42:10]
752*15c1e368STed Kremenek // CHECK: 42:14: UnexposedExpr= Extent=[42:14 - 42:19]
753*15c1e368STed Kremenek // CHECK: 42:14: UnexposedExpr= Extent=[42:14 - 42:19]
754*15c1e368STed Kremenek // CHECK: 42:23: UnexposedExpr= Extent=[42:23 - 42:33]
755*15c1e368STed Kremenek // CHECK: 42:23: DeclRefExpr=c:2:14 Extent=[42:23 - 42:24]
756*15c1e368STed Kremenek // CHECK: 42:28: UnexposedExpr= Extent=[42:28 - 42:33]
757*15c1e368STed Kremenek // CHECK: 42:28: UnexposedExpr= Extent=[42:28 - 42:33]
758*15c1e368STed Kremenek // CHECK: 43:9: UnexposedExpr= Extent=[43:9 - 43:33]
759*15c1e368STed Kremenek // CHECK: 43:9: UnexposedExpr= Extent=[43:9 - 43:19]
760*15c1e368STed Kremenek // CHECK: 43:9: DeclRefExpr=c:2:14 Extent=[43:9 - 43:10]
761*15c1e368STed Kremenek // CHECK: 43:14: UnexposedExpr= Extent=[43:14 - 43:19]
762*15c1e368STed Kremenek // CHECK: 43:14: UnexposedExpr= Extent=[43:14 - 43:19]
763*15c1e368STed Kremenek // CHECK: 43:23: UnexposedExpr= Extent=[43:23 - 43:33]
764*15c1e368STed Kremenek // CHECK: 43:23: DeclRefExpr=c:2:14 Extent=[43:23 - 43:24]
765*15c1e368STed Kremenek // CHECK: 43:28: UnexposedExpr= Extent=[43:28 - 43:33]
766*15c1e368STed Kremenek // CHECK: 43:28: UnexposedExpr= Extent=[43:28 - 43:33]
767*15c1e368STed Kremenek // CHECK: 44:8: UnexposedExpr= Extent=[44:8 - 44:18]
768*15c1e368STed Kremenek // CHECK: 44:8: DeclRefExpr=c:2:14 Extent=[44:8 - 44:9]
769*15c1e368STed Kremenek // CHECK: 44:13: UnexposedExpr= Extent=[44:13 - 44:18]
770*15c1e368STed Kremenek // CHECK: 44:13: UnexposedExpr= Extent=[44:13 - 44:18]
771*15c1e368STed Kremenek // CHECK: 44:23: UnexposedExpr= Extent=[44:23 - 44:47]
772*15c1e368STed Kremenek // CHECK: 44:23: UnexposedExpr= Extent=[44:23 - 44:33]
773*15c1e368STed Kremenek // CHECK: 44:23: DeclRefExpr=c:2:14 Extent=[44:23 - 44:24]
774*15c1e368STed Kremenek // CHECK: 44:28: UnexposedExpr= Extent=[44:28 - 44:33]
775*15c1e368STed Kremenek // CHECK: 44:28: UnexposedExpr= Extent=[44:28 - 44:33]
776*15c1e368STed Kremenek // CHECK: 44:37: UnexposedExpr= Extent=[44:37 - 44:47]
777*15c1e368STed Kremenek // CHECK: 44:37: DeclRefExpr=c:2:14 Extent=[44:37 - 44:38]
778*15c1e368STed Kremenek // CHECK: 44:42: UnexposedExpr= Extent=[44:42 - 44:47]
779*15c1e368STed Kremenek // CHECK: 44:42: UnexposedExpr= Extent=[44:42 - 44:47]
780*15c1e368STed Kremenek // CHECK: 45:9: UnexposedExpr= Extent=[45:9 - 45:33]
781*15c1e368STed Kremenek // CHECK: 45:9: UnexposedExpr= Extent=[45:9 - 45:19]
782*15c1e368STed Kremenek // CHECK: 45:9: DeclRefExpr=c:2:14 Extent=[45:9 - 45:10]
783*15c1e368STed Kremenek // CHECK: 45:14: UnexposedExpr= Extent=[45:14 - 45:19]
784*15c1e368STed Kremenek // CHECK: 45:14: UnexposedExpr= Extent=[45:14 - 45:19]
785*15c1e368STed Kremenek // CHECK: 45:23: UnexposedExpr= Extent=[45:23 - 45:33]
786*15c1e368STed Kremenek // CHECK: 45:23: DeclRefExpr=c:2:14 Extent=[45:23 - 45:24]
787*15c1e368STed Kremenek // CHECK: 45:28: UnexposedExpr= Extent=[45:28 - 45:33]
788*15c1e368STed Kremenek // CHECK: 45:28: UnexposedExpr= Extent=[45:28 - 45:33]
789*15c1e368STed Kremenek // CHECK: 46:8: UnexposedExpr= Extent=[46:8 - 46:18]
790*15c1e368STed Kremenek // CHECK: 46:8: DeclRefExpr=c:2:14 Extent=[46:8 - 46:9]
791*15c1e368STed Kremenek // CHECK: 46:13: UnexposedExpr= Extent=[46:13 - 46:18]
792*15c1e368STed Kremenek // CHECK: 46:13: UnexposedExpr= Extent=[46:13 - 46:18]
793*15c1e368STed Kremenek // CHECK: 46:23: UnexposedExpr= Extent=[46:23 - 46:47]
794*15c1e368STed Kremenek // CHECK: 46:23: UnexposedExpr= Extent=[46:23 - 46:33]
795*15c1e368STed Kremenek // CHECK: 46:23: DeclRefExpr=c:2:14 Extent=[46:23 - 46:24]
796*15c1e368STed Kremenek // CHECK: 46:28: UnexposedExpr= Extent=[46:28 - 46:33]
797*15c1e368STed Kremenek // CHECK: 46:28: UnexposedExpr= Extent=[46:28 - 46:33]
798*15c1e368STed Kremenek // CHECK: 46:37: UnexposedExpr= Extent=[46:37 - 46:47]
799*15c1e368STed Kremenek // CHECK: 46:37: DeclRefExpr=c:2:14 Extent=[46:37 - 46:38]
800*15c1e368STed Kremenek // CHECK: 46:42: UnexposedExpr= Extent=[46:42 - 46:47]
801*15c1e368STed Kremenek // CHECK: 46:42: UnexposedExpr= Extent=[46:42 - 46:47]
802*15c1e368STed Kremenek // CHECK: 47:9: UnexposedExpr= Extent=[47:9 - 47:33]
803*15c1e368STed Kremenek // CHECK: 47:9: UnexposedExpr= Extent=[47:9 - 47:19]
804*15c1e368STed Kremenek // CHECK: 47:9: DeclRefExpr=c:2:14 Extent=[47:9 - 47:10]
805*15c1e368STed Kremenek // CHECK: 47:14: UnexposedExpr= Extent=[47:14 - 47:19]
806*15c1e368STed Kremenek // CHECK: 47:14: UnexposedExpr= Extent=[47:14 - 47:19]
807*15c1e368STed Kremenek // CHECK: 47:23: UnexposedExpr= Extent=[47:23 - 47:33]
808*15c1e368STed Kremenek // CHECK: 47:23: DeclRefExpr=c:2:14 Extent=[47:23 - 47:24]
809*15c1e368STed Kremenek // CHECK: 47:28: UnexposedExpr= Extent=[47:28 - 47:33]
810*15c1e368STed Kremenek // CHECK: 47:28: UnexposedExpr= Extent=[47:28 - 47:33]
811*15c1e368STed Kremenek // CHECK: 48:9: UnexposedExpr= Extent=[48:9 - 48:33]
812*15c1e368STed Kremenek // CHECK: 48:9: UnexposedExpr= Extent=[48:9 - 48:19]
813*15c1e368STed Kremenek // CHECK: 48:9: DeclRefExpr=c:2:14 Extent=[48:9 - 48:10]
814*15c1e368STed Kremenek // CHECK: 48:14: UnexposedExpr= Extent=[48:14 - 48:19]
815*15c1e368STed Kremenek // CHECK: 48:14: UnexposedExpr= Extent=[48:14 - 48:19]
816*15c1e368STed Kremenek // CHECK: 48:23: UnexposedExpr= Extent=[48:23 - 48:33]
817*15c1e368STed Kremenek // CHECK: 48:23: DeclRefExpr=c:2:14 Extent=[48:23 - 48:24]
818*15c1e368STed Kremenek // CHECK: 48:28: UnexposedExpr= Extent=[48:28 - 48:33]
819*15c1e368STed Kremenek // CHECK: 48:28: UnexposedExpr= Extent=[48:28 - 48:33]
820*15c1e368STed Kremenek // CHECK: 49:9: UnexposedExpr= Extent=[49:9 - 49:33]
821*15c1e368STed Kremenek // CHECK: 49:9: UnexposedExpr= Extent=[49:9 - 49:19]
822*15c1e368STed Kremenek // CHECK: 49:9: DeclRefExpr=c:2:14 Extent=[49:9 - 49:10]
823*15c1e368STed Kremenek // CHECK: 49:14: UnexposedExpr= Extent=[49:14 - 49:19]
824*15c1e368STed Kremenek // CHECK: 49:14: UnexposedExpr= Extent=[49:14 - 49:19]
825*15c1e368STed Kremenek // CHECK: 49:23: UnexposedExpr= Extent=[49:23 - 49:33]
826*15c1e368STed Kremenek // CHECK: 49:23: DeclRefExpr=c:2:14 Extent=[49:23 - 49:24]
827*15c1e368STed Kremenek // CHECK: 49:28: UnexposedExpr= Extent=[49:28 - 49:33]
828*15c1e368STed Kremenek // CHECK: 49:28: UnexposedExpr= Extent=[49:28 - 49:33]
829*15c1e368STed Kremenek // CHECK: 50:9: UnexposedExpr= Extent=[50:9 - 50:33]
830*15c1e368STed Kremenek // CHECK: 50:9: UnexposedExpr= Extent=[50:9 - 50:19]
831*15c1e368STed Kremenek // CHECK: 50:9: DeclRefExpr=c:2:14 Extent=[50:9 - 50:10]
832*15c1e368STed Kremenek // CHECK: 50:14: UnexposedExpr= Extent=[50:14 - 50:19]
833*15c1e368STed Kremenek // CHECK: 50:14: UnexposedExpr= Extent=[50:14 - 50:19]
834*15c1e368STed Kremenek // CHECK: 50:23: UnexposedExpr= Extent=[50:23 - 50:33]
835*15c1e368STed Kremenek // CHECK: 50:23: DeclRefExpr=c:2:14 Extent=[50:23 - 50:24]
836*15c1e368STed Kremenek // CHECK: 50:28: UnexposedExpr= Extent=[50:28 - 50:33]
837*15c1e368STed Kremenek // CHECK: 50:28: UnexposedExpr= Extent=[50:28 - 50:33]
838*15c1e368STed Kremenek // CHECK: 51:8: UnexposedExpr= Extent=[51:8 - 51:18]
839*15c1e368STed Kremenek // CHECK: 51:8: DeclRefExpr=c:2:14 Extent=[51:8 - 51:9]
840*15c1e368STed Kremenek // CHECK: 51:13: UnexposedExpr= Extent=[51:13 - 51:18]
841*15c1e368STed Kremenek // CHECK: 51:13: UnexposedExpr= Extent=[51:13 - 51:18]
842*15c1e368STed Kremenek // CHECK: 51:23: UnexposedExpr= Extent=[51:23 - 51:47]
843*15c1e368STed Kremenek // CHECK: 51:23: UnexposedExpr= Extent=[51:23 - 51:33]
844*15c1e368STed Kremenek // CHECK: 51:23: DeclRefExpr=c:2:14 Extent=[51:23 - 51:24]
845*15c1e368STed Kremenek // CHECK: 51:28: UnexposedExpr= Extent=[51:28 - 51:33]
846*15c1e368STed Kremenek // CHECK: 51:28: UnexposedExpr= Extent=[51:28 - 51:33]
847*15c1e368STed Kremenek // CHECK: 51:37: UnexposedExpr= Extent=[51:37 - 51:47]
848*15c1e368STed Kremenek // CHECK: 51:37: DeclRefExpr=c:2:14 Extent=[51:37 - 51:38]
849*15c1e368STed Kremenek // CHECK: 51:42: UnexposedExpr= Extent=[51:42 - 51:47]
850*15c1e368STed Kremenek // CHECK: 51:42: UnexposedExpr= Extent=[51:42 - 51:47]
851*15c1e368STed Kremenek // CHECK: 52:9: UnexposedExpr= Extent=[52:9 - 52:33]
852*15c1e368STed Kremenek // CHECK: 52:9: UnexposedExpr= Extent=[52:9 - 52:19]
853*15c1e368STed Kremenek // CHECK: 52:9: DeclRefExpr=c:2:14 Extent=[52:9 - 52:10]
854*15c1e368STed Kremenek // CHECK: 52:14: UnexposedExpr= Extent=[52:14 - 52:19]
855*15c1e368STed Kremenek // CHECK: 52:14: UnexposedExpr= Extent=[52:14 - 52:19]
856*15c1e368STed Kremenek // CHECK: 52:23: UnexposedExpr= Extent=[52:23 - 52:33]
857*15c1e368STed Kremenek // CHECK: 52:23: DeclRefExpr=c:2:14 Extent=[52:23 - 52:24]
858*15c1e368STed Kremenek // CHECK: 52:28: UnexposedExpr= Extent=[52:28 - 52:33]
859*15c1e368STed Kremenek // CHECK: 52:28: UnexposedExpr= Extent=[52:28 - 52:33]
860*15c1e368STed Kremenek // CHECK: 53:9: UnexposedExpr= Extent=[53:9 - 53:33]
861*15c1e368STed Kremenek // CHECK: 53:9: UnexposedExpr= Extent=[53:9 - 53:19]
862*15c1e368STed Kremenek // CHECK: 53:9: DeclRefExpr=c:2:14 Extent=[53:9 - 53:10]
863*15c1e368STed Kremenek // CHECK: 53:14: UnexposedExpr= Extent=[53:14 - 53:19]
864*15c1e368STed Kremenek // CHECK: 53:14: UnexposedExpr= Extent=[53:14 - 53:19]
865*15c1e368STed Kremenek // CHECK: 53:23: UnexposedExpr= Extent=[53:23 - 53:33]
866*15c1e368STed Kremenek // CHECK: 53:23: DeclRefExpr=c:2:14 Extent=[53:23 - 53:24]
867*15c1e368STed Kremenek // CHECK: 53:28: UnexposedExpr= Extent=[53:28 - 53:33]
868*15c1e368STed Kremenek // CHECK: 53:28: UnexposedExpr= Extent=[53:28 - 53:33]
869*15c1e368STed Kremenek // CHECK: 54:9: UnexposedExpr= Extent=[54:9 - 54:33]
870*15c1e368STed Kremenek // CHECK: 54:9: UnexposedExpr= Extent=[54:9 - 54:19]
871*15c1e368STed Kremenek // CHECK: 54:9: DeclRefExpr=c:2:14 Extent=[54:9 - 54:10]
872*15c1e368STed Kremenek // CHECK: 54:14: UnexposedExpr= Extent=[54:14 - 54:19]
873*15c1e368STed Kremenek // CHECK: 54:14: UnexposedExpr= Extent=[54:14 - 54:19]
874*15c1e368STed Kremenek // CHECK: 54:23: UnexposedExpr= Extent=[54:23 - 54:33]
875*15c1e368STed Kremenek // CHECK: 54:23: DeclRefExpr=c:2:14 Extent=[54:23 - 54:24]
876*15c1e368STed Kremenek // CHECK: 54:28: UnexposedExpr= Extent=[54:28 - 54:33]
877*15c1e368STed Kremenek // CHECK: 54:28: UnexposedExpr= Extent=[54:28 - 54:33]
878*15c1e368STed Kremenek // CHECK: 55:9: UnexposedExpr= Extent=[55:9 - 55:33]
879*15c1e368STed Kremenek // CHECK: 55:9: UnexposedExpr= Extent=[55:9 - 55:19]
880*15c1e368STed Kremenek // CHECK: 55:9: DeclRefExpr=c:2:14 Extent=[55:9 - 55:10]
881*15c1e368STed Kremenek // CHECK: 55:14: UnexposedExpr= Extent=[55:14 - 55:19]
882*15c1e368STed Kremenek // CHECK: 55:14: UnexposedExpr= Extent=[55:14 - 55:19]
883*15c1e368STed Kremenek // CHECK: 55:23: UnexposedExpr= Extent=[55:23 - 55:33]
884*15c1e368STed Kremenek // CHECK: 55:23: DeclRefExpr=c:2:14 Extent=[55:23 - 55:24]
885*15c1e368STed Kremenek // CHECK: 55:28: UnexposedExpr= Extent=[55:28 - 55:33]
886*15c1e368STed Kremenek // CHECK: 55:28: UnexposedExpr= Extent=[55:28 - 55:33]
887*15c1e368STed Kremenek // CHECK: 56:9: UnexposedExpr= Extent=[56:9 - 56:33]
888*15c1e368STed Kremenek // CHECK: 56:9: UnexposedExpr= Extent=[56:9 - 56:19]
889*15c1e368STed Kremenek // CHECK: 56:9: DeclRefExpr=c:2:14 Extent=[56:9 - 56:10]
890*15c1e368STed Kremenek // CHECK: 56:14: UnexposedExpr= Extent=[56:14 - 56:19]
891*15c1e368STed Kremenek // CHECK: 56:14: UnexposedExpr= Extent=[56:14 - 56:19]
892*15c1e368STed Kremenek // CHECK: 56:23: UnexposedExpr= Extent=[56:23 - 56:33]
893*15c1e368STed Kremenek // CHECK: 56:23: DeclRefExpr=c:2:14 Extent=[56:23 - 56:24]
894*15c1e368STed Kremenek // CHECK: 56:28: UnexposedExpr= Extent=[56:28 - 56:33]
895*15c1e368STed Kremenek // CHECK: 56:28: UnexposedExpr= Extent=[56:28 - 56:33]
896*15c1e368STed Kremenek // CHECK: 57:9: UnexposedExpr= Extent=[57:9 - 57:33]
897*15c1e368STed Kremenek // CHECK: 57:9: UnexposedExpr= Extent=[57:9 - 57:19]
898*15c1e368STed Kremenek // CHECK: 57:9: DeclRefExpr=c:2:14 Extent=[57:9 - 57:10]
899*15c1e368STed Kremenek // CHECK: 57:14: UnexposedExpr= Extent=[57:14 - 57:19]
900*15c1e368STed Kremenek // CHECK: 57:14: UnexposedExpr= Extent=[57:14 - 57:19]
901*15c1e368STed Kremenek // CHECK: 57:23: UnexposedExpr= Extent=[57:23 - 57:33]
902*15c1e368STed Kremenek // CHECK: 57:23: DeclRefExpr=c:2:14 Extent=[57:23 - 57:24]
903*15c1e368STed Kremenek // CHECK: 57:28: UnexposedExpr= Extent=[57:28 - 57:33]
904*15c1e368STed Kremenek // CHECK: 57:28: UnexposedExpr= Extent=[57:28 - 57:33]
905*15c1e368STed Kremenek // CHECK: 58:9: UnexposedExpr= Extent=[58:9 - 58:33]
906*15c1e368STed Kremenek // CHECK: 58:9: UnexposedExpr= Extent=[58:9 - 58:19]
907*15c1e368STed Kremenek // CHECK: 58:9: DeclRefExpr=c:2:14 Extent=[58:9 - 58:10]
908*15c1e368STed Kremenek // CHECK: 58:14: UnexposedExpr= Extent=[58:14 - 58:19]
909*15c1e368STed Kremenek // CHECK: 58:14: UnexposedExpr= Extent=[58:14 - 58:19]
910*15c1e368STed Kremenek // CHECK: 58:23: UnexposedExpr= Extent=[58:23 - 58:33]
911*15c1e368STed Kremenek // CHECK: 58:23: DeclRefExpr=c:2:14 Extent=[58:23 - 58:24]
912*15c1e368STed Kremenek // CHECK: 58:28: UnexposedExpr= Extent=[58:28 - 58:33]
913*15c1e368STed Kremenek // CHECK: 58:28: UnexposedExpr= Extent=[58:28 - 58:33]
914*15c1e368STed Kremenek // CHECK: 59:9: UnexposedExpr= Extent=[59:9 - 59:33]
915*15c1e368STed Kremenek // CHECK: 59:9: UnexposedExpr= Extent=[59:9 - 59:19]
916*15c1e368STed Kremenek // CHECK: 59:9: DeclRefExpr=c:2:14 Extent=[59:9 - 59:10]
917*15c1e368STed Kremenek // CHECK: 59:14: UnexposedExpr= Extent=[59:14 - 59:19]
918*15c1e368STed Kremenek // CHECK: 59:14: UnexposedExpr= Extent=[59:14 - 59:19]
919*15c1e368STed Kremenek // CHECK: 59:23: UnexposedExpr= Extent=[59:23 - 59:33]
920*15c1e368STed Kremenek // CHECK: 59:23: DeclRefExpr=c:2:14 Extent=[59:23 - 59:24]
921*15c1e368STed Kremenek // CHECK: 59:28: UnexposedExpr= Extent=[59:28 - 59:33]
922*15c1e368STed Kremenek // CHECK: 59:28: UnexposedExpr= Extent=[59:28 - 59:33]
923*15c1e368STed Kremenek // CHECK: 60:9: UnexposedExpr= Extent=[60:9 - 60:33]
924*15c1e368STed Kremenek // CHECK: 60:9: UnexposedExpr= Extent=[60:9 - 60:19]
925*15c1e368STed Kremenek // CHECK: 60:9: DeclRefExpr=c:2:14 Extent=[60:9 - 60:10]
926*15c1e368STed Kremenek // CHECK: 60:14: UnexposedExpr= Extent=[60:14 - 60:19]
927*15c1e368STed Kremenek // CHECK: 60:14: UnexposedExpr= Extent=[60:14 - 60:19]
928*15c1e368STed Kremenek // CHECK: 60:23: UnexposedExpr= Extent=[60:23 - 60:33]
929*15c1e368STed Kremenek // CHECK: 60:23: DeclRefExpr=c:2:14 Extent=[60:23 - 60:24]
930*15c1e368STed Kremenek // CHECK: 60:28: UnexposedExpr= Extent=[60:28 - 60:33]
931*15c1e368STed Kremenek // CHECK: 60:28: UnexposedExpr= Extent=[60:28 - 60:33]
932*15c1e368STed Kremenek // CHECK: 61:9: UnexposedExpr= Extent=[61:9 - 61:33]
933*15c1e368STed Kremenek // CHECK: 61:9: UnexposedExpr= Extent=[61:9 - 61:19]
934*15c1e368STed Kremenek // CHECK: 61:9: DeclRefExpr=c:2:14 Extent=[61:9 - 61:10]
935*15c1e368STed Kremenek // CHECK: 61:14: UnexposedExpr= Extent=[61:14 - 61:19]
936*15c1e368STed Kremenek // CHECK: 61:14: UnexposedExpr= Extent=[61:14 - 61:19]
937*15c1e368STed Kremenek // CHECK: 61:23: UnexposedExpr= Extent=[61:23 - 61:33]
938*15c1e368STed Kremenek // CHECK: 61:23: DeclRefExpr=c:2:14 Extent=[61:23 - 61:24]
939*15c1e368STed Kremenek // CHECK: 61:28: UnexposedExpr= Extent=[61:28 - 61:33]
940*15c1e368STed Kremenek // CHECK: 61:28: UnexposedExpr= Extent=[61:28 - 61:33]
941*15c1e368STed Kremenek // CHECK: 62:9: UnexposedExpr= Extent=[62:9 - 62:33]
942*15c1e368STed Kremenek // CHECK: 62:9: UnexposedExpr= Extent=[62:9 - 62:19]
943*15c1e368STed Kremenek // CHECK: 62:9: DeclRefExpr=c:2:14 Extent=[62:9 - 62:10]
944*15c1e368STed Kremenek // CHECK: 62:14: UnexposedExpr= Extent=[62:14 - 62:19]
945*15c1e368STed Kremenek // CHECK: 62:14: UnexposedExpr= Extent=[62:14 - 62:19]
946*15c1e368STed Kremenek // CHECK: 62:23: UnexposedExpr= Extent=[62:23 - 62:33]
947*15c1e368STed Kremenek // CHECK: 62:23: DeclRefExpr=c:2:14 Extent=[62:23 - 62:24]
948*15c1e368STed Kremenek // CHECK: 62:28: UnexposedExpr= Extent=[62:28 - 62:33]
949*15c1e368STed Kremenek // CHECK: 62:28: UnexposedExpr= Extent=[62:28 - 62:33]
950*15c1e368STed Kremenek // CHECK: 63:8: UnexposedExpr= Extent=[63:8 - 63:18]
951*15c1e368STed Kremenek // CHECK: 63:8: DeclRefExpr=c:2:14 Extent=[63:8 - 63:9]
952*15c1e368STed Kremenek // CHECK: 63:13: UnexposedExpr= Extent=[63:13 - 63:18]
953*15c1e368STed Kremenek // CHECK: 63:13: UnexposedExpr= Extent=[63:13 - 63:18]
954*15c1e368STed Kremenek // CHECK: 63:23: UnexposedExpr= Extent=[63:23 - 63:47]
955*15c1e368STed Kremenek // CHECK: 63:23: UnexposedExpr= Extent=[63:23 - 63:33]
956*15c1e368STed Kremenek // CHECK: 63:23: DeclRefExpr=c:2:14 Extent=[63:23 - 63:24]
957*15c1e368STed Kremenek // CHECK: 63:28: UnexposedExpr= Extent=[63:28 - 63:33]
958*15c1e368STed Kremenek // CHECK: 63:28: UnexposedExpr= Extent=[63:28 - 63:33]
959*15c1e368STed Kremenek // CHECK: 63:37: UnexposedExpr= Extent=[63:37 - 63:47]
960*15c1e368STed Kremenek // CHECK: 63:37: DeclRefExpr=c:2:14 Extent=[63:37 - 63:38]
961*15c1e368STed Kremenek // CHECK: 63:42: UnexposedExpr= Extent=[63:42 - 63:47]
962*15c1e368STed Kremenek // CHECK: 63:42: UnexposedExpr= Extent=[63:42 - 63:47]
963*15c1e368STed Kremenek // CHECK: 64:9: UnexposedExpr= Extent=[64:9 - 64:33]
964*15c1e368STed Kremenek // CHECK: 64:9: UnexposedExpr= Extent=[64:9 - 64:19]
965*15c1e368STed Kremenek // CHECK: 64:9: DeclRefExpr=c:2:14 Extent=[64:9 - 64:10]
966*15c1e368STed Kremenek // CHECK: 64:14: UnexposedExpr= Extent=[64:14 - 64:19]
967*15c1e368STed Kremenek // CHECK: 64:14: UnexposedExpr= Extent=[64:14 - 64:19]
968*15c1e368STed Kremenek // CHECK: 64:23: UnexposedExpr= Extent=[64:23 - 64:33]
969*15c1e368STed Kremenek // CHECK: 64:23: DeclRefExpr=c:2:14 Extent=[64:23 - 64:24]
970*15c1e368STed Kremenek // CHECK: 64:28: UnexposedExpr= Extent=[64:28 - 64:33]
971*15c1e368STed Kremenek // CHECK: 64:28: UnexposedExpr= Extent=[64:28 - 64:33]
972*15c1e368STed Kremenek // CHECK: 65:8: UnexposedExpr= Extent=[65:8 - 65:18]
973*15c1e368STed Kremenek // CHECK: 65:8: DeclRefExpr=c:2:14 Extent=[65:8 - 65:9]
974*15c1e368STed Kremenek // CHECK: 65:13: UnexposedExpr= Extent=[65:13 - 65:18]
975*15c1e368STed Kremenek // CHECK: 65:13: UnexposedExpr= Extent=[65:13 - 65:18]
976*15c1e368STed Kremenek // CHECK: 65:23: UnexposedExpr= Extent=[65:23 - 65:47]
977*15c1e368STed Kremenek // CHECK: 65:23: UnexposedExpr= Extent=[65:23 - 65:33]
978*15c1e368STed Kremenek // CHECK: 65:23: DeclRefExpr=c:2:14 Extent=[65:23 - 65:24]
979*15c1e368STed Kremenek // CHECK: 65:28: UnexposedExpr= Extent=[65:28 - 65:33]
980*15c1e368STed Kremenek // CHECK: 65:28: UnexposedExpr= Extent=[65:28 - 65:33]
981*15c1e368STed Kremenek // CHECK: 65:37: UnexposedExpr= Extent=[65:37 - 65:47]
982*15c1e368STed Kremenek // CHECK: 65:37: DeclRefExpr=c:2:14 Extent=[65:37 - 65:38]
983*15c1e368STed Kremenek // CHECK: 65:42: UnexposedExpr= Extent=[65:42 - 65:47]
984*15c1e368STed Kremenek // CHECK: 65:42: UnexposedExpr= Extent=[65:42 - 65:47]
985*15c1e368STed Kremenek // CHECK: 66:9: UnexposedExpr= Extent=[66:9 - 66:33]
986*15c1e368STed Kremenek // CHECK: 66:9: UnexposedExpr= Extent=[66:9 - 66:19]
987*15c1e368STed Kremenek // CHECK: 66:9: DeclRefExpr=c:2:14 Extent=[66:9 - 66:10]
988*15c1e368STed Kremenek // CHECK: 66:14: UnexposedExpr= Extent=[66:14 - 66:19]
989*15c1e368STed Kremenek // CHECK: 66:14: UnexposedExpr= Extent=[66:14 - 66:19]
990*15c1e368STed Kremenek // CHECK: 66:23: UnexposedExpr= Extent=[66:23 - 66:33]
991*15c1e368STed Kremenek // CHECK: 66:23: DeclRefExpr=c:2:14 Extent=[66:23 - 66:24]
992*15c1e368STed Kremenek // CHECK: 66:28: UnexposedExpr= Extent=[66:28 - 66:33]
993*15c1e368STed Kremenek // CHECK: 66:28: UnexposedExpr= Extent=[66:28 - 66:33]
994*15c1e368STed Kremenek // CHECK: 67:9: UnexposedExpr= Extent=[67:9 - 67:33]
995*15c1e368STed Kremenek // CHECK: 67:9: UnexposedExpr= Extent=[67:9 - 67:19]
996*15c1e368STed Kremenek // CHECK: 67:9: DeclRefExpr=c:2:14 Extent=[67:9 - 67:10]
997*15c1e368STed Kremenek // CHECK: 67:14: UnexposedExpr= Extent=[67:14 - 67:19]
998*15c1e368STed Kremenek // CHECK: 67:14: UnexposedExpr= Extent=[67:14 - 67:19]
999*15c1e368STed Kremenek // CHECK: 67:23: UnexposedExpr= Extent=[67:23 - 67:33]
1000*15c1e368STed Kremenek // CHECK: 67:23: DeclRefExpr=c:2:14 Extent=[67:23 - 67:24]
1001*15c1e368STed Kremenek // CHECK: 67:28: UnexposedExpr= Extent=[67:28 - 67:33]
1002*15c1e368STed Kremenek // CHECK: 67:28: UnexposedExpr= Extent=[67:28 - 67:33]
1003*15c1e368STed Kremenek // CHECK: 68:9: UnexposedExpr= Extent=[68:9 - 68:33]
1004*15c1e368STed Kremenek // CHECK: 68:9: UnexposedExpr= Extent=[68:9 - 68:19]
1005*15c1e368STed Kremenek // CHECK: 68:9: DeclRefExpr=c:2:14 Extent=[68:9 - 68:10]
1006*15c1e368STed Kremenek // CHECK: 68:14: UnexposedExpr= Extent=[68:14 - 68:19]
1007*15c1e368STed Kremenek // CHECK: 68:14: UnexposedExpr= Extent=[68:14 - 68:19]
1008*15c1e368STed Kremenek // CHECK: 68:23: UnexposedExpr= Extent=[68:23 - 68:33]
1009*15c1e368STed Kremenek // CHECK: 68:23: DeclRefExpr=c:2:14 Extent=[68:23 - 68:24]
1010*15c1e368STed Kremenek // CHECK: 68:28: UnexposedExpr= Extent=[68:28 - 68:33]
1011*15c1e368STed Kremenek // CHECK: 68:28: UnexposedExpr= Extent=[68:28 - 68:33]
1012*15c1e368STed Kremenek // CHECK: 69:9: UnexposedExpr= Extent=[69:9 - 69:33]
1013*15c1e368STed Kremenek // CHECK: 69:9: UnexposedExpr= Extent=[69:9 - 69:19]
1014*15c1e368STed Kremenek // CHECK: 69:9: DeclRefExpr=c:2:14 Extent=[69:9 - 69:10]
1015*15c1e368STed Kremenek // CHECK: 69:14: UnexposedExpr= Extent=[69:14 - 69:19]
1016*15c1e368STed Kremenek // CHECK: 69:14: UnexposedExpr= Extent=[69:14 - 69:19]
1017*15c1e368STed Kremenek // CHECK: 69:23: UnexposedExpr= Extent=[69:23 - 69:33]
1018*15c1e368STed Kremenek // CHECK: 69:23: DeclRefExpr=c:2:14 Extent=[69:23 - 69:24]
1019*15c1e368STed Kremenek // CHECK: 69:28: UnexposedExpr= Extent=[69:28 - 69:33]
1020*15c1e368STed Kremenek // CHECK: 69:28: UnexposedExpr= Extent=[69:28 - 69:33]
1021*15c1e368STed Kremenek // CHECK: 70:8: UnexposedExpr= Extent=[70:8 - 70:18]
1022*15c1e368STed Kremenek // CHECK: 70:8: DeclRefExpr=c:2:14 Extent=[70:8 - 70:9]
1023*15c1e368STed Kremenek // CHECK: 70:13: UnexposedExpr= Extent=[70:13 - 70:18]
1024*15c1e368STed Kremenek // CHECK: 70:13: UnexposedExpr= Extent=[70:13 - 70:18]
1025*15c1e368STed Kremenek // CHECK: 70:22: UnexposedExpr= Extent=[70:22 - 70:32]
1026*15c1e368STed Kremenek // CHECK: 70:22: DeclRefExpr=c:2:14 Extent=[70:22 - 70:23]
1027*15c1e368STed Kremenek // CHECK: 70:27: UnexposedExpr= Extent=[70:27 - 70:32]
1028*15c1e368STed Kremenek // CHECK: 70:27: UnexposedExpr= Extent=[70:27 - 70:32]
1029*15c1e368STed Kremenek // CHECK: 70:37: UnexposedExpr= Extent=[70:37 - 70:61]
1030*15c1e368STed Kremenek // CHECK: 70:37: UnexposedExpr= Extent=[70:37 - 70:47]
1031*15c1e368STed Kremenek // CHECK: 70:37: DeclRefExpr=c:2:14 Extent=[70:37 - 70:38]
1032*15c1e368STed Kremenek // CHECK: 70:42: UnexposedExpr= Extent=[70:42 - 70:47]
1033*15c1e368STed Kremenek // CHECK: 70:42: UnexposedExpr= Extent=[70:42 - 70:47]
1034*15c1e368STed Kremenek // CHECK: 70:51: UnexposedExpr= Extent=[70:51 - 70:61]
1035*15c1e368STed Kremenek // CHECK: 70:51: DeclRefExpr=c:2:14 Extent=[70:51 - 70:52]
1036*15c1e368STed Kremenek // CHECK: 70:56: UnexposedExpr= Extent=[70:56 - 70:61]
1037*15c1e368STed Kremenek // CHECK: 70:56: UnexposedExpr= Extent=[70:56 - 70:61]
1038*15c1e368STed Kremenek // CHECK: 71:9: UnexposedExpr= Extent=[71:9 - 71:33]
1039*15c1e368STed Kremenek // CHECK: 71:9: UnexposedExpr= Extent=[71:9 - 71:19]
1040*15c1e368STed Kremenek // CHECK: 71:9: DeclRefExpr=c:2:14 Extent=[71:9 - 71:10]
1041*15c1e368STed Kremenek // CHECK: 71:14: UnexposedExpr= Extent=[71:14 - 71:19]
1042*15c1e368STed Kremenek // CHECK: 71:14: UnexposedExpr= Extent=[71:14 - 71:19]
1043*15c1e368STed Kremenek // CHECK: 71:23: UnexposedExpr= Extent=[71:23 - 71:33]
1044*15c1e368STed Kremenek // CHECK: 71:23: DeclRefExpr=c:2:14 Extent=[71:23 - 71:24]
1045*15c1e368STed Kremenek // CHECK: 71:28: UnexposedExpr= Extent=[71:28 - 71:33]
1046*15c1e368STed Kremenek // CHECK: 71:28: UnexposedExpr= Extent=[71:28 - 71:33]
1047*15c1e368STed Kremenek // CHECK: 72:9: UnexposedExpr= Extent=[72:9 - 72:33]
1048*15c1e368STed Kremenek // CHECK: 72:9: UnexposedExpr= Extent=[72:9 - 72:19]
1049*15c1e368STed Kremenek // CHECK: 72:9: DeclRefExpr=c:2:14 Extent=[72:9 - 72:10]
1050*15c1e368STed Kremenek // CHECK: 72:14: UnexposedExpr= Extent=[72:14 - 72:19]
1051*15c1e368STed Kremenek // CHECK: 72:14: UnexposedExpr= Extent=[72:14 - 72:19]
1052*15c1e368STed Kremenek // CHECK: 72:23: UnexposedExpr= Extent=[72:23 - 72:33]
1053*15c1e368STed Kremenek // CHECK: 72:23: DeclRefExpr=c:2:14 Extent=[72:23 - 72:24]
1054*15c1e368STed Kremenek // CHECK: 72:28: UnexposedExpr= Extent=[72:28 - 72:33]
1055*15c1e368STed Kremenek // CHECK: 72:28: UnexposedExpr= Extent=[72:28 - 72:33]
1056*15c1e368STed Kremenek // CHECK: 73:9: UnexposedExpr= Extent=[73:9 - 73:33]
1057*15c1e368STed Kremenek // CHECK: 73:9: UnexposedExpr= Extent=[73:9 - 73:19]
1058*15c1e368STed Kremenek // CHECK: 73:9: DeclRefExpr=c:2:14 Extent=[73:9 - 73:10]
1059*15c1e368STed Kremenek // CHECK: 73:14: UnexposedExpr= Extent=[73:14 - 73:19]
1060*15c1e368STed Kremenek // CHECK: 73:14: UnexposedExpr= Extent=[73:14 - 73:19]
1061*15c1e368STed Kremenek // CHECK: 73:23: UnexposedExpr= Extent=[73:23 - 73:33]
1062*15c1e368STed Kremenek // CHECK: 73:23: DeclRefExpr=c:2:14 Extent=[73:23 - 73:24]
1063*15c1e368STed Kremenek // CHECK: 73:28: UnexposedExpr= Extent=[73:28 - 73:33]
1064*15c1e368STed Kremenek // CHECK: 73:28: UnexposedExpr= Extent=[73:28 - 73:33]
1065*15c1e368STed Kremenek // CHECK: 74:9: UnexposedExpr= Extent=[74:9 - 74:33]
1066*15c1e368STed Kremenek // CHECK: 74:9: UnexposedExpr= Extent=[74:9 - 74:19]
1067*15c1e368STed Kremenek // CHECK: 74:9: DeclRefExpr=c:2:14 Extent=[74:9 - 74:10]
1068*15c1e368STed Kremenek // CHECK: 74:14: UnexposedExpr= Extent=[74:14 - 74:19]
1069*15c1e368STed Kremenek // CHECK: 74:14: UnexposedExpr= Extent=[74:14 - 74:19]
1070*15c1e368STed Kremenek // CHECK: 74:23: UnexposedExpr= Extent=[74:23 - 74:33]
1071*15c1e368STed Kremenek // CHECK: 74:23: DeclRefExpr=c:2:14 Extent=[74:23 - 74:24]
1072*15c1e368STed Kremenek // CHECK: 74:28: UnexposedExpr= Extent=[74:28 - 74:33]
1073*15c1e368STed Kremenek // CHECK: 74:28: UnexposedExpr= Extent=[74:28 - 74:33]
1074*15c1e368STed Kremenek // CHECK: 75:9: UnexposedExpr= Extent=[75:9 - 75:33]
1075*15c1e368STed Kremenek // CHECK: 75:9: UnexposedExpr= Extent=[75:9 - 75:19]
1076*15c1e368STed Kremenek // CHECK: 75:9: DeclRefExpr=c:2:14 Extent=[75:9 - 75:10]
1077*15c1e368STed Kremenek // CHECK: 75:14: UnexposedExpr= Extent=[75:14 - 75:19]
1078*15c1e368STed Kremenek // CHECK: 75:14: UnexposedExpr= Extent=[75:14 - 75:19]
1079*15c1e368STed Kremenek // CHECK: 75:23: UnexposedExpr= Extent=[75:23 - 75:33]
1080*15c1e368STed Kremenek // CHECK: 75:23: DeclRefExpr=c:2:14 Extent=[75:23 - 75:24]
1081*15c1e368STed Kremenek // CHECK: 75:28: UnexposedExpr= Extent=[75:28 - 75:33]
1082*15c1e368STed Kremenek // CHECK: 75:28: UnexposedExpr= Extent=[75:28 - 75:33]
1083*15c1e368STed Kremenek // CHECK: 76:8: UnexposedExpr= Extent=[76:8 - 76:18]
1084*15c1e368STed Kremenek // CHECK: 76:8: DeclRefExpr=c:2:14 Extent=[76:8 - 76:9]
1085*15c1e368STed Kremenek // CHECK: 76:13: UnexposedExpr= Extent=[76:13 - 76:18]
1086*15c1e368STed Kremenek // CHECK: 76:13: UnexposedExpr= Extent=[76:13 - 76:18]
1087*15c1e368STed Kremenek // CHECK: 76:23: UnexposedExpr= Extent=[76:23 - 76:47]
1088*15c1e368STed Kremenek // CHECK: 76:23: UnexposedExpr= Extent=[76:23 - 76:33]
1089*15c1e368STed Kremenek // CHECK: 76:23: DeclRefExpr=c:2:14 Extent=[76:23 - 76:24]
1090*15c1e368STed Kremenek // CHECK: 76:28: UnexposedExpr= Extent=[76:28 - 76:33]
1091*15c1e368STed Kremenek // CHECK: 76:28: UnexposedExpr= Extent=[76:28 - 76:33]
1092*15c1e368STed Kremenek // CHECK: 76:37: UnexposedExpr= Extent=[76:37 - 76:47]
1093*15c1e368STed Kremenek // CHECK: 76:37: DeclRefExpr=c:2:14 Extent=[76:37 - 76:38]
1094*15c1e368STed Kremenek // CHECK: 76:42: UnexposedExpr= Extent=[76:42 - 76:47]
1095*15c1e368STed Kremenek // CHECK: 76:42: UnexposedExpr= Extent=[76:42 - 76:47]
1096*15c1e368STed Kremenek // CHECK: 77:9: UnexposedExpr= Extent=[77:9 - 77:33]
1097*15c1e368STed Kremenek // CHECK: 77:9: UnexposedExpr= Extent=[77:9 - 77:19]
1098*15c1e368STed Kremenek // CHECK: 77:9: DeclRefExpr=c:2:14 Extent=[77:9 - 77:10]
1099*15c1e368STed Kremenek // CHECK: 77:14: UnexposedExpr= Extent=[77:14 - 77:19]
1100*15c1e368STed Kremenek // CHECK: 77:14: UnexposedExpr= Extent=[77:14 - 77:19]
1101*15c1e368STed Kremenek // CHECK: 77:23: UnexposedExpr= Extent=[77:23 - 77:33]
1102*15c1e368STed Kremenek // CHECK: 77:23: DeclRefExpr=c:2:14 Extent=[77:23 - 77:24]
1103*15c1e368STed Kremenek // CHECK: 77:28: UnexposedExpr= Extent=[77:28 - 77:33]
1104*15c1e368STed Kremenek // CHECK: 77:28: UnexposedExpr= Extent=[77:28 - 77:33]
1105*15c1e368STed Kremenek // CHECK: 78:9: UnexposedExpr= Extent=[78:9 - 78:33]
1106*15c1e368STed Kremenek // CHECK: 78:9: UnexposedExpr= Extent=[78:9 - 78:19]
1107*15c1e368STed Kremenek // CHECK: 78:9: DeclRefExpr=c:2:14 Extent=[78:9 - 78:10]
1108*15c1e368STed Kremenek // CHECK: 78:14: UnexposedExpr= Extent=[78:14 - 78:19]
1109*15c1e368STed Kremenek // CHECK: 78:14: UnexposedExpr= Extent=[78:14 - 78:19]
1110*15c1e368STed Kremenek // CHECK: 78:23: UnexposedExpr= Extent=[78:23 - 78:33]
1111*15c1e368STed Kremenek // CHECK: 78:23: DeclRefExpr=c:2:14 Extent=[78:23 - 78:24]
1112*15c1e368STed Kremenek // CHECK: 78:28: UnexposedExpr= Extent=[78:28 - 78:33]
1113*15c1e368STed Kremenek // CHECK: 78:28: UnexposedExpr= Extent=[78:28 - 78:33]
1114*15c1e368STed Kremenek // CHECK: 79:9: UnexposedExpr= Extent=[79:9 - 79:33]
1115*15c1e368STed Kremenek // CHECK: 79:9: UnexposedExpr= Extent=[79:9 - 79:19]
1116*15c1e368STed Kremenek // CHECK: 79:9: DeclRefExpr=c:2:14 Extent=[79:9 - 79:10]
1117*15c1e368STed Kremenek // CHECK: 79:14: UnexposedExpr= Extent=[79:14 - 79:19]
1118*15c1e368STed Kremenek // CHECK: 79:14: UnexposedExpr= Extent=[79:14 - 79:19]
1119*15c1e368STed Kremenek // CHECK: 79:23: UnexposedExpr= Extent=[79:23 - 79:33]
1120*15c1e368STed Kremenek // CHECK: 79:23: DeclRefExpr=c:2:14 Extent=[79:23 - 79:24]
1121*15c1e368STed Kremenek // CHECK: 79:28: UnexposedExpr= Extent=[79:28 - 79:33]
1122*15c1e368STed Kremenek // CHECK: 79:28: UnexposedExpr= Extent=[79:28 - 79:33]
1123*15c1e368STed Kremenek // CHECK: 80:9: UnexposedExpr= Extent=[80:9 - 80:33]
1124*15c1e368STed Kremenek // CHECK: 80:9: UnexposedExpr= Extent=[80:9 - 80:19]
1125*15c1e368STed Kremenek // CHECK: 80:9: DeclRefExpr=c:2:14 Extent=[80:9 - 80:10]
1126*15c1e368STed Kremenek // CHECK: 80:14: UnexposedExpr= Extent=[80:14 - 80:19]
1127*15c1e368STed Kremenek // CHECK: 80:14: UnexposedExpr= Extent=[80:14 - 80:19]
1128*15c1e368STed Kremenek // CHECK: 80:23: UnexposedExpr= Extent=[80:23 - 80:33]
1129*15c1e368STed Kremenek // CHECK: 80:23: DeclRefExpr=c:2:14 Extent=[80:23 - 80:24]
1130*15c1e368STed Kremenek // CHECK: 80:28: UnexposedExpr= Extent=[80:28 - 80:33]
1131*15c1e368STed Kremenek // CHECK: 80:28: UnexposedExpr= Extent=[80:28 - 80:33]
1132*15c1e368STed Kremenek // CHECK: 81:9: UnexposedExpr= Extent=[81:9 - 81:33]
1133*15c1e368STed Kremenek // CHECK: 81:9: UnexposedExpr= Extent=[81:9 - 81:19]
1134*15c1e368STed Kremenek // CHECK: 81:9: DeclRefExpr=c:2:14 Extent=[81:9 - 81:10]
1135*15c1e368STed Kremenek // CHECK: 81:14: UnexposedExpr= Extent=[81:14 - 81:19]
1136*15c1e368STed Kremenek // CHECK: 81:14: UnexposedExpr= Extent=[81:14 - 81:19]
1137*15c1e368STed Kremenek // CHECK: 81:23: UnexposedExpr= Extent=[81:23 - 81:33]
1138*15c1e368STed Kremenek // CHECK: 81:23: DeclRefExpr=c:2:14 Extent=[81:23 - 81:24]
1139*15c1e368STed Kremenek // CHECK: 81:28: UnexposedExpr= Extent=[81:28 - 81:33]
1140*15c1e368STed Kremenek // CHECK: 81:28: UnexposedExpr= Extent=[81:28 - 81:33]
1141*15c1e368STed Kremenek // CHECK: 82:8: UnexposedExpr= Extent=[82:8 - 82:18]
1142*15c1e368STed Kremenek // CHECK: 82:8: DeclRefExpr=c:2:14 Extent=[82:8 - 82:9]
1143*15c1e368STed Kremenek // CHECK: 82:13: UnexposedExpr= Extent=[82:13 - 82:18]
1144*15c1e368STed Kremenek // CHECK: 82:13: UnexposedExpr= Extent=[82:13 - 82:18]
1145*15c1e368STed Kremenek // CHECK: 82:23: UnexposedExpr= Extent=[82:23 - 82:47]
1146*15c1e368STed Kremenek // CHECK: 82:23: UnexposedExpr= Extent=[82:23 - 82:33]
1147*15c1e368STed Kremenek // CHECK: 82:23: DeclRefExpr=c:2:14 Extent=[82:23 - 82:24]
1148*15c1e368STed Kremenek // CHECK: 82:28: UnexposedExpr= Extent=[82:28 - 82:33]
1149*15c1e368STed Kremenek // CHECK: 82:28: UnexposedExpr= Extent=[82:28 - 82:33]
1150*15c1e368STed Kremenek // CHECK: 82:37: UnexposedExpr= Extent=[82:37 - 82:47]
1151*15c1e368STed Kremenek // CHECK: 82:37: DeclRefExpr=c:2:14 Extent=[82:37 - 82:38]
1152*15c1e368STed Kremenek // CHECK: 82:42: UnexposedExpr= Extent=[82:42 - 82:47]
1153*15c1e368STed Kremenek // CHECK: 82:42: UnexposedExpr= Extent=[82:42 - 82:47]
1154*15c1e368STed Kremenek // CHECK: 83:9: UnexposedExpr= Extent=[83:9 - 83:33]
1155*15c1e368STed Kremenek // CHECK: 83:9: UnexposedExpr= Extent=[83:9 - 83:19]
1156*15c1e368STed Kremenek // CHECK: 83:9: DeclRefExpr=c:2:14 Extent=[83:9 - 83:10]
1157*15c1e368STed Kremenek // CHECK: 83:14: UnexposedExpr= Extent=[83:14 - 83:19]
1158*15c1e368STed Kremenek // CHECK: 83:14: UnexposedExpr= Extent=[83:14 - 83:19]
1159*15c1e368STed Kremenek // CHECK: 83:23: UnexposedExpr= Extent=[83:23 - 83:33]
1160*15c1e368STed Kremenek // CHECK: 83:23: DeclRefExpr=c:2:14 Extent=[83:23 - 83:24]
1161*15c1e368STed Kremenek // CHECK: 83:28: UnexposedExpr= Extent=[83:28 - 83:33]
1162*15c1e368STed Kremenek // CHECK: 83:28: UnexposedExpr= Extent=[83:28 - 83:33]
1163*15c1e368STed Kremenek // CHECK: 84:9: UnexposedExpr= Extent=[84:9 - 84:33]
1164*15c1e368STed Kremenek // CHECK: 84:9: UnexposedExpr= Extent=[84:9 - 84:19]
1165*15c1e368STed Kremenek // CHECK: 84:9: DeclRefExpr=c:2:14 Extent=[84:9 - 84:10]
1166*15c1e368STed Kremenek // CHECK: 84:14: UnexposedExpr= Extent=[84:14 - 84:19]
1167*15c1e368STed Kremenek // CHECK: 84:14: UnexposedExpr= Extent=[84:14 - 84:19]
1168*15c1e368STed Kremenek // CHECK: 84:23: UnexposedExpr= Extent=[84:23 - 84:33]
1169*15c1e368STed Kremenek // CHECK: 84:23: DeclRefExpr=c:2:14 Extent=[84:23 - 84:24]
1170*15c1e368STed Kremenek // CHECK: 84:28: UnexposedExpr= Extent=[84:28 - 84:33]
1171*15c1e368STed Kremenek // CHECK: 84:28: UnexposedExpr= Extent=[84:28 - 84:33]
1172*15c1e368STed Kremenek // CHECK: 85:9: UnexposedExpr= Extent=[85:9 - 85:33]
1173*15c1e368STed Kremenek // CHECK: 85:9: UnexposedExpr= Extent=[85:9 - 85:19]
1174*15c1e368STed Kremenek // CHECK: 85:9: DeclRefExpr=c:2:14 Extent=[85:9 - 85:10]
1175*15c1e368STed Kremenek // CHECK: 85:14: UnexposedExpr= Extent=[85:14 - 85:19]
1176*15c1e368STed Kremenek // CHECK: 85:14: UnexposedExpr= Extent=[85:14 - 85:19]
1177*15c1e368STed Kremenek // CHECK: 85:23: UnexposedExpr= Extent=[85:23 - 85:33]
1178*15c1e368STed Kremenek // CHECK: 85:23: DeclRefExpr=c:2:14 Extent=[85:23 - 85:24]
1179*15c1e368STed Kremenek // CHECK: 85:28: UnexposedExpr= Extent=[85:28 - 85:33]
1180*15c1e368STed Kremenek // CHECK: 85:28: UnexposedExpr= Extent=[85:28 - 85:33]
1181*15c1e368STed Kremenek // CHECK: 86:9: UnexposedExpr= Extent=[86:9 - 86:33]
1182*15c1e368STed Kremenek // CHECK: 86:9: UnexposedExpr= Extent=[86:9 - 86:19]
1183*15c1e368STed Kremenek // CHECK: 86:9: DeclRefExpr=c:2:14 Extent=[86:9 - 86:10]
1184*15c1e368STed Kremenek // CHECK: 86:14: UnexposedExpr= Extent=[86:14 - 86:19]
1185*15c1e368STed Kremenek // CHECK: 86:14: UnexposedExpr= Extent=[86:14 - 86:19]
1186*15c1e368STed Kremenek // CHECK: 86:23: UnexposedExpr= Extent=[86:23 - 86:33]
1187*15c1e368STed Kremenek // CHECK: 86:23: DeclRefExpr=c:2:14 Extent=[86:23 - 86:24]
1188*15c1e368STed Kremenek // CHECK: 86:28: UnexposedExpr= Extent=[86:28 - 86:33]
1189*15c1e368STed Kremenek // CHECK: 86:28: UnexposedExpr= Extent=[86:28 - 86:33]
1190*15c1e368STed Kremenek // CHECK: 87:9: UnexposedExpr= Extent=[87:9 - 87:33]
1191*15c1e368STed Kremenek // CHECK: 87:9: UnexposedExpr= Extent=[87:9 - 87:19]
1192*15c1e368STed Kremenek // CHECK: 87:9: DeclRefExpr=c:2:14 Extent=[87:9 - 87:10]
1193*15c1e368STed Kremenek // CHECK: 87:14: UnexposedExpr= Extent=[87:14 - 87:19]
1194*15c1e368STed Kremenek // CHECK: 87:14: UnexposedExpr= Extent=[87:14 - 87:19]
1195*15c1e368STed Kremenek // CHECK: 87:23: UnexposedExpr= Extent=[87:23 - 87:33]
1196*15c1e368STed Kremenek // CHECK: 87:23: DeclRefExpr=c:2:14 Extent=[87:23 - 87:24]
1197*15c1e368STed Kremenek // CHECK: 87:28: UnexposedExpr= Extent=[87:28 - 87:33]
1198*15c1e368STed Kremenek // CHECK: 87:28: UnexposedExpr= Extent=[87:28 - 87:33]
1199*15c1e368STed Kremenek // CHECK: 88:9: UnexposedExpr= Extent=[88:9 - 88:33]
1200*15c1e368STed Kremenek // CHECK: 88:9: UnexposedExpr= Extent=[88:9 - 88:19]
1201*15c1e368STed Kremenek // CHECK: 88:9: DeclRefExpr=c:2:14 Extent=[88:9 - 88:10]
1202*15c1e368STed Kremenek // CHECK: 88:14: UnexposedExpr= Extent=[88:14 - 88:19]
1203*15c1e368STed Kremenek // CHECK: 88:14: UnexposedExpr= Extent=[88:14 - 88:19]
1204*15c1e368STed Kremenek // CHECK: 88:23: UnexposedExpr= Extent=[88:23 - 88:33]
1205*15c1e368STed Kremenek // CHECK: 88:23: DeclRefExpr=c:2:14 Extent=[88:23 - 88:24]
1206*15c1e368STed Kremenek // CHECK: 88:28: UnexposedExpr= Extent=[88:28 - 88:33]
1207*15c1e368STed Kremenek // CHECK: 88:28: UnexposedExpr= Extent=[88:28 - 88:33]
1208*15c1e368STed Kremenek // CHECK: 89:9: UnexposedExpr= Extent=[89:9 - 89:33]
1209*15c1e368STed Kremenek // CHECK: 89:9: UnexposedExpr= Extent=[89:9 - 89:19]
1210*15c1e368STed Kremenek // CHECK: 89:9: DeclRefExpr=c:2:14 Extent=[89:9 - 89:10]
1211*15c1e368STed Kremenek // CHECK: 89:14: UnexposedExpr= Extent=[89:14 - 89:19]
1212*15c1e368STed Kremenek // CHECK: 89:14: UnexposedExpr= Extent=[89:14 - 89:19]
1213*15c1e368STed Kremenek // CHECK: 89:23: UnexposedExpr= Extent=[89:23 - 89:33]
1214*15c1e368STed Kremenek // CHECK: 89:23: DeclRefExpr=c:2:14 Extent=[89:23 - 89:24]
1215*15c1e368STed Kremenek // CHECK: 89:28: UnexposedExpr= Extent=[89:28 - 89:33]
1216*15c1e368STed Kremenek // CHECK: 89:28: UnexposedExpr= Extent=[89:28 - 89:33]
1217*15c1e368STed Kremenek // CHECK: 90:9: UnexposedExpr= Extent=[90:9 - 90:33]
1218*15c1e368STed Kremenek // CHECK: 90:9: UnexposedExpr= Extent=[90:9 - 90:19]
1219*15c1e368STed Kremenek // CHECK: 90:9: DeclRefExpr=c:2:14 Extent=[90:9 - 90:10]
1220*15c1e368STed Kremenek // CHECK: 90:14: UnexposedExpr= Extent=[90:14 - 90:19]
1221*15c1e368STed Kremenek // CHECK: 90:14: UnexposedExpr= Extent=[90:14 - 90:19]
1222*15c1e368STed Kremenek // CHECK: 90:23: UnexposedExpr= Extent=[90:23 - 90:33]
1223*15c1e368STed Kremenek // CHECK: 90:23: DeclRefExpr=c:2:14 Extent=[90:23 - 90:24]
1224*15c1e368STed Kremenek // CHECK: 90:28: UnexposedExpr= Extent=[90:28 - 90:33]
1225*15c1e368STed Kremenek // CHECK: 90:28: UnexposedExpr= Extent=[90:28 - 90:33]
1226*15c1e368STed Kremenek // CHECK: 91:9: UnexposedExpr= Extent=[91:9 - 91:33]
1227*15c1e368STed Kremenek // CHECK: 91:9: UnexposedExpr= Extent=[91:9 - 91:19]
1228*15c1e368STed Kremenek // CHECK: 91:9: DeclRefExpr=c:2:14 Extent=[91:9 - 91:10]
1229*15c1e368STed Kremenek // CHECK: 91:14: UnexposedExpr= Extent=[91:14 - 91:19]
1230*15c1e368STed Kremenek // CHECK: 91:14: UnexposedExpr= Extent=[91:14 - 91:19]
1231*15c1e368STed Kremenek // CHECK: 91:23: UnexposedExpr= Extent=[91:23 - 91:33]
1232*15c1e368STed Kremenek // CHECK: 91:23: DeclRefExpr=c:2:14 Extent=[91:23 - 91:24]
1233*15c1e368STed Kremenek // CHECK: 91:28: UnexposedExpr= Extent=[91:28 - 91:33]
1234*15c1e368STed Kremenek // CHECK: 91:28: UnexposedExpr= Extent=[91:28 - 91:33]
1235*15c1e368STed Kremenek // CHECK: 92:9: UnexposedExpr= Extent=[92:9 - 92:33]
1236*15c1e368STed Kremenek // CHECK: 92:9: UnexposedExpr= Extent=[92:9 - 92:19]
1237*15c1e368STed Kremenek // CHECK: 92:9: DeclRefExpr=c:2:14 Extent=[92:9 - 92:10]
1238*15c1e368STed Kremenek // CHECK: 92:14: UnexposedExpr= Extent=[92:14 - 92:19]
1239*15c1e368STed Kremenek // CHECK: 92:14: UnexposedExpr= Extent=[92:14 - 92:19]
1240*15c1e368STed Kremenek // CHECK: 92:23: UnexposedExpr= Extent=[92:23 - 92:33]
1241*15c1e368STed Kremenek // CHECK: 92:23: DeclRefExpr=c:2:14 Extent=[92:23 - 92:24]
1242*15c1e368STed Kremenek // CHECK: 92:28: UnexposedExpr= Extent=[92:28 - 92:33]
1243*15c1e368STed Kremenek // CHECK: 92:28: UnexposedExpr= Extent=[92:28 - 92:33]
1244*15c1e368STed Kremenek // CHECK: 93:9: UnexposedExpr= Extent=[93:9 - 93:33]
1245*15c1e368STed Kremenek // CHECK: 93:9: UnexposedExpr= Extent=[93:9 - 93:19]
1246*15c1e368STed Kremenek // CHECK: 93:9: DeclRefExpr=c:2:14 Extent=[93:9 - 93:10]
1247*15c1e368STed Kremenek // CHECK: 93:14: UnexposedExpr= Extent=[93:14 - 93:19]
1248*15c1e368STed Kremenek // CHECK: 93:14: UnexposedExpr= Extent=[93:14 - 93:19]
1249*15c1e368STed Kremenek // CHECK: 93:23: UnexposedExpr= Extent=[93:23 - 93:33]
1250*15c1e368STed Kremenek // CHECK: 93:23: DeclRefExpr=c:2:14 Extent=[93:23 - 93:24]
1251*15c1e368STed Kremenek // CHECK: 93:28: UnexposedExpr= Extent=[93:28 - 93:33]
1252*15c1e368STed Kremenek // CHECK: 93:28: UnexposedExpr= Extent=[93:28 - 93:33]
1253*15c1e368STed Kremenek // CHECK: 94:9: UnexposedExpr= Extent=[94:9 - 94:33]
1254*15c1e368STed Kremenek // CHECK: 94:9: UnexposedExpr= Extent=[94:9 - 94:19]
1255*15c1e368STed Kremenek // CHECK: 94:9: DeclRefExpr=c:2:14 Extent=[94:9 - 94:10]
1256*15c1e368STed Kremenek // CHECK: 94:14: UnexposedExpr= Extent=[94:14 - 94:19]
1257*15c1e368STed Kremenek // CHECK: 94:14: UnexposedExpr= Extent=[94:14 - 94:19]
1258*15c1e368STed Kremenek // CHECK: 94:23: UnexposedExpr= Extent=[94:23 - 94:33]
1259*15c1e368STed Kremenek // CHECK: 94:23: DeclRefExpr=c:2:14 Extent=[94:23 - 94:24]
1260*15c1e368STed Kremenek // CHECK: 94:28: UnexposedExpr= Extent=[94:28 - 94:33]
1261*15c1e368STed Kremenek // CHECK: 94:28: UnexposedExpr= Extent=[94:28 - 94:33]
1262*15c1e368STed Kremenek // CHECK: 95:9: UnexposedExpr= Extent=[95:9 - 95:33]
1263*15c1e368STed Kremenek // CHECK: 95:9: UnexposedExpr= Extent=[95:9 - 95:19]
1264*15c1e368STed Kremenek // CHECK: 95:9: DeclRefExpr=c:2:14 Extent=[95:9 - 95:10]
1265*15c1e368STed Kremenek // CHECK: 95:14: UnexposedExpr= Extent=[95:14 - 95:19]
1266*15c1e368STed Kremenek // CHECK: 95:14: UnexposedExpr= Extent=[95:14 - 95:19]
1267*15c1e368STed Kremenek // CHECK: 95:23: UnexposedExpr= Extent=[95:23 - 95:33]
1268*15c1e368STed Kremenek // CHECK: 95:23: DeclRefExpr=c:2:14 Extent=[95:23 - 95:24]
1269*15c1e368STed Kremenek // CHECK: 95:28: UnexposedExpr= Extent=[95:28 - 95:33]
1270*15c1e368STed Kremenek // CHECK: 95:28: UnexposedExpr= Extent=[95:28 - 95:33]
1271*15c1e368STed Kremenek // CHECK: 96:9: UnexposedExpr= Extent=[96:9 - 96:33]
1272*15c1e368STed Kremenek // CHECK: 96:9: UnexposedExpr= Extent=[96:9 - 96:19]
1273*15c1e368STed Kremenek // CHECK: 96:9: DeclRefExpr=c:2:14 Extent=[96:9 - 96:10]
1274*15c1e368STed Kremenek // CHECK: 96:14: UnexposedExpr= Extent=[96:14 - 96:19]
1275*15c1e368STed Kremenek // CHECK: 96:14: UnexposedExpr= Extent=[96:14 - 96:19]
1276*15c1e368STed Kremenek // CHECK: 96:23: UnexposedExpr= Extent=[96:23 - 96:33]
1277*15c1e368STed Kremenek // CHECK: 96:23: DeclRefExpr=c:2:14 Extent=[96:23 - 96:24]
1278*15c1e368STed Kremenek // CHECK: 96:28: UnexposedExpr= Extent=[96:28 - 96:33]
1279*15c1e368STed Kremenek // CHECK: 96:28: UnexposedExpr= Extent=[96:28 - 96:33]
1280*15c1e368STed Kremenek // CHECK: 97:9: UnexposedExpr= Extent=[97:9 - 97:33]
1281*15c1e368STed Kremenek // CHECK: 97:9: UnexposedExpr= Extent=[97:9 - 97:19]
1282*15c1e368STed Kremenek // CHECK: 97:9: DeclRefExpr=c:2:14 Extent=[97:9 - 97:10]
1283*15c1e368STed Kremenek // CHECK: 97:14: UnexposedExpr= Extent=[97:14 - 97:19]
1284*15c1e368STed Kremenek // CHECK: 97:14: UnexposedExpr= Extent=[97:14 - 97:19]
1285*15c1e368STed Kremenek // CHECK: 97:23: UnexposedExpr= Extent=[97:23 - 97:33]
1286*15c1e368STed Kremenek // CHECK: 97:23: DeclRefExpr=c:2:14 Extent=[97:23 - 97:24]
1287*15c1e368STed Kremenek // CHECK: 97:28: UnexposedExpr= Extent=[97:28 - 97:33]
1288*15c1e368STed Kremenek // CHECK: 97:28: UnexposedExpr= Extent=[97:28 - 97:33]
1289*15c1e368STed Kremenek // CHECK: 98:8: UnexposedExpr= Extent=[98:8 - 98:18]
1290*15c1e368STed Kremenek // CHECK: 98:8: DeclRefExpr=c:2:14 Extent=[98:8 - 98:9]
1291*15c1e368STed Kremenek // CHECK: 98:13: UnexposedExpr= Extent=[98:13 - 98:18]
1292*15c1e368STed Kremenek // CHECK: 98:13: UnexposedExpr= Extent=[98:13 - 98:18]
1293*15c1e368STed Kremenek // CHECK: 98:23: UnexposedExpr= Extent=[98:23 - 98:47]
1294*15c1e368STed Kremenek // CHECK: 98:23: UnexposedExpr= Extent=[98:23 - 98:33]
1295*15c1e368STed Kremenek // CHECK: 98:23: DeclRefExpr=c:2:14 Extent=[98:23 - 98:24]
1296*15c1e368STed Kremenek // CHECK: 98:28: UnexposedExpr= Extent=[98:28 - 98:33]
1297*15c1e368STed Kremenek // CHECK: 98:28: UnexposedExpr= Extent=[98:28 - 98:33]
1298*15c1e368STed Kremenek // CHECK: 98:37: UnexposedExpr= Extent=[98:37 - 98:47]
1299*15c1e368STed Kremenek // CHECK: 98:37: DeclRefExpr=c:2:14 Extent=[98:37 - 98:38]
1300*15c1e368STed Kremenek // CHECK: 98:42: UnexposedExpr= Extent=[98:42 - 98:47]
1301*15c1e368STed Kremenek // CHECK: 98:42: UnexposedExpr= Extent=[98:42 - 98:47]
1302*15c1e368STed Kremenek // CHECK: 99:9: UnexposedExpr= Extent=[99:9 - 99:33]
1303*15c1e368STed Kremenek // CHECK: 99:9: UnexposedExpr= Extent=[99:9 - 99:19]
1304*15c1e368STed Kremenek // CHECK: 99:9: DeclRefExpr=c:2:14 Extent=[99:9 - 99:10]
1305*15c1e368STed Kremenek // CHECK: 99:14: UnexposedExpr= Extent=[99:14 - 99:19]
1306*15c1e368STed Kremenek // CHECK: 99:14: UnexposedExpr= Extent=[99:14 - 99:19]
1307*15c1e368STed Kremenek // CHECK: 99:23: UnexposedExpr= Extent=[99:23 - 99:33]
1308*15c1e368STed Kremenek // CHECK: 99:23: DeclRefExpr=c:2:14 Extent=[99:23 - 99:24]
1309*15c1e368STed Kremenek // CHECK: 99:28: UnexposedExpr= Extent=[99:28 - 99:33]
1310*15c1e368STed Kremenek // CHECK: 99:28: UnexposedExpr= Extent=[99:28 - 99:33]
1311*15c1e368STed Kremenek // CHECK: 100:9: UnexposedExpr= Extent=[100:9 - 100:33]
1312*15c1e368STed Kremenek // CHECK: 100:9: UnexposedExpr= Extent=[100:9 - 100:19]
1313*15c1e368STed Kremenek // CHECK: 100:9: DeclRefExpr=c:2:14 Extent=[100:9 - 100:10]
1314*15c1e368STed Kremenek // CHECK: 100:14: UnexposedExpr= Extent=[100:14 - 100:19]
1315*15c1e368STed Kremenek // CHECK: 100:14: UnexposedExpr= Extent=[100:14 - 100:19]
1316*15c1e368STed Kremenek // CHECK: 100:23: UnexposedExpr= Extent=[100:23 - 100:33]
1317*15c1e368STed Kremenek // CHECK: 100:23: DeclRefExpr=c:2:14 Extent=[100:23 - 100:24]
1318*15c1e368STed Kremenek // CHECK: 100:28: UnexposedExpr= Extent=[100:28 - 100:33]
1319*15c1e368STed Kremenek // CHECK: 100:28: UnexposedExpr= Extent=[100:28 - 100:33]
1320*15c1e368STed Kremenek // CHECK: 101:9: UnexposedExpr= Extent=[101:9 - 101:33]
1321*15c1e368STed Kremenek // CHECK: 101:9: UnexposedExpr= Extent=[101:9 - 101:19]
1322*15c1e368STed Kremenek // CHECK: 101:9: DeclRefExpr=c:2:14 Extent=[101:9 - 101:10]
1323*15c1e368STed Kremenek // CHECK: 101:14: UnexposedExpr= Extent=[101:14 - 101:19]
1324*15c1e368STed Kremenek // CHECK: 101:14: UnexposedExpr= Extent=[101:14 - 101:19]
1325*15c1e368STed Kremenek // CHECK: 101:23: UnexposedExpr= Extent=[101:23 - 101:33]
1326*15c1e368STed Kremenek // CHECK: 101:23: DeclRefExpr=c:2:14 Extent=[101:23 - 101:24]
1327*15c1e368STed Kremenek // CHECK: 101:28: UnexposedExpr= Extent=[101:28 - 101:33]
1328*15c1e368STed Kremenek // CHECK: 101:28: UnexposedExpr= Extent=[101:28 - 101:33]
1329*15c1e368STed Kremenek // CHECK: 102:9: UnexposedExpr= Extent=[102:9 - 102:33]
1330*15c1e368STed Kremenek // CHECK: 102:9: UnexposedExpr= Extent=[102:9 - 102:19]
1331*15c1e368STed Kremenek // CHECK: 102:9: DeclRefExpr=c:2:14 Extent=[102:9 - 102:10]
1332*15c1e368STed Kremenek // CHECK: 102:14: UnexposedExpr= Extent=[102:14 - 102:19]
1333*15c1e368STed Kremenek // CHECK: 102:14: UnexposedExpr= Extent=[102:14 - 102:19]
1334*15c1e368STed Kremenek // CHECK: 102:23: UnexposedExpr= Extent=[102:23 - 102:33]
1335*15c1e368STed Kremenek // CHECK: 102:23: DeclRefExpr=c:2:14 Extent=[102:23 - 102:24]
1336*15c1e368STed Kremenek // CHECK: 102:28: UnexposedExpr= Extent=[102:28 - 102:33]
1337*15c1e368STed Kremenek // CHECK: 102:28: UnexposedExpr= Extent=[102:28 - 102:33]
1338*15c1e368STed Kremenek // CHECK: 103:9: UnexposedExpr= Extent=[103:9 - 103:33]
1339*15c1e368STed Kremenek // CHECK: 103:9: UnexposedExpr= Extent=[103:9 - 103:19]
1340*15c1e368STed Kremenek // CHECK: 103:9: DeclRefExpr=c:2:14 Extent=[103:9 - 103:10]
1341*15c1e368STed Kremenek // CHECK: 103:14: UnexposedExpr= Extent=[103:14 - 103:19]
1342*15c1e368STed Kremenek // CHECK: 103:14: UnexposedExpr= Extent=[103:14 - 103:19]
1343*15c1e368STed Kremenek // CHECK: 103:23: UnexposedExpr= Extent=[103:23 - 103:33]
1344*15c1e368STed Kremenek // CHECK: 103:23: DeclRefExpr=c:2:14 Extent=[103:23 - 103:24]
1345*15c1e368STed Kremenek // CHECK: 103:28: UnexposedExpr= Extent=[103:28 - 103:33]
1346*15c1e368STed Kremenek // CHECK: 103:28: UnexposedExpr= Extent=[103:28 - 103:33]
1347*15c1e368STed Kremenek // CHECK: 104:9: UnexposedExpr= Extent=[104:9 - 104:33]
1348*15c1e368STed Kremenek // CHECK: 104:9: UnexposedExpr= Extent=[104:9 - 104:19]
1349*15c1e368STed Kremenek // CHECK: 104:9: DeclRefExpr=c:2:14 Extent=[104:9 - 104:10]
1350*15c1e368STed Kremenek // CHECK: 104:14: UnexposedExpr= Extent=[104:14 - 104:19]
1351*15c1e368STed Kremenek // CHECK: 104:14: UnexposedExpr= Extent=[104:14 - 104:19]
1352*15c1e368STed Kremenek // CHECK: 104:23: UnexposedExpr= Extent=[104:23 - 104:33]
1353*15c1e368STed Kremenek // CHECK: 104:23: DeclRefExpr=c:2:14 Extent=[104:23 - 104:24]
1354*15c1e368STed Kremenek // CHECK: 104:28: UnexposedExpr= Extent=[104:28 - 104:33]
1355*15c1e368STed Kremenek // CHECK: 104:28: UnexposedExpr= Extent=[104:28 - 104:33]
1356*15c1e368STed Kremenek // CHECK: 105:8: UnexposedExpr= Extent=[105:8 - 105:18]
1357*15c1e368STed Kremenek // CHECK: 105:8: DeclRefExpr=c:2:14 Extent=[105:8 - 105:9]
1358*15c1e368STed Kremenek // CHECK: 105:13: UnexposedExpr= Extent=[105:13 - 105:18]
1359*15c1e368STed Kremenek // CHECK: 105:13: UnexposedExpr= Extent=[105:13 - 105:18]
1360*15c1e368STed Kremenek // CHECK: 105:23: UnexposedExpr= Extent=[105:23 - 105:47]
1361*15c1e368STed Kremenek // CHECK: 105:23: UnexposedExpr= Extent=[105:23 - 105:33]
1362*15c1e368STed Kremenek // CHECK: 105:23: DeclRefExpr=c:2:14 Extent=[105:23 - 105:24]
1363*15c1e368STed Kremenek // CHECK: 105:28: UnexposedExpr= Extent=[105:28 - 105:33]
1364*15c1e368STed Kremenek // CHECK: 105:28: UnexposedExpr= Extent=[105:28 - 105:33]
1365*15c1e368STed Kremenek // CHECK: 105:37: UnexposedExpr= Extent=[105:37 - 105:47]
1366*15c1e368STed Kremenek // CHECK: 105:37: DeclRefExpr=c:2:14 Extent=[105:37 - 105:38]
1367*15c1e368STed Kremenek // CHECK: 105:42: UnexposedExpr= Extent=[105:42 - 105:47]
1368*15c1e368STed Kremenek // CHECK: 105:42: UnexposedExpr= Extent=[105:42 - 105:47]
1369*15c1e368STed Kremenek // CHECK: 106:9: UnexposedExpr= Extent=[106:9 - 106:33]
1370*15c1e368STed Kremenek // CHECK: 106:9: UnexposedExpr= Extent=[106:9 - 106:19]
1371*15c1e368STed Kremenek // CHECK: 106:9: DeclRefExpr=c:2:14 Extent=[106:9 - 106:10]
1372*15c1e368STed Kremenek // CHECK: 106:14: UnexposedExpr= Extent=[106:14 - 106:19]
1373*15c1e368STed Kremenek // CHECK: 106:14: UnexposedExpr= Extent=[106:14 - 106:19]
1374*15c1e368STed Kremenek // CHECK: 106:23: UnexposedExpr= Extent=[106:23 - 106:33]
1375*15c1e368STed Kremenek // CHECK: 106:23: DeclRefExpr=c:2:14 Extent=[106:23 - 106:24]
1376*15c1e368STed Kremenek // CHECK: 106:28: UnexposedExpr= Extent=[106:28 - 106:33]
1377*15c1e368STed Kremenek // CHECK: 106:28: UnexposedExpr= Extent=[106:28 - 106:33]
1378*15c1e368STed Kremenek // CHECK: 107:9: UnexposedExpr= Extent=[107:9 - 107:33]
1379*15c1e368STed Kremenek // CHECK: 107:9: UnexposedExpr= Extent=[107:9 - 107:19]
1380*15c1e368STed Kremenek // CHECK: 107:9: DeclRefExpr=c:2:14 Extent=[107:9 - 107:10]
1381*15c1e368STed Kremenek // CHECK: 107:14: UnexposedExpr= Extent=[107:14 - 107:19]
1382*15c1e368STed Kremenek // CHECK: 107:14: UnexposedExpr= Extent=[107:14 - 107:19]
1383*15c1e368STed Kremenek // CHECK: 107:23: UnexposedExpr= Extent=[107:23 - 107:33]
1384*15c1e368STed Kremenek // CHECK: 107:23: DeclRefExpr=c:2:14 Extent=[107:23 - 107:24]
1385*15c1e368STed Kremenek // CHECK: 107:28: UnexposedExpr= Extent=[107:28 - 107:33]
1386*15c1e368STed Kremenek // CHECK: 107:28: UnexposedExpr= Extent=[107:28 - 107:33]
1387*15c1e368STed Kremenek // CHECK: 108:8: UnexposedExpr= Extent=[108:8 - 108:18]
1388*15c1e368STed Kremenek // CHECK: 108:8: DeclRefExpr=c:2:14 Extent=[108:8 - 108:9]
1389*15c1e368STed Kremenek // CHECK: 108:13: UnexposedExpr= Extent=[108:13 - 108:18]
1390*15c1e368STed Kremenek // CHECK: 108:13: UnexposedExpr= Extent=[108:13 - 108:18]
1391*15c1e368STed Kremenek // CHECK: 108:23: UnexposedExpr= Extent=[108:23 - 108:47]
1392*15c1e368STed Kremenek // CHECK: 108:23: UnexposedExpr= Extent=[108:23 - 108:33]
1393*15c1e368STed Kremenek // CHECK: 108:23: DeclRefExpr=c:2:14 Extent=[108:23 - 108:24]
1394*15c1e368STed Kremenek // CHECK: 108:28: UnexposedExpr= Extent=[108:28 - 108:33]
1395*15c1e368STed Kremenek // CHECK: 108:28: UnexposedExpr= Extent=[108:28 - 108:33]
1396*15c1e368STed Kremenek // CHECK: 108:37: UnexposedExpr= Extent=[108:37 - 108:47]
1397*15c1e368STed Kremenek // CHECK: 108:37: DeclRefExpr=c:2:14 Extent=[108:37 - 108:38]
1398*15c1e368STed Kremenek // CHECK: 108:42: UnexposedExpr= Extent=[108:42 - 108:47]
1399*15c1e368STed Kremenek // CHECK: 108:42: UnexposedExpr= Extent=[108:42 - 108:47]
1400*15c1e368STed Kremenek // CHECK: 109:8: UnexposedExpr= Extent=[109:8 - 109:18]
1401*15c1e368STed Kremenek // CHECK: 109:8: DeclRefExpr=c:2:14 Extent=[109:8 - 109:9]
1402*15c1e368STed Kremenek // CHECK: 109:13: UnexposedExpr= Extent=[109:13 - 109:18]
1403*15c1e368STed Kremenek // CHECK: 109:13: UnexposedExpr= Extent=[109:13 - 109:18]
1404*15c1e368STed Kremenek // CHECK: 109:22: UnexposedExpr= Extent=[109:22 - 109:32]
1405*15c1e368STed Kremenek // CHECK: 109:22: DeclRefExpr=c:2:14 Extent=[109:22 - 109:23]
1406*15c1e368STed Kremenek // CHECK: 109:27: UnexposedExpr= Extent=[109:27 - 109:32]
1407*15c1e368STed Kremenek // CHECK: 109:27: UnexposedExpr= Extent=[109:27 - 109:32]
1408*15c1e368STed Kremenek // CHECK: 109:37: UnexposedExpr= Extent=[109:37 - 109:61]
1409*15c1e368STed Kremenek // CHECK: 109:37: UnexposedExpr= Extent=[109:37 - 109:47]
1410*15c1e368STed Kremenek // CHECK: 109:37: DeclRefExpr=c:2:14 Extent=[109:37 - 109:38]
1411*15c1e368STed Kremenek // CHECK: 109:42: UnexposedExpr= Extent=[109:42 - 109:47]
1412*15c1e368STed Kremenek // CHECK: 109:42: UnexposedExpr= Extent=[109:42 - 109:47]
1413*15c1e368STed Kremenek // CHECK: 109:51: UnexposedExpr= Extent=[109:51 - 109:61]
1414*15c1e368STed Kremenek // CHECK: 109:51: DeclRefExpr=c:2:14 Extent=[109:51 - 109:52]
1415*15c1e368STed Kremenek // CHECK: 109:56: UnexposedExpr= Extent=[109:56 - 109:61]
1416*15c1e368STed Kremenek // CHECK: 109:56: UnexposedExpr= Extent=[109:56 - 109:61]
1417*15c1e368STed Kremenek // CHECK: 110:9: UnexposedExpr= Extent=[110:9 - 110:33]
1418*15c1e368STed Kremenek // CHECK: 110:9: UnexposedExpr= Extent=[110:9 - 110:19]
1419*15c1e368STed Kremenek // CHECK: 110:9: DeclRefExpr=c:2:14 Extent=[110:9 - 110:10]
1420*15c1e368STed Kremenek // CHECK: 110:14: UnexposedExpr= Extent=[110:14 - 110:19]
1421*15c1e368STed Kremenek // CHECK: 110:14: UnexposedExpr= Extent=[110:14 - 110:19]
1422*15c1e368STed Kremenek // CHECK: 110:23: UnexposedExpr= Extent=[110:23 - 110:33]
1423*15c1e368STed Kremenek // CHECK: 110:23: DeclRefExpr=c:2:14 Extent=[110:23 - 110:24]
1424*15c1e368STed Kremenek // CHECK: 110:28: UnexposedExpr= Extent=[110:28 - 110:33]
1425*15c1e368STed Kremenek // CHECK: 110:28: UnexposedExpr= Extent=[110:28 - 110:33]
1426*15c1e368STed Kremenek // CHECK: 111:9: UnexposedExpr= Extent=[111:9 - 111:33]
1427*15c1e368STed Kremenek // CHECK: 111:9: UnexposedExpr= Extent=[111:9 - 111:19]
1428*15c1e368STed Kremenek // CHECK: 111:9: DeclRefExpr=c:2:14 Extent=[111:9 - 111:10]
1429*15c1e368STed Kremenek // CHECK: 111:14: UnexposedExpr= Extent=[111:14 - 111:19]
1430*15c1e368STed Kremenek // CHECK: 111:14: UnexposedExpr= Extent=[111:14 - 111:19]
1431*15c1e368STed Kremenek // CHECK: 111:23: UnexposedExpr= Extent=[111:23 - 111:33]
1432*15c1e368STed Kremenek // CHECK: 111:23: DeclRefExpr=c:2:14 Extent=[111:23 - 111:24]
1433*15c1e368STed Kremenek // CHECK: 111:28: UnexposedExpr= Extent=[111:28 - 111:33]
1434*15c1e368STed Kremenek // CHECK: 111:28: UnexposedExpr= Extent=[111:28 - 111:33]
1435*15c1e368STed Kremenek // CHECK: 112:8: UnexposedExpr= Extent=[112:8 - 112:18]
1436*15c1e368STed Kremenek // CHECK: 112:8: DeclRefExpr=c:2:14 Extent=[112:8 - 112:9]
1437*15c1e368STed Kremenek // CHECK: 112:13: UnexposedExpr= Extent=[112:13 - 112:18]
1438*15c1e368STed Kremenek // CHECK: 112:13: UnexposedExpr= Extent=[112:13 - 112:18]
1439*15c1e368STed Kremenek // CHECK: 112:22: UnexposedExpr= Extent=[112:22 - 112:32]
1440*15c1e368STed Kremenek // CHECK: 112:22: DeclRefExpr=c:2:14 Extent=[112:22 - 112:23]
1441*15c1e368STed Kremenek // CHECK: 112:27: UnexposedExpr= Extent=[112:27 - 112:32]
1442*15c1e368STed Kremenek // CHECK: 112:27: UnexposedExpr= Extent=[112:27 - 112:32]
1443*15c1e368STed Kremenek // CHECK: 112:37: UnexposedExpr= Extent=[112:37 - 112:61]
1444*15c1e368STed Kremenek // CHECK: 112:37: UnexposedExpr= Extent=[112:37 - 112:47]
1445*15c1e368STed Kremenek // CHECK: 112:37: DeclRefExpr=c:2:14 Extent=[112:37 - 112:38]
1446*15c1e368STed Kremenek // CHECK: 112:42: UnexposedExpr= Extent=[112:42 - 112:47]
1447*15c1e368STed Kremenek // CHECK: 112:42: UnexposedExpr= Extent=[112:42 - 112:47]
1448*15c1e368STed Kremenek // CHECK: 112:51: UnexposedExpr= Extent=[112:51 - 112:61]
1449*15c1e368STed Kremenek // CHECK: 112:51: DeclRefExpr=c:2:14 Extent=[112:51 - 112:52]
1450*15c1e368STed Kremenek // CHECK: 112:56: UnexposedExpr= Extent=[112:56 - 112:61]
1451*15c1e368STed Kremenek // CHECK: 112:56: UnexposedExpr= Extent=[112:56 - 112:61]
1452*15c1e368STed Kremenek // CHECK: 113:9: UnexposedExpr= Extent=[113:9 - 113:33]
1453*15c1e368STed Kremenek // CHECK: 113:9: UnexposedExpr= Extent=[113:9 - 113:19]
1454*15c1e368STed Kremenek // CHECK: 113:9: DeclRefExpr=c:2:14 Extent=[113:9 - 113:10]
1455*15c1e368STed Kremenek // CHECK: 113:14: UnexposedExpr= Extent=[113:14 - 113:19]
1456*15c1e368STed Kremenek // CHECK: 113:14: UnexposedExpr= Extent=[113:14 - 113:19]
1457*15c1e368STed Kremenek // CHECK: 113:23: UnexposedExpr= Extent=[113:23 - 113:33]
1458*15c1e368STed Kremenek // CHECK: 113:23: DeclRefExpr=c:2:14 Extent=[113:23 - 113:24]
1459*15c1e368STed Kremenek // CHECK: 113:28: UnexposedExpr= Extent=[113:28 - 113:33]
1460*15c1e368STed Kremenek // CHECK: 113:28: UnexposedExpr= Extent=[113:28 - 113:33]
1461*15c1e368STed Kremenek // CHECK: 114:8: UnexposedExpr= Extent=[114:8 - 114:18]
1462*15c1e368STed Kremenek // CHECK: 114:8: DeclRefExpr=c:2:14 Extent=[114:8 - 114:9]
1463*15c1e368STed Kremenek // CHECK: 114:13: UnexposedExpr= Extent=[114:13 - 114:18]
1464*15c1e368STed Kremenek // CHECK: 114:13: UnexposedExpr= Extent=[114:13 - 114:18]
1465*15c1e368STed Kremenek // CHECK: 114:23: UnexposedExpr= Extent=[114:23 - 114:47]
1466*15c1e368STed Kremenek // CHECK: 114:23: UnexposedExpr= Extent=[114:23 - 114:33]
1467*15c1e368STed Kremenek // CHECK: 114:23: DeclRefExpr=c:2:14 Extent=[114:23 - 114:24]
1468*15c1e368STed Kremenek // CHECK: 114:28: UnexposedExpr= Extent=[114:28 - 114:33]
1469*15c1e368STed Kremenek // CHECK: 114:28: UnexposedExpr= Extent=[114:28 - 114:33]
1470*15c1e368STed Kremenek // CHECK: 114:37: UnexposedExpr= Extent=[114:37 - 114:47]
1471*15c1e368STed Kremenek // CHECK: 114:37: DeclRefExpr=c:2:14 Extent=[114:37 - 114:38]
1472*15c1e368STed Kremenek // CHECK: 114:42: UnexposedExpr= Extent=[114:42 - 114:47]
1473*15c1e368STed Kremenek // CHECK: 114:42: UnexposedExpr= Extent=[114:42 - 114:47]
1474*15c1e368STed Kremenek // CHECK: 115:8: UnexposedExpr= Extent=[115:8 - 115:18]
1475*15c1e368STed Kremenek // CHECK: 115:8: DeclRefExpr=c:2:14 Extent=[115:8 - 115:9]
1476*15c1e368STed Kremenek // CHECK: 115:13: UnexposedExpr= Extent=[115:13 - 115:18]
1477*15c1e368STed Kremenek // CHECK: 115:13: UnexposedExpr= Extent=[115:13 - 115:18]
1478*15c1e368STed Kremenek // CHECK: 115:23: UnexposedExpr= Extent=[115:23 - 115:47]
1479*15c1e368STed Kremenek // CHECK: 115:23: UnexposedExpr= Extent=[115:23 - 115:33]
1480*15c1e368STed Kremenek // CHECK: 115:23: DeclRefExpr=c:2:14 Extent=[115:23 - 115:24]
1481*15c1e368STed Kremenek // CHECK: 115:28: UnexposedExpr= Extent=[115:28 - 115:33]
1482*15c1e368STed Kremenek // CHECK: 115:28: UnexposedExpr= Extent=[115:28 - 115:33]
1483*15c1e368STed Kremenek // CHECK: 115:37: UnexposedExpr= Extent=[115:37 - 115:47]
1484*15c1e368STed Kremenek // CHECK: 115:37: DeclRefExpr=c:2:14 Extent=[115:37 - 115:38]
1485*15c1e368STed Kremenek // CHECK: 115:42: UnexposedExpr= Extent=[115:42 - 115:47]
1486*15c1e368STed Kremenek // CHECK: 115:42: UnexposedExpr= Extent=[115:42 - 115:47]
1487*15c1e368STed Kremenek // CHECK: 116:9: UnexposedExpr= Extent=[116:9 - 116:33]
1488*15c1e368STed Kremenek // CHECK: 116:9: UnexposedExpr= Extent=[116:9 - 116:19]
1489*15c1e368STed Kremenek // CHECK: 116:9: DeclRefExpr=c:2:14 Extent=[116:9 - 116:10]
1490*15c1e368STed Kremenek // CHECK: 116:14: UnexposedExpr= Extent=[116:14 - 116:19]
1491*15c1e368STed Kremenek // CHECK: 116:14: UnexposedExpr= Extent=[116:14 - 116:19]
1492*15c1e368STed Kremenek // CHECK: 116:23: UnexposedExpr= Extent=[116:23 - 116:33]
1493*15c1e368STed Kremenek // CHECK: 116:23: DeclRefExpr=c:2:14 Extent=[116:23 - 116:24]
1494*15c1e368STed Kremenek // CHECK: 116:28: UnexposedExpr= Extent=[116:28 - 116:33]
1495*15c1e368STed Kremenek // CHECK: 116:28: UnexposedExpr= Extent=[116:28 - 116:33]
1496*15c1e368STed Kremenek // CHECK: 117:9: UnexposedExpr= Extent=[117:9 - 117:33]
1497*15c1e368STed Kremenek // CHECK: 117:9: UnexposedExpr= Extent=[117:9 - 117:19]
1498*15c1e368STed Kremenek // CHECK: 117:9: DeclRefExpr=c:2:14 Extent=[117:9 - 117:10]
1499*15c1e368STed Kremenek // CHECK: 117:14: UnexposedExpr= Extent=[117:14 - 117:19]
1500*15c1e368STed Kremenek // CHECK: 117:14: UnexposedExpr= Extent=[117:14 - 117:19]
1501*15c1e368STed Kremenek // CHECK: 117:23: UnexposedExpr= Extent=[117:23 - 117:33]
1502*15c1e368STed Kremenek // CHECK: 117:23: DeclRefExpr=c:2:14 Extent=[117:23 - 117:24]
1503*15c1e368STed Kremenek // CHECK: 117:28: UnexposedExpr= Extent=[117:28 - 117:33]
1504*15c1e368STed Kremenek // CHECK: 117:28: UnexposedExpr= Extent=[117:28 - 117:33]
1505*15c1e368STed Kremenek // CHECK: 118:9: UnexposedExpr= Extent=[118:9 - 118:35]
1506*15c1e368STed Kremenek // CHECK: 118:9: UnexposedExpr= Extent=[118:9 - 118:20]
1507*15c1e368STed Kremenek // CHECK: 118:9: DeclRefExpr=c:2:14 Extent=[118:9 - 118:10]
1508*15c1e368STed Kremenek // CHECK: 118:14: UnexposedExpr= Extent=[118:14 - 118:20]
1509*15c1e368STed Kremenek // CHECK: 118:14: UnexposedExpr= Extent=[118:14 - 118:20]
1510*15c1e368STed Kremenek // CHECK: 118:24: UnexposedExpr= Extent=[118:24 - 118:35]
1511*15c1e368STed Kremenek // CHECK: 118:24: DeclRefExpr=c:2:14 Extent=[118:24 - 118:25]
1512*15c1e368STed Kremenek // CHECK: 118:29: UnexposedExpr= Extent=[118:29 - 118:35]
1513*15c1e368STed Kremenek // CHECK: 118:29: UnexposedExpr= Extent=[118:29 - 118:35]
1514*15c1e368STed Kremenek // CHECK: 119:9: UnexposedExpr= Extent=[119:9 - 119:35]
1515*15c1e368STed Kremenek // CHECK: 119:9: UnexposedExpr= Extent=[119:9 - 119:20]
1516*15c1e368STed Kremenek // CHECK: 119:9: DeclRefExpr=c:2:14 Extent=[119:9 - 119:10]
1517*15c1e368STed Kremenek // CHECK: 119:14: UnexposedExpr= Extent=[119:14 - 119:20]
1518*15c1e368STed Kremenek // CHECK: 119:14: UnexposedExpr= Extent=[119:14 - 119:20]
1519*15c1e368STed Kremenek // CHECK: 119:24: UnexposedExpr= Extent=[119:24 - 119:35]
1520*15c1e368STed Kremenek // CHECK: 119:24: DeclRefExpr=c:2:14 Extent=[119:24 - 119:25]
1521*15c1e368STed Kremenek // CHECK: 119:29: UnexposedExpr= Extent=[119:29 - 119:35]
1522*15c1e368STed Kremenek // CHECK: 119:29: UnexposedExpr= Extent=[119:29 - 119:35]
1523*15c1e368STed Kremenek // CHECK: 120:8: UnexposedExpr= Extent=[120:8 - 120:19]
1524*15c1e368STed Kremenek // CHECK: 120:8: DeclRefExpr=c:2:14 Extent=[120:8 - 120:9]
1525*15c1e368STed Kremenek // CHECK: 120:13: UnexposedExpr= Extent=[120:13 - 120:19]
1526*15c1e368STed Kremenek // CHECK: 120:13: UnexposedExpr= Extent=[120:13 - 120:19]
1527*15c1e368STed Kremenek // CHECK: 120:24: UnexposedExpr= Extent=[120:24 - 120:50]
1528*15c1e368STed Kremenek // CHECK: 120:24: UnexposedExpr= Extent=[120:24 - 120:35]
1529*15c1e368STed Kremenek // CHECK: 120:24: DeclRefExpr=c:2:14 Extent=[120:24 - 120:25]
1530*15c1e368STed Kremenek // CHECK: 120:29: UnexposedExpr= Extent=[120:29 - 120:35]
1531*15c1e368STed Kremenek // CHECK: 120:29: UnexposedExpr= Extent=[120:29 - 120:35]
1532*15c1e368STed Kremenek // CHECK: 120:39: UnexposedExpr= Extent=[120:39 - 120:50]
1533*15c1e368STed Kremenek // CHECK: 120:39: DeclRefExpr=c:2:14 Extent=[120:39 - 120:40]
1534*15c1e368STed Kremenek // CHECK: 120:44: UnexposedExpr= Extent=[120:44 - 120:50]
1535*15c1e368STed Kremenek // CHECK: 120:44: UnexposedExpr= Extent=[120:44 - 120:50]
1536*15c1e368STed Kremenek // CHECK: 121:9: UnexposedExpr= Extent=[121:9 - 121:35]
1537*15c1e368STed Kremenek // CHECK: 121:9: UnexposedExpr= Extent=[121:9 - 121:20]
1538*15c1e368STed Kremenek // CHECK: 121:9: DeclRefExpr=c:2:14 Extent=[121:9 - 121:10]
1539*15c1e368STed Kremenek // CHECK: 121:14: UnexposedExpr= Extent=[121:14 - 121:20]
1540*15c1e368STed Kremenek // CHECK: 121:14: UnexposedExpr= Extent=[121:14 - 121:20]
1541*15c1e368STed Kremenek // CHECK: 121:24: UnexposedExpr= Extent=[121:24 - 121:35]
1542*15c1e368STed Kremenek // CHECK: 121:24: DeclRefExpr=c:2:14 Extent=[121:24 - 121:25]
1543*15c1e368STed Kremenek // CHECK: 121:29: UnexposedExpr= Extent=[121:29 - 121:35]
1544*15c1e368STed Kremenek // CHECK: 121:29: UnexposedExpr= Extent=[121:29 - 121:35]
1545*15c1e368STed Kremenek // CHECK: 122:8: UnexposedExpr= Extent=[122:8 - 122:19]
1546*15c1e368STed Kremenek // CHECK: 122:8: DeclRefExpr=c:2:14 Extent=[122:8 - 122:9]
1547*15c1e368STed Kremenek // CHECK: 122:13: UnexposedExpr= Extent=[122:13 - 122:19]
1548*15c1e368STed Kremenek // CHECK: 122:13: UnexposedExpr= Extent=[122:13 - 122:19]
1549*15c1e368STed Kremenek // CHECK: 122:24: UnexposedExpr= Extent=[122:24 - 122:50]
1550*15c1e368STed Kremenek // CHECK: 122:24: UnexposedExpr= Extent=[122:24 - 122:35]
1551*15c1e368STed Kremenek // CHECK: 122:24: DeclRefExpr=c:2:14 Extent=[122:24 - 122:25]
1552*15c1e368STed Kremenek // CHECK: 122:29: UnexposedExpr= Extent=[122:29 - 122:35]
1553*15c1e368STed Kremenek // CHECK: 122:29: UnexposedExpr= Extent=[122:29 - 122:35]
1554*15c1e368STed Kremenek // CHECK: 122:39: UnexposedExpr= Extent=[122:39 - 122:50]
1555*15c1e368STed Kremenek // CHECK: 122:39: DeclRefExpr=c:2:14 Extent=[122:39 - 122:40]
1556*15c1e368STed Kremenek // CHECK: 122:44: UnexposedExpr= Extent=[122:44 - 122:50]
1557*15c1e368STed Kremenek // CHECK: 122:44: UnexposedExpr= Extent=[122:44 - 122:50]
1558*15c1e368STed Kremenek // CHECK: 123:9: UnexposedExpr= Extent=[123:9 - 123:35]
1559*15c1e368STed Kremenek // CHECK: 123:9: UnexposedExpr= Extent=[123:9 - 123:20]
1560*15c1e368STed Kremenek // CHECK: 123:9: DeclRefExpr=c:2:14 Extent=[123:9 - 123:10]
1561*15c1e368STed Kremenek // CHECK: 123:14: UnexposedExpr= Extent=[123:14 - 123:20]
1562*15c1e368STed Kremenek // CHECK: 123:14: UnexposedExpr= Extent=[123:14 - 123:20]
1563*15c1e368STed Kremenek // CHECK: 123:24: UnexposedExpr= Extent=[123:24 - 123:35]
1564*15c1e368STed Kremenek // CHECK: 123:24: DeclRefExpr=c:2:14 Extent=[123:24 - 123:25]
1565*15c1e368STed Kremenek // CHECK: 123:29: UnexposedExpr= Extent=[123:29 - 123:35]
1566*15c1e368STed Kremenek // CHECK: 123:29: UnexposedExpr= Extent=[123:29 - 123:35]
1567*15c1e368STed Kremenek // CHECK: 124:8: UnexposedExpr= Extent=[124:8 - 124:19]
1568*15c1e368STed Kremenek // CHECK: 124:8: DeclRefExpr=c:2:14 Extent=[124:8 - 124:9]
1569*15c1e368STed Kremenek // CHECK: 124:13: UnexposedExpr= Extent=[124:13 - 124:19]
1570*15c1e368STed Kremenek // CHECK: 124:13: UnexposedExpr= Extent=[124:13 - 124:19]
1571*15c1e368STed Kremenek // CHECK: 124:23: UnexposedExpr= Extent=[124:23 - 124:34]
1572*15c1e368STed Kremenek // CHECK: 124:23: DeclRefExpr=c:2:14 Extent=[124:23 - 124:24]
1573*15c1e368STed Kremenek // CHECK: 124:28: UnexposedExpr= Extent=[124:28 - 124:34]
1574*15c1e368STed Kremenek // CHECK: 124:28: UnexposedExpr= Extent=[124:28 - 124:34]
1575*15c1e368STed Kremenek // CHECK: 124:38: UnexposedExpr= Extent=[124:38 - 124:49]
1576*15c1e368STed Kremenek // CHECK: 124:38: DeclRefExpr=c:2:14 Extent=[124:38 - 124:39]
1577*15c1e368STed Kremenek // CHECK: 124:43: UnexposedExpr= Extent=[124:43 - 124:49]
1578*15c1e368STed Kremenek // CHECK: 124:43: UnexposedExpr= Extent=[124:43 - 124:49]
1579*15c1e368STed Kremenek // CHECK: 124:53: UnexposedExpr= Extent=[124:53 - 124:64]
1580*15c1e368STed Kremenek // CHECK: 124:53: DeclRefExpr=c:2:14 Extent=[124:53 - 124:54]
1581*15c1e368STed Kremenek // CHECK: 124:58: UnexposedExpr= Extent=[124:58 - 124:64]
1582*15c1e368STed Kremenek // CHECK: 124:58: UnexposedExpr= Extent=[124:58 - 124:64]
1583*15c1e368STed Kremenek // CHECK: 125:5: UnexposedExpr= Extent=[125:5 - 125:16]
1584*15c1e368STed Kremenek // CHECK: 125:5: DeclRefExpr=c:2:14 Extent=[125:5 - 125:6]
1585*15c1e368STed Kremenek // CHECK: 125:10: UnexposedExpr= Extent=[125:10 - 125:16]
1586*15c1e368STed Kremenek // CHECK: 125:10: UnexposedExpr= Extent=[125:10 - 125:16]
1587*15c1e368STed Kremenek // CHECK: 125:20: UnexposedExpr= Extent=[125:20 - 125:31]
1588*15c1e368STed Kremenek // CHECK: 125:20: DeclRefExpr=c:2:14 Extent=[125:20 - 125:21]
1589*15c1e368STed Kremenek // CHECK: 125:25: UnexposedExpr= Extent=[125:25 - 125:31]
1590*15c1e368STed Kremenek // CHECK: 125:25: UnexposedExpr= Extent=[125:25 - 125:31]
1591*15c1e368STed Kremenek // CHECK: 125:36: UnexposedExpr= Extent=[125:36 - 125:62]
1592*15c1e368STed Kremenek // CHECK: 125:36: UnexposedExpr= Extent=[125:36 - 125:47]
1593*15c1e368STed Kremenek // CHECK: 125:36: DeclRefExpr=c:2:14 Extent=[125:36 - 125:37]
1594*15c1e368STed Kremenek // CHECK: 125:41: UnexposedExpr= Extent=[125:41 - 125:47]
1595*15c1e368STed Kremenek // CHECK: 125:41: UnexposedExpr= Extent=[125:41 - 125:47]
1596*15c1e368STed Kremenek // CHECK: 125:51: UnexposedExpr= Extent=[125:51 - 125:62]
1597*15c1e368STed Kremenek // CHECK: 125:51: DeclRefExpr=c:2:14 Extent=[125:51 - 125:52]
1598*15c1e368STed Kremenek // CHECK: 125:56: UnexposedExpr= Extent=[125:56 - 125:62]
1599*15c1e368STed Kremenek // CHECK: 125:56: UnexposedExpr= Extent=[125:56 - 125:62]
1600*15c1e368STed Kremenek // CHECK: 126:8: UnexposedExpr= Extent=[126:8 - 126:19]
1601*15c1e368STed Kremenek // CHECK: 126:8: DeclRefExpr=c:2:14 Extent=[126:8 - 126:9]
1602*15c1e368STed Kremenek // CHECK: 126:13: UnexposedExpr= Extent=[126:13 - 126:19]
1603*15c1e368STed Kremenek // CHECK: 126:13: UnexposedExpr= Extent=[126:13 - 126:19]
1604*15c1e368STed Kremenek // CHECK: 126:24: UnexposedExpr= Extent=[126:24 - 126:50]
1605*15c1e368STed Kremenek // CHECK: 126:24: UnexposedExpr= Extent=[126:24 - 126:35]
1606*15c1e368STed Kremenek // CHECK: 126:24: DeclRefExpr=c:2:14 Extent=[126:24 - 126:25]
1607*15c1e368STed Kremenek // CHECK: 126:29: UnexposedExpr= Extent=[126:29 - 126:35]
1608*15c1e368STed Kremenek // CHECK: 126:29: UnexposedExpr= Extent=[126:29 - 126:35]
1609*15c1e368STed Kremenek // CHECK: 126:39: UnexposedExpr= Extent=[126:39 - 126:50]
1610*15c1e368STed Kremenek // CHECK: 126:39: DeclRefExpr=c:2:14 Extent=[126:39 - 126:40]
1611*15c1e368STed Kremenek // CHECK: 126:44: UnexposedExpr= Extent=[126:44 - 126:50]
1612*15c1e368STed Kremenek // CHECK: 126:44: UnexposedExpr= Extent=[126:44 - 126:50]
1613*15c1e368STed Kremenek // CHECK: 127:8: UnexposedExpr= Extent=[127:8 - 127:19]
1614*15c1e368STed Kremenek // CHECK: 127:8: DeclRefExpr=c:2:14 Extent=[127:8 - 127:9]
1615*15c1e368STed Kremenek // CHECK: 127:13: UnexposedExpr= Extent=[127:13 - 127:19]
1616*15c1e368STed Kremenek // CHECK: 127:13: UnexposedExpr= Extent=[127:13 - 127:19]
1617*15c1e368STed Kremenek // CHECK: 127:23: UnexposedExpr= Extent=[127:23 - 127:34]
1618*15c1e368STed Kremenek // CHECK: 127:23: DeclRefExpr=c:2:14 Extent=[127:23 - 127:24]
1619*15c1e368STed Kremenek // CHECK: 127:28: UnexposedExpr= Extent=[127:28 - 127:34]
1620*15c1e368STed Kremenek // CHECK: 127:28: UnexposedExpr= Extent=[127:28 - 127:34]
1621*15c1e368STed Kremenek // CHECK: 127:38: UnexposedExpr= Extent=[127:38 - 127:49]
1622*15c1e368STed Kremenek // CHECK: 127:38: DeclRefExpr=c:2:14 Extent=[127:38 - 127:39]
1623*15c1e368STed Kremenek // CHECK: 127:43: UnexposedExpr= Extent=[127:43 - 127:49]
1624*15c1e368STed Kremenek // CHECK: 127:43: UnexposedExpr= Extent=[127:43 - 127:49]
1625*15c1e368STed Kremenek // CHECK: 127:53: UnexposedExpr= Extent=[127:53 - 127:64]
1626*15c1e368STed Kremenek // CHECK: 127:53: DeclRefExpr=c:2:14 Extent=[127:53 - 127:54]
1627*15c1e368STed Kremenek // CHECK: 127:58: UnexposedExpr= Extent=[127:58 - 127:64]
1628*15c1e368STed Kremenek // CHECK: 127:58: UnexposedExpr= Extent=[127:58 - 127:64]
1629*15c1e368STed Kremenek // CHECK: 128:6: UnexposedExpr= Extent=[128:6 - 128:32]
1630*15c1e368STed Kremenek // CHECK: 128:6: UnexposedExpr= Extent=[128:6 - 128:17]
1631*15c1e368STed Kremenek // CHECK: 128:6: DeclRefExpr=c:2:14 Extent=[128:6 - 128:7]
1632*15c1e368STed Kremenek // CHECK: 128:11: UnexposedExpr= Extent=[128:11 - 128:17]
1633*15c1e368STed Kremenek // CHECK: 128:11: UnexposedExpr= Extent=[128:11 - 128:17]
1634*15c1e368STed Kremenek // CHECK: 128:21: UnexposedExpr= Extent=[128:21 - 128:32]
1635*15c1e368STed Kremenek // CHECK: 128:21: DeclRefExpr=c:2:14 Extent=[128:21 - 128:22]
1636*15c1e368STed Kremenek // CHECK: 128:26: UnexposedExpr= Extent=[128:26 - 128:32]
1637*15c1e368STed Kremenek // CHECK: 128:26: UnexposedExpr= Extent=[128:26 - 128:32]
1638*15c1e368STed Kremenek // CHECK: 129:9: UnexposedExpr= Extent=[129:9 - 129:35]
1639*15c1e368STed Kremenek // CHECK: 129:9: UnexposedExpr= Extent=[129:9 - 129:20]
1640*15c1e368STed Kremenek // CHECK: 129:9: DeclRefExpr=c:2:14 Extent=[129:9 - 129:10]
1641*15c1e368STed Kremenek // CHECK: 129:14: UnexposedExpr= Extent=[129:14 - 129:20]
1642*15c1e368STed Kremenek // CHECK: 129:14: UnexposedExpr= Extent=[129:14 - 129:20]
1643*15c1e368STed Kremenek // CHECK: 129:24: UnexposedExpr= Extent=[129:24 - 129:35]
1644*15c1e368STed Kremenek // CHECK: 129:24: DeclRefExpr=c:2:14 Extent=[129:24 - 129:25]
1645*15c1e368STed Kremenek // CHECK: 129:29: UnexposedExpr= Extent=[129:29 - 129:35]
1646*15c1e368STed Kremenek // CHECK: 129:29: UnexposedExpr= Extent=[129:29 - 129:35]
1647*15c1e368STed Kremenek // CHECK: 130:8: UnexposedExpr= Extent=[130:8 - 130:19]
1648*15c1e368STed Kremenek // CHECK: 130:8: DeclRefExpr=c:2:14 Extent=[130:8 - 130:9]
1649*15c1e368STed Kremenek // CHECK: 130:13: UnexposedExpr= Extent=[130:13 - 130:19]
1650*15c1e368STed Kremenek // CHECK: 130:13: UnexposedExpr= Extent=[130:13 - 130:19]
1651*15c1e368STed Kremenek // CHECK: 130:23: UnexposedExpr= Extent=[130:23 - 130:34]
1652*15c1e368STed Kremenek // CHECK: 130:23: DeclRefExpr=c:2:14 Extent=[130:23 - 130:24]
1653*15c1e368STed Kremenek // CHECK: 130:28: UnexposedExpr= Extent=[130:28 - 130:34]
1654*15c1e368STed Kremenek // CHECK: 130:28: UnexposedExpr= Extent=[130:28 - 130:34]
1655*15c1e368STed Kremenek // CHECK: 130:38: UnexposedExpr= Extent=[130:38 - 130:49]
1656*15c1e368STed Kremenek // CHECK: 130:38: DeclRefExpr=c:2:14 Extent=[130:38 - 130:39]
1657*15c1e368STed Kremenek // CHECK: 130:43: UnexposedExpr= Extent=[130:43 - 130:49]
1658*15c1e368STed Kremenek // CHECK: 130:43: UnexposedExpr= Extent=[130:43 - 130:49]
1659*15c1e368STed Kremenek // CHECK: 130:53: UnexposedExpr= Extent=[130:53 - 130:64]
1660*15c1e368STed Kremenek // CHECK: 130:53: DeclRefExpr=c:2:14 Extent=[130:53 - 130:54]
1661*15c1e368STed Kremenek // CHECK: 130:58: UnexposedExpr= Extent=[130:58 - 130:64]
1662*15c1e368STed Kremenek // CHECK: 130:58: UnexposedExpr= Extent=[130:58 - 130:64]
1663*15c1e368STed Kremenek // CHECK: 131:6: UnexposedExpr= Extent=[131:6 - 131:32]
1664*15c1e368STed Kremenek // CHECK: 131:6: UnexposedExpr= Extent=[131:6 - 131:17]
1665*15c1e368STed Kremenek // CHECK: 131:6: DeclRefExpr=c:2:14 Extent=[131:6 - 131:7]
1666*15c1e368STed Kremenek // CHECK: 131:11: UnexposedExpr= Extent=[131:11 - 131:17]
1667*15c1e368STed Kremenek // CHECK: 131:11: UnexposedExpr= Extent=[131:11 - 131:17]
1668*15c1e368STed Kremenek // CHECK: 131:21: UnexposedExpr= Extent=[131:21 - 131:32]
1669*15c1e368STed Kremenek // CHECK: 131:21: DeclRefExpr=c:2:14 Extent=[131:21 - 131:22]
1670*15c1e368STed Kremenek // CHECK: 131:26: UnexposedExpr= Extent=[131:26 - 131:32]
1671*15c1e368STed Kremenek // CHECK: 131:26: UnexposedExpr= Extent=[131:26 - 131:32]
1672*15c1e368STed Kremenek // CHECK: 132:9: UnexposedExpr= Extent=[132:9 - 132:35]
1673*15c1e368STed Kremenek // CHECK: 132:9: UnexposedExpr= Extent=[132:9 - 132:20]
1674*15c1e368STed Kremenek // CHECK: 132:9: DeclRefExpr=c:2:14 Extent=[132:9 - 132:10]
1675*15c1e368STed Kremenek // CHECK: 132:14: UnexposedExpr= Extent=[132:14 - 132:20]
1676*15c1e368STed Kremenek // CHECK: 132:14: UnexposedExpr= Extent=[132:14 - 132:20]
1677*15c1e368STed Kremenek // CHECK: 132:24: UnexposedExpr= Extent=[132:24 - 132:35]
1678*15c1e368STed Kremenek // CHECK: 132:24: DeclRefExpr=c:2:14 Extent=[132:24 - 132:25]
1679*15c1e368STed Kremenek // CHECK: 132:29: UnexposedExpr= Extent=[132:29 - 132:35]
1680*15c1e368STed Kremenek // CHECK: 132:29: UnexposedExpr= Extent=[132:29 - 132:35]
1681*15c1e368STed Kremenek // CHECK: 133:8: UnexposedExpr= Extent=[133:8 - 133:19]
1682*15c1e368STed Kremenek // CHECK: 133:8: DeclRefExpr=c:2:14 Extent=[133:8 - 133:9]
1683*15c1e368STed Kremenek // CHECK: 133:13: UnexposedExpr= Extent=[133:13 - 133:19]
1684*15c1e368STed Kremenek // CHECK: 133:13: UnexposedExpr= Extent=[133:13 - 133:19]
1685*15c1e368STed Kremenek // CHECK: 133:24: UnexposedExpr= Extent=[133:24 - 133:50]
1686*15c1e368STed Kremenek // CHECK: 133:24: UnexposedExpr= Extent=[133:24 - 133:35]
1687*15c1e368STed Kremenek // CHECK: 133:24: DeclRefExpr=c:2:14 Extent=[133:24 - 133:25]
1688*15c1e368STed Kremenek // CHECK: 133:29: UnexposedExpr= Extent=[133:29 - 133:35]
1689*15c1e368STed Kremenek // CHECK: 133:29: UnexposedExpr= Extent=[133:29 - 133:35]
1690*15c1e368STed Kremenek // CHECK: 133:39: UnexposedExpr= Extent=[133:39 - 133:50]
1691*15c1e368STed Kremenek // CHECK: 133:39: DeclRefExpr=c:2:14 Extent=[133:39 - 133:40]
1692*15c1e368STed Kremenek // CHECK: 133:44: UnexposedExpr= Extent=[133:44 - 133:50]
1693*15c1e368STed Kremenek // CHECK: 133:44: UnexposedExpr= Extent=[133:44 - 133:50]
1694*15c1e368STed Kremenek // CHECK: 134:8: UnexposedExpr= Extent=[134:8 - 134:19]
1695*15c1e368STed Kremenek // CHECK: 134:8: DeclRefExpr=c:2:14 Extent=[134:8 - 134:9]
1696*15c1e368STed Kremenek // CHECK: 134:13: UnexposedExpr= Extent=[134:13 - 134:19]
1697*15c1e368STed Kremenek // CHECK: 134:13: UnexposedExpr= Extent=[134:13 - 134:19]
1698*15c1e368STed Kremenek // CHECK: 134:23: UnexposedExpr= Extent=[134:23 - 134:34]
1699*15c1e368STed Kremenek // CHECK: 134:23: DeclRefExpr=c:2:14 Extent=[134:23 - 134:24]
1700*15c1e368STed Kremenek // CHECK: 134:28: UnexposedExpr= Extent=[134:28 - 134:34]
1701*15c1e368STed Kremenek // CHECK: 134:28: UnexposedExpr= Extent=[134:28 - 134:34]
1702*15c1e368STed Kremenek // CHECK: 134:38: UnexposedExpr= Extent=[134:38 - 134:49]
1703*15c1e368STed Kremenek // CHECK: 134:38: DeclRefExpr=c:2:14 Extent=[134:38 - 134:39]
1704*15c1e368STed Kremenek // CHECK: 134:43: UnexposedExpr= Extent=[134:43 - 134:49]
1705*15c1e368STed Kremenek // CHECK: 134:43: UnexposedExpr= Extent=[134:43 - 134:49]
1706*15c1e368STed Kremenek // CHECK: 134:54: UnexposedExpr= Extent=[134:54 - 134:80]
1707*15c1e368STed Kremenek // CHECK: 134:54: UnexposedExpr= Extent=[134:54 - 134:65]
1708*15c1e368STed Kremenek // CHECK: 134:54: DeclRefExpr=c:2:14 Extent=[134:54 - 134:55]
1709*15c1e368STed Kremenek // CHECK: 134:59: UnexposedExpr= Extent=[134:59 - 134:65]
1710*15c1e368STed Kremenek // CHECK: 134:59: UnexposedExpr= Extent=[134:59 - 134:65]
1711*15c1e368STed Kremenek // CHECK: 134:69: UnexposedExpr= Extent=[134:69 - 134:80]
1712*15c1e368STed Kremenek // CHECK: 134:69: DeclRefExpr=c:2:14 Extent=[134:69 - 134:70]
1713*15c1e368STed Kremenek // CHECK: 134:74: UnexposedExpr= Extent=[134:74 - 134:80]
1714*15c1e368STed Kremenek // CHECK: 134:74: UnexposedExpr= Extent=[134:74 - 134:80]
1715*15c1e368STed Kremenek // CHECK: 135:9: UnexposedExpr= Extent=[135:9 - 135:35]
1716*15c1e368STed Kremenek // CHECK: 135:9: UnexposedExpr= Extent=[135:9 - 135:20]
1717*15c1e368STed Kremenek // CHECK: 135:9: DeclRefExpr=c:2:14 Extent=[135:9 - 135:10]
1718*15c1e368STed Kremenek // CHECK: 135:14: UnexposedExpr= Extent=[135:14 - 135:20]
1719*15c1e368STed Kremenek // CHECK: 135:14: UnexposedExpr= Extent=[135:14 - 135:20]
1720*15c1e368STed Kremenek // CHECK: 135:24: UnexposedExpr= Extent=[135:24 - 135:35]
1721*15c1e368STed Kremenek // CHECK: 135:24: DeclRefExpr=c:2:14 Extent=[135:24 - 135:25]
1722*15c1e368STed Kremenek // CHECK: 135:29: UnexposedExpr= Extent=[135:29 - 135:35]
1723*15c1e368STed Kremenek // CHECK: 135:29: UnexposedExpr= Extent=[135:29 - 135:35]
1724*15c1e368STed Kremenek // CHECK: 136:9: UnexposedExpr= Extent=[136:9 - 136:35]
1725*15c1e368STed Kremenek // CHECK: 136:9: UnexposedExpr= Extent=[136:9 - 136:20]
1726*15c1e368STed Kremenek // CHECK: 136:9: DeclRefExpr=c:2:14 Extent=[136:9 - 136:10]
1727*15c1e368STed Kremenek // CHECK: 136:14: UnexposedExpr= Extent=[136:14 - 136:20]
1728*15c1e368STed Kremenek // CHECK: 136:14: UnexposedExpr= Extent=[136:14 - 136:20]
1729*15c1e368STed Kremenek // CHECK: 136:24: UnexposedExpr= Extent=[136:24 - 136:35]
1730*15c1e368STed Kremenek // CHECK: 136:24: DeclRefExpr=c:2:14 Extent=[136:24 - 136:25]
1731*15c1e368STed Kremenek // CHECK: 136:29: UnexposedExpr= Extent=[136:29 - 136:35]
1732*15c1e368STed Kremenek // CHECK: 136:29: UnexposedExpr= Extent=[136:29 - 136:35]
1733*15c1e368STed Kremenek // CHECK: 137:9: UnexposedExpr= Extent=[137:9 - 137:35]
1734*15c1e368STed Kremenek // CHECK: 137:9: UnexposedExpr= Extent=[137:9 - 137:20]
1735*15c1e368STed Kremenek // CHECK: 137:9: DeclRefExpr=c:2:14 Extent=[137:9 - 137:10]
1736*15c1e368STed Kremenek // CHECK: 137:14: UnexposedExpr= Extent=[137:14 - 137:20]
1737*15c1e368STed Kremenek // CHECK: 137:14: UnexposedExpr= Extent=[137:14 - 137:20]
1738*15c1e368STed Kremenek // CHECK: 137:24: UnexposedExpr= Extent=[137:24 - 137:35]
1739*15c1e368STed Kremenek // CHECK: 137:24: DeclRefExpr=c:2:14 Extent=[137:24 - 137:25]
1740*15c1e368STed Kremenek // CHECK: 137:29: UnexposedExpr= Extent=[137:29 - 137:35]
1741*15c1e368STed Kremenek // CHECK: 137:29: UnexposedExpr= Extent=[137:29 - 137:35]
1742*15c1e368STed Kremenek // CHECK: 138:9: UnexposedExpr= Extent=[138:9 - 138:35]
1743*15c1e368STed Kremenek // CHECK: 138:9: UnexposedExpr= Extent=[138:9 - 138:20]
1744*15c1e368STed Kremenek // CHECK: 138:9: DeclRefExpr=c:2:14 Extent=[138:9 - 138:10]
1745*15c1e368STed Kremenek // CHECK: 138:14: UnexposedExpr= Extent=[138:14 - 138:20]
1746*15c1e368STed Kremenek // CHECK: 138:14: UnexposedExpr= Extent=[138:14 - 138:20]
1747*15c1e368STed Kremenek // CHECK: 138:24: UnexposedExpr= Extent=[138:24 - 138:35]
1748*15c1e368STed Kremenek // CHECK: 138:24: DeclRefExpr=c:2:14 Extent=[138:24 - 138:25]
1749*15c1e368STed Kremenek // CHECK: 138:29: UnexposedExpr= Extent=[138:29 - 138:35]
1750*15c1e368STed Kremenek // CHECK: 138:29: UnexposedExpr= Extent=[138:29 - 138:35]
1751*15c1e368STed Kremenek // CHECK: 139:9: UnexposedExpr= Extent=[139:9 - 139:35]
1752*15c1e368STed Kremenek // CHECK: 139:9: UnexposedExpr= Extent=[139:9 - 139:20]
1753*15c1e368STed Kremenek // CHECK: 139:9: DeclRefExpr=c:2:14 Extent=[139:9 - 139:10]
1754*15c1e368STed Kremenek // CHECK: 139:14: UnexposedExpr= Extent=[139:14 - 139:20]
1755*15c1e368STed Kremenek // CHECK: 139:14: UnexposedExpr= Extent=[139:14 - 139:20]
1756*15c1e368STed Kremenek // CHECK: 139:24: UnexposedExpr= Extent=[139:24 - 139:35]
1757*15c1e368STed Kremenek // CHECK: 139:24: DeclRefExpr=c:2:14 Extent=[139:24 - 139:25]
1758*15c1e368STed Kremenek // CHECK: 139:29: UnexposedExpr= Extent=[139:29 - 139:35]
1759*15c1e368STed Kremenek // CHECK: 139:29: UnexposedExpr= Extent=[139:29 - 139:35]
1760*15c1e368STed Kremenek // CHECK: 140:9: UnexposedExpr= Extent=[140:9 - 140:35]
1761*15c1e368STed Kremenek // CHECK: 140:9: UnexposedExpr= Extent=[140:9 - 140:20]
1762*15c1e368STed Kremenek // CHECK: 140:9: DeclRefExpr=c:2:14 Extent=[140:9 - 140:10]
1763*15c1e368STed Kremenek // CHECK: 140:14: UnexposedExpr= Extent=[140:14 - 140:20]
1764*15c1e368STed Kremenek // CHECK: 140:14: UnexposedExpr= Extent=[140:14 - 140:20]
1765*15c1e368STed Kremenek // CHECK: 140:24: UnexposedExpr= Extent=[140:24 - 140:35]
1766*15c1e368STed Kremenek // CHECK: 140:24: DeclRefExpr=c:2:14 Extent=[140:24 - 140:25]
1767*15c1e368STed Kremenek // CHECK: 140:29: UnexposedExpr= Extent=[140:29 - 140:35]
1768*15c1e368STed Kremenek // CHECK: 140:29: UnexposedExpr= Extent=[140:29 - 140:35]
1769*15c1e368STed Kremenek // CHECK: 141:8: UnexposedExpr= Extent=[141:8 - 141:19]
1770*15c1e368STed Kremenek // CHECK: 141:8: DeclRefExpr=c:2:14 Extent=[141:8 - 141:9]
1771*15c1e368STed Kremenek // CHECK: 141:13: UnexposedExpr= Extent=[141:13 - 141:19]
1772*15c1e368STed Kremenek // CHECK: 141:13: UnexposedExpr= Extent=[141:13 - 141:19]
1773*15c1e368STed Kremenek // CHECK: 141:23: UnexposedExpr= Extent=[141:23 - 141:34]
1774*15c1e368STed Kremenek // CHECK: 141:23: DeclRefExpr=c:2:14 Extent=[141:23 - 141:24]
1775*15c1e368STed Kremenek // CHECK: 141:28: UnexposedExpr= Extent=[141:28 - 141:34]
1776*15c1e368STed Kremenek // CHECK: 141:28: UnexposedExpr= Extent=[141:28 - 141:34]
1777*15c1e368STed Kremenek // CHECK: 141:38: UnexposedExpr= Extent=[141:38 - 141:49]
1778*15c1e368STed Kremenek // CHECK: 141:38: DeclRefExpr=c:2:14 Extent=[141:38 - 141:39]
1779*15c1e368STed Kremenek // CHECK: 141:43: UnexposedExpr= Extent=[141:43 - 141:49]
1780*15c1e368STed Kremenek // CHECK: 141:43: UnexposedExpr= Extent=[141:43 - 141:49]
1781*15c1e368STed Kremenek // CHECK: 141:54: UnexposedExpr= Extent=[141:54 - 141:80]
1782*15c1e368STed Kremenek // CHECK: 141:54: UnexposedExpr= Extent=[141:54 - 141:65]
1783*15c1e368STed Kremenek // CHECK: 141:54: DeclRefExpr=c:2:14 Extent=[141:54 - 141:55]
1784*15c1e368STed Kremenek // CHECK: 141:59: UnexposedExpr= Extent=[141:59 - 141:65]
1785*15c1e368STed Kremenek // CHECK: 141:59: UnexposedExpr= Extent=[141:59 - 141:65]
1786*15c1e368STed Kremenek // CHECK: 141:69: UnexposedExpr= Extent=[141:69 - 141:80]
1787*15c1e368STed Kremenek // CHECK: 141:69: DeclRefExpr=c:2:14 Extent=[141:69 - 141:70]
1788*15c1e368STed Kremenek // CHECK: 141:74: UnexposedExpr= Extent=[141:74 - 141:80]
1789*15c1e368STed Kremenek // CHECK: 141:74: UnexposedExpr= Extent=[141:74 - 141:80]
1790*15c1e368STed Kremenek // CHECK: 142:9: UnexposedExpr= Extent=[142:9 - 142:35]
1791*15c1e368STed Kremenek // CHECK: 142:9: UnexposedExpr= Extent=[142:9 - 142:20]
1792*15c1e368STed Kremenek // CHECK: 142:9: DeclRefExpr=c:2:14 Extent=[142:9 - 142:10]
1793*15c1e368STed Kremenek // CHECK: 142:14: UnexposedExpr= Extent=[142:14 - 142:20]
1794*15c1e368STed Kremenek // CHECK: 142:14: UnexposedExpr= Extent=[142:14 - 142:20]
1795*15c1e368STed Kremenek // CHECK: 142:24: UnexposedExpr= Extent=[142:24 - 142:35]
1796*15c1e368STed Kremenek // CHECK: 142:24: DeclRefExpr=c:2:14 Extent=[142:24 - 142:25]
1797*15c1e368STed Kremenek // CHECK: 142:29: UnexposedExpr= Extent=[142:29 - 142:35]
1798*15c1e368STed Kremenek // CHECK: 142:29: UnexposedExpr= Extent=[142:29 - 142:35]
1799*15c1e368STed Kremenek // CHECK: 143:9: UnexposedExpr= Extent=[143:9 - 143:35]
1800*15c1e368STed Kremenek // CHECK: 143:9: UnexposedExpr= Extent=[143:9 - 143:20]
1801*15c1e368STed Kremenek // CHECK: 143:9: DeclRefExpr=c:2:14 Extent=[143:9 - 143:10]
1802*15c1e368STed Kremenek // CHECK: 143:14: UnexposedExpr= Extent=[143:14 - 143:20]
1803*15c1e368STed Kremenek // CHECK: 143:14: UnexposedExpr= Extent=[143:14 - 143:20]
1804*15c1e368STed Kremenek // CHECK: 143:24: UnexposedExpr= Extent=[143:24 - 143:35]
1805*15c1e368STed Kremenek // CHECK: 143:24: DeclRefExpr=c:2:14 Extent=[143:24 - 143:25]
1806*15c1e368STed Kremenek // CHECK: 143:29: UnexposedExpr= Extent=[143:29 - 143:35]
1807*15c1e368STed Kremenek // CHECK: 143:29: UnexposedExpr= Extent=[143:29 - 143:35]
1808*15c1e368STed Kremenek // CHECK: 144:8: UnexposedExpr= Extent=[144:8 - 144:19]
1809*15c1e368STed Kremenek // CHECK: 144:8: DeclRefExpr=c:2:14 Extent=[144:8 - 144:9]
1810*15c1e368STed Kremenek // CHECK: 144:13: UnexposedExpr= Extent=[144:13 - 144:19]
1811*15c1e368STed Kremenek // CHECK: 144:13: UnexposedExpr= Extent=[144:13 - 144:19]
1812*15c1e368STed Kremenek // CHECK: 144:24: UnexposedExpr= Extent=[144:24 - 144:50]
1813*15c1e368STed Kremenek // CHECK: 144:24: UnexposedExpr= Extent=[144:24 - 144:35]
1814*15c1e368STed Kremenek // CHECK: 144:24: DeclRefExpr=c:2:14 Extent=[144:24 - 144:25]
1815*15c1e368STed Kremenek // CHECK: 144:29: UnexposedExpr= Extent=[144:29 - 144:35]
1816*15c1e368STed Kremenek // CHECK: 144:29: UnexposedExpr= Extent=[144:29 - 144:35]
1817*15c1e368STed Kremenek // CHECK: 144:39: UnexposedExpr= Extent=[144:39 - 144:50]
1818*15c1e368STed Kremenek // CHECK: 144:39: DeclRefExpr=c:2:14 Extent=[144:39 - 144:40]
1819*15c1e368STed Kremenek // CHECK: 144:44: UnexposedExpr= Extent=[144:44 - 144:50]
1820*15c1e368STed Kremenek // CHECK: 144:44: UnexposedExpr= Extent=[144:44 - 144:50]
1821*15c1e368STed Kremenek // CHECK: 145:9: UnexposedExpr= Extent=[145:9 - 145:35]
1822*15c1e368STed Kremenek // CHECK: 145:9: UnexposedExpr= Extent=[145:9 - 145:20]
1823*15c1e368STed Kremenek // CHECK: 145:9: DeclRefExpr=c:2:14 Extent=[145:9 - 145:10]
1824*15c1e368STed Kremenek // CHECK: 145:14: UnexposedExpr= Extent=[145:14 - 145:20]
1825*15c1e368STed Kremenek // CHECK: 145:14: UnexposedExpr= Extent=[145:14 - 145:20]
1826*15c1e368STed Kremenek // CHECK: 145:24: UnexposedExpr= Extent=[145:24 - 145:35]
1827*15c1e368STed Kremenek // CHECK: 145:24: DeclRefExpr=c:2:14 Extent=[145:24 - 145:25]
1828*15c1e368STed Kremenek // CHECK: 145:29: UnexposedExpr= Extent=[145:29 - 145:35]
1829*15c1e368STed Kremenek // CHECK: 145:29: UnexposedExpr= Extent=[145:29 - 145:35]
1830*15c1e368STed Kremenek // CHECK: 146:9: UnexposedExpr= Extent=[146:9 - 146:35]
1831*15c1e368STed Kremenek // CHECK: 146:9: UnexposedExpr= Extent=[146:9 - 146:20]
1832*15c1e368STed Kremenek // CHECK: 146:9: DeclRefExpr=c:2:14 Extent=[146:9 - 146:10]
1833*15c1e368STed Kremenek // CHECK: 146:14: UnexposedExpr= Extent=[146:14 - 146:20]
1834*15c1e368STed Kremenek // CHECK: 146:14: UnexposedExpr= Extent=[146:14 - 146:20]
1835*15c1e368STed Kremenek // CHECK: 146:24: UnexposedExpr= Extent=[146:24 - 146:35]
1836*15c1e368STed Kremenek // CHECK: 146:24: DeclRefExpr=c:2:14 Extent=[146:24 - 146:25]
1837*15c1e368STed Kremenek // CHECK: 146:29: UnexposedExpr= Extent=[146:29 - 146:35]
1838*15c1e368STed Kremenek // CHECK: 146:29: UnexposedExpr= Extent=[146:29 - 146:35]
1839*15c1e368STed Kremenek // CHECK: 147:9: UnexposedExpr= Extent=[147:9 - 147:35]
1840*15c1e368STed Kremenek // CHECK: 147:9: UnexposedExpr= Extent=[147:9 - 147:20]
1841*15c1e368STed Kremenek // CHECK: 147:9: DeclRefExpr=c:2:14 Extent=[147:9 - 147:10]
1842*15c1e368STed Kremenek // CHECK: 147:14: UnexposedExpr= Extent=[147:14 - 147:20]
1843*15c1e368STed Kremenek // CHECK: 147:14: UnexposedExpr= Extent=[147:14 - 147:20]
1844*15c1e368STed Kremenek // CHECK: 147:24: UnexposedExpr= Extent=[147:24 - 147:35]
1845*15c1e368STed Kremenek // CHECK: 147:24: DeclRefExpr=c:2:14 Extent=[147:24 - 147:25]
1846*15c1e368STed Kremenek // CHECK: 147:29: UnexposedExpr= Extent=[147:29 - 147:35]
1847*15c1e368STed Kremenek // CHECK: 147:29: UnexposedExpr= Extent=[147:29 - 147:35]
1848*15c1e368STed Kremenek // CHECK: 148:9: UnexposedExpr= Extent=[148:9 - 148:35]
1849*15c1e368STed Kremenek // CHECK: 148:9: UnexposedExpr= Extent=[148:9 - 148:20]
1850*15c1e368STed Kremenek // CHECK: 148:9: DeclRefExpr=c:2:14 Extent=[148:9 - 148:10]
1851*15c1e368STed Kremenek // CHECK: 148:14: UnexposedExpr= Extent=[148:14 - 148:20]
1852*15c1e368STed Kremenek // CHECK: 148:14: UnexposedExpr= Extent=[148:14 - 148:20]
1853*15c1e368STed Kremenek // CHECK: 148:24: UnexposedExpr= Extent=[148:24 - 148:35]
1854*15c1e368STed Kremenek // CHECK: 148:24: DeclRefExpr=c:2:14 Extent=[148:24 - 148:25]
1855*15c1e368STed Kremenek // CHECK: 148:29: UnexposedExpr= Extent=[148:29 - 148:35]
1856*15c1e368STed Kremenek // CHECK: 148:29: UnexposedExpr= Extent=[148:29 - 148:35]
1857*15c1e368STed Kremenek // CHECK: 149:9: UnexposedExpr= Extent=[149:9 - 149:35]
1858*15c1e368STed Kremenek // CHECK: 149:9: UnexposedExpr= Extent=[149:9 - 149:20]
1859*15c1e368STed Kremenek // CHECK: 149:9: DeclRefExpr=c:2:14 Extent=[149:9 - 149:10]
1860*15c1e368STed Kremenek // CHECK: 149:14: UnexposedExpr= Extent=[149:14 - 149:20]
1861*15c1e368STed Kremenek // CHECK: 149:14: UnexposedExpr= Extent=[149:14 - 149:20]
1862*15c1e368STed Kremenek // CHECK: 149:24: UnexposedExpr= Extent=[149:24 - 149:35]
1863*15c1e368STed Kremenek // CHECK: 149:24: DeclRefExpr=c:2:14 Extent=[149:24 - 149:25]
1864*15c1e368STed Kremenek // CHECK: 149:29: UnexposedExpr= Extent=[149:29 - 149:35]
1865*15c1e368STed Kremenek // CHECK: 149:29: UnexposedExpr= Extent=[149:29 - 149:35]
1866*15c1e368STed Kremenek // CHECK: 150:9: UnexposedExpr= Extent=[150:9 - 150:35]
1867*15c1e368STed Kremenek // CHECK: 150:9: UnexposedExpr= Extent=[150:9 - 150:20]
1868*15c1e368STed Kremenek // CHECK: 150:9: DeclRefExpr=c:2:14 Extent=[150:9 - 150:10]
1869*15c1e368STed Kremenek // CHECK: 150:14: UnexposedExpr= Extent=[150:14 - 150:20]
1870*15c1e368STed Kremenek // CHECK: 150:14: UnexposedExpr= Extent=[150:14 - 150:20]
1871*15c1e368STed Kremenek // CHECK: 150:24: UnexposedExpr= Extent=[150:24 - 150:35]
1872*15c1e368STed Kremenek // CHECK: 150:24: DeclRefExpr=c:2:14 Extent=[150:24 - 150:25]
1873*15c1e368STed Kremenek // CHECK: 150:29: UnexposedExpr= Extent=[150:29 - 150:35]
1874*15c1e368STed Kremenek // CHECK: 150:29: UnexposedExpr= Extent=[150:29 - 150:35]
1875*15c1e368STed Kremenek // CHECK: 151:8: UnexposedExpr= Extent=[151:8 - 151:19]
1876*15c1e368STed Kremenek // CHECK: 151:8: DeclRefExpr=c:2:14 Extent=[151:8 - 151:9]
1877*15c1e368STed Kremenek // CHECK: 151:13: UnexposedExpr= Extent=[151:13 - 151:19]
1878*15c1e368STed Kremenek // CHECK: 151:13: UnexposedExpr= Extent=[151:13 - 151:19]
1879*15c1e368STed Kremenek // CHECK: 151:24: UnexposedExpr= Extent=[151:24 - 151:50]
1880*15c1e368STed Kremenek // CHECK: 151:24: UnexposedExpr= Extent=[151:24 - 151:35]
1881*15c1e368STed Kremenek // CHECK: 151:24: DeclRefExpr=c:2:14 Extent=[151:24 - 151:25]
1882*15c1e368STed Kremenek // CHECK: 151:29: UnexposedExpr= Extent=[151:29 - 151:35]
1883*15c1e368STed Kremenek // CHECK: 151:29: UnexposedExpr= Extent=[151:29 - 151:35]
1884*15c1e368STed Kremenek // CHECK: 151:39: UnexposedExpr= Extent=[151:39 - 151:50]
1885*15c1e368STed Kremenek // CHECK: 151:39: DeclRefExpr=c:2:14 Extent=[151:39 - 151:40]
1886*15c1e368STed Kremenek // CHECK: 151:44: UnexposedExpr= Extent=[151:44 - 151:50]
1887*15c1e368STed Kremenek // CHECK: 151:44: UnexposedExpr= Extent=[151:44 - 151:50]
1888*15c1e368STed Kremenek // CHECK: 152:8: UnexposedExpr= Extent=[152:8 - 152:19]
1889*15c1e368STed Kremenek // CHECK: 152:8: DeclRefExpr=c:2:14 Extent=[152:8 - 152:9]
1890*15c1e368STed Kremenek // CHECK: 152:13: UnexposedExpr= Extent=[152:13 - 152:19]
1891*15c1e368STed Kremenek // CHECK: 152:13: UnexposedExpr= Extent=[152:13 - 152:19]
1892*15c1e368STed Kremenek // CHECK: 152:24: UnexposedExpr= Extent=[152:24 - 152:50]
1893*15c1e368STed Kremenek // CHECK: 152:24: UnexposedExpr= Extent=[152:24 - 152:35]
1894*15c1e368STed Kremenek // CHECK: 152:24: DeclRefExpr=c:2:14 Extent=[152:24 - 152:25]
1895*15c1e368STed Kremenek // CHECK: 152:29: UnexposedExpr= Extent=[152:29 - 152:35]
1896*15c1e368STed Kremenek // CHECK: 152:29: UnexposedExpr= Extent=[152:29 - 152:35]
1897*15c1e368STed Kremenek // CHECK: 152:39: UnexposedExpr= Extent=[152:39 - 152:50]
1898*15c1e368STed Kremenek // CHECK: 152:39: DeclRefExpr=c:2:14 Extent=[152:39 - 152:40]
1899*15c1e368STed Kremenek // CHECK: 152:44: UnexposedExpr= Extent=[152:44 - 152:50]
1900*15c1e368STed Kremenek // CHECK: 152:44: UnexposedExpr= Extent=[152:44 - 152:50]
1901*15c1e368STed Kremenek // CHECK: 153:9: UnexposedExpr= Extent=[153:9 - 153:35]
1902*15c1e368STed Kremenek // CHECK: 153:9: UnexposedExpr= Extent=[153:9 - 153:20]
1903*15c1e368STed Kremenek // CHECK: 153:9: DeclRefExpr=c:2:14 Extent=[153:9 - 153:10]
1904*15c1e368STed Kremenek // CHECK: 153:14: UnexposedExpr= Extent=[153:14 - 153:20]
1905*15c1e368STed Kremenek // CHECK: 153:14: UnexposedExpr= Extent=[153:14 - 153:20]
1906*15c1e368STed Kremenek // CHECK: 153:24: UnexposedExpr= Extent=[153:24 - 153:35]
1907*15c1e368STed Kremenek // CHECK: 153:24: DeclRefExpr=c:2:14 Extent=[153:24 - 153:25]
1908*15c1e368STed Kremenek // CHECK: 153:29: UnexposedExpr= Extent=[153:29 - 153:35]
1909*15c1e368STed Kremenek // CHECK: 153:29: UnexposedExpr= Extent=[153:29 - 153:35]
1910*15c1e368STed Kremenek // CHECK: 154:9: UnexposedExpr= Extent=[154:9 - 154:35]
1911*15c1e368STed Kremenek // CHECK: 154:9: UnexposedExpr= Extent=[154:9 - 154:20]
1912*15c1e368STed Kremenek // CHECK: 154:9: DeclRefExpr=c:2:14 Extent=[154:9 - 154:10]
1913*15c1e368STed Kremenek // CHECK: 154:14: UnexposedExpr= Extent=[154:14 - 154:20]
1914*15c1e368STed Kremenek // CHECK: 154:14: UnexposedExpr= Extent=[154:14 - 154:20]
1915*15c1e368STed Kremenek // CHECK: 154:24: UnexposedExpr= Extent=[154:24 - 154:35]
1916*15c1e368STed Kremenek // CHECK: 154:24: DeclRefExpr=c:2:14 Extent=[154:24 - 154:25]
1917*15c1e368STed Kremenek // CHECK: 154:29: UnexposedExpr= Extent=[154:29 - 154:35]
1918*15c1e368STed Kremenek // CHECK: 154:29: UnexposedExpr= Extent=[154:29 - 154:35]
1919*15c1e368STed Kremenek // CHECK: 155:9: UnexposedExpr= Extent=[155:9 - 155:35]
1920*15c1e368STed Kremenek // CHECK: 155:9: UnexposedExpr= Extent=[155:9 - 155:20]
1921*15c1e368STed Kremenek // CHECK: 155:9: DeclRefExpr=c:2:14 Extent=[155:9 - 155:10]
1922*15c1e368STed Kremenek // CHECK: 155:14: UnexposedExpr= Extent=[155:14 - 155:20]
1923*15c1e368STed Kremenek // CHECK: 155:14: UnexposedExpr= Extent=[155:14 - 155:20]
1924*15c1e368STed Kremenek // CHECK: 155:24: UnexposedExpr= Extent=[155:24 - 155:35]
1925*15c1e368STed Kremenek // CHECK: 155:24: DeclRefExpr=c:2:14 Extent=[155:24 - 155:25]
1926*15c1e368STed Kremenek // CHECK: 155:29: UnexposedExpr= Extent=[155:29 - 155:35]
1927*15c1e368STed Kremenek // CHECK: 155:29: UnexposedExpr= Extent=[155:29 - 155:35]
1928*15c1e368STed Kremenek // CHECK: 156:9: UnexposedExpr= Extent=[156:9 - 156:35]
1929*15c1e368STed Kremenek // CHECK: 156:9: UnexposedExpr= Extent=[156:9 - 156:20]
1930*15c1e368STed Kremenek // CHECK: 156:9: DeclRefExpr=c:2:14 Extent=[156:9 - 156:10]
1931*15c1e368STed Kremenek // CHECK: 156:14: UnexposedExpr= Extent=[156:14 - 156:20]
1932*15c1e368STed Kremenek // CHECK: 156:14: UnexposedExpr= Extent=[156:14 - 156:20]
1933*15c1e368STed Kremenek // CHECK: 156:24: UnexposedExpr= Extent=[156:24 - 156:35]
1934*15c1e368STed Kremenek // CHECK: 156:24: DeclRefExpr=c:2:14 Extent=[156:24 - 156:25]
1935*15c1e368STed Kremenek // CHECK: 156:29: UnexposedExpr= Extent=[156:29 - 156:35]
1936*15c1e368STed Kremenek // CHECK: 156:29: UnexposedExpr= Extent=[156:29 - 156:35]
1937*15c1e368STed Kremenek // CHECK: 157:9: UnexposedExpr= Extent=[157:9 - 157:35]
1938*15c1e368STed Kremenek // CHECK: 157:9: UnexposedExpr= Extent=[157:9 - 157:20]
1939*15c1e368STed Kremenek // CHECK: 157:9: DeclRefExpr=c:2:14 Extent=[157:9 - 157:10]
1940*15c1e368STed Kremenek // CHECK: 157:14: UnexposedExpr= Extent=[157:14 - 157:20]
1941*15c1e368STed Kremenek // CHECK: 157:14: UnexposedExpr= Extent=[157:14 - 157:20]
1942*15c1e368STed Kremenek // CHECK: 157:24: UnexposedExpr= Extent=[157:24 - 157:35]
1943*15c1e368STed Kremenek // CHECK: 157:24: DeclRefExpr=c:2:14 Extent=[157:24 - 157:25]
1944*15c1e368STed Kremenek // CHECK: 157:29: UnexposedExpr= Extent=[157:29 - 157:35]
1945*15c1e368STed Kremenek // CHECK: 157:29: UnexposedExpr= Extent=[157:29 - 157:35]
1946*15c1e368STed Kremenek // CHECK: 158:8: UnexposedExpr= Extent=[158:8 - 158:19]
1947*15c1e368STed Kremenek // CHECK: 158:8: DeclRefExpr=c:2:14 Extent=[158:8 - 158:9]
1948*15c1e368STed Kremenek // CHECK: 158:13: UnexposedExpr= Extent=[158:13 - 158:19]
1949*15c1e368STed Kremenek // CHECK: 158:13: UnexposedExpr= Extent=[158:13 - 158:19]
1950*15c1e368STed Kremenek // CHECK: 158:24: UnexposedExpr= Extent=[158:24 - 158:50]
1951*15c1e368STed Kremenek // CHECK: 158:24: UnexposedExpr= Extent=[158:24 - 158:35]
1952*15c1e368STed Kremenek // CHECK: 158:24: DeclRefExpr=c:2:14 Extent=[158:24 - 158:25]
1953*15c1e368STed Kremenek // CHECK: 158:29: UnexposedExpr= Extent=[158:29 - 158:35]
1954*15c1e368STed Kremenek // CHECK: 158:29: UnexposedExpr= Extent=[158:29 - 158:35]
1955*15c1e368STed Kremenek // CHECK: 158:39: UnexposedExpr= Extent=[158:39 - 158:50]
1956*15c1e368STed Kremenek // CHECK: 158:39: DeclRefExpr=c:2:14 Extent=[158:39 - 158:40]
1957*15c1e368STed Kremenek // CHECK: 158:44: UnexposedExpr= Extent=[158:44 - 158:50]
1958*15c1e368STed Kremenek // CHECK: 158:44: UnexposedExpr= Extent=[158:44 - 158:50]
1959*15c1e368STed Kremenek // CHECK: 159:9: UnexposedExpr= Extent=[159:9 - 159:35]
1960*15c1e368STed Kremenek // CHECK: 159:9: UnexposedExpr= Extent=[159:9 - 159:20]
1961*15c1e368STed Kremenek // CHECK: 159:9: DeclRefExpr=c:2:14 Extent=[159:9 - 159:10]
1962*15c1e368STed Kremenek // CHECK: 159:14: UnexposedExpr= Extent=[159:14 - 159:20]
1963*15c1e368STed Kremenek // CHECK: 159:14: UnexposedExpr= Extent=[159:14 - 159:20]
1964*15c1e368STed Kremenek // CHECK: 159:24: UnexposedExpr= Extent=[159:24 - 159:35]
1965*15c1e368STed Kremenek // CHECK: 159:24: DeclRefExpr=c:2:14 Extent=[159:24 - 159:25]
1966*15c1e368STed Kremenek // CHECK: 159:29: UnexposedExpr= Extent=[159:29 - 159:35]
1967*15c1e368STed Kremenek // CHECK: 159:29: UnexposedExpr= Extent=[159:29 - 159:35]
1968*15c1e368STed Kremenek // CHECK: 160:8: UnexposedExpr= Extent=[160:8 - 160:19]
1969*15c1e368STed Kremenek // CHECK: 160:8: DeclRefExpr=c:2:14 Extent=[160:8 - 160:9]
1970*15c1e368STed Kremenek // CHECK: 160:13: UnexposedExpr= Extent=[160:13 - 160:19]
1971*15c1e368STed Kremenek // CHECK: 160:13: UnexposedExpr= Extent=[160:13 - 160:19]
1972*15c1e368STed Kremenek // CHECK: 160:23: UnexposedExpr= Extent=[160:23 - 160:51]
1973*15c1e368STed Kremenek // CHECK: 160:24: UnexposedExpr= Extent=[160:24 - 160:50]
1974*15c1e368STed Kremenek // CHECK: 160:24: UnexposedExpr= Extent=[160:24 - 160:35]
1975*15c1e368STed Kremenek // CHECK: 160:24: DeclRefExpr=c:2:14 Extent=[160:24 - 160:25]
1976*15c1e368STed Kremenek // CHECK: 160:29: UnexposedExpr= Extent=[160:29 - 160:35]
1977*15c1e368STed Kremenek // CHECK: 160:29: UnexposedExpr= Extent=[160:29 - 160:35]
1978*15c1e368STed Kremenek // CHECK: 160:39: UnexposedExpr= Extent=[160:39 - 160:50]
1979*15c1e368STed Kremenek // CHECK: 160:39: DeclRefExpr=c:2:14 Extent=[160:39 - 160:40]
1980*15c1e368STed Kremenek // CHECK: 160:44: UnexposedExpr= Extent=[160:44 - 160:50]
1981*15c1e368STed Kremenek // CHECK: 160:44: UnexposedExpr= Extent=[160:44 - 160:50]
1982*15c1e368STed Kremenek 
1983