Skip to content

Commit 12b6413

Browse files
authored
Fix error message in test. (checkedc#328)
An error message for integer members with bounds used the term "variable" where the term "member" should be used..
1 parent 82b7a37 commit 12b6413

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

tests/static_checking/initializers.c

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -301,34 +301,34 @@ void f8 (void) {
301301
int a;
302302
unsigned long long b : bounds( (array_ptr<int>) b, (array_ptr<int>) b + 10);
303303
} S0;
304-
S0 s0; // expected-error {{containing an integer variable with a bounds expression must have an initializer}}
304+
S0 s0; // expected-error {{containing an integer member with a bounds expression must have an initializer}}
305305

306306
typedef struct {
307307
int a;
308308
S0 s;
309309
} SS0;
310-
SS0 ss0; // expected-error {{containing an integer variable with a bounds expression must have an initializer}}
310+
SS0 ss0; // expected-error {{containing an integer member with a bounds expression must have an initializer}}
311311

312312
// for bounds expr kind like "int i : count(len)"
313313
typedef struct {
314314
int a;
315315
int b : count(10); // expected-error {{have a pointer or array type}}
316316
} S;
317-
S s1; // expected-error {{containing an integer variable with a bounds expression must have an initializer}}
317+
S s1; // expected-error {{containing an integer member with a bounds expression must have an initializer}}
318318

319319
typedef struct {
320320
int aa;
321321
float ff;
322322
S s;
323323
} SS;
324-
SS ss; // expected-error {{containing an integer variable with a bounds expression must have an initializer}}
324+
SS ss; // expected-error {{containing an integer member with a bounds expression must have an initializer}}
325325

326326
typedef struct {
327327
int aaa;
328328
float fff;
329329
SS ss;
330330
} SSS;
331-
SSS sss; // expected-error {{containing an integer variable with a bounds expression must have an initializer}}
331+
SSS sss; // expected-error {{containing an integer member with a bounds expression must have an initializer}}
332332
}
333333

334334
// An unchecked pointer with a bounds expression in a checked scope must have an initializer

0 commit comments

Comments
 (0)