diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/analyzer/data-model-1.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c index 511ed4b..4318191 100644 --- a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c @@ -152,7 +152,7 @@ int test_12 (void) /* Use of uninit value. */ int test_12a (void) { - int i; + int i; /* { dg-message "region created on stack here" } */ return i; /* { dg-warning "use of uninitialized value 'i'" } */ } @@ -163,7 +163,7 @@ void test_12b (void *p, void *q) int test_12c (void) { - int i; + int i; /* { dg-message "region created on stack here" } */ int j; j = i; /* { dg-warning "use of uninitialized value 'i'" } */ @@ -349,7 +349,7 @@ void test_18 (int i) void test_19 (void) { - int i, j; + int i, j; /* { dg-message "region created on stack here" } */ /* Compare two uninitialized locals. */ __analyzer_eval (i == j); /* { dg-warning "UNKNOWN" "unknown " } */ /* { dg-warning "use of uninitialized value 'i'" "uninit i" { target *-*-* } .-1 } */ @@ -633,7 +633,7 @@ void test_29a (struct coord p[]) void test_29b (void) { - struct coord p[11]; + struct coord p[11]; /* { dg-message "region created on stack here" } */ struct coord *q; p[0].x = 100024; @@ -819,7 +819,7 @@ void test_36 (int i) int test_37 (void) { - int *ptr; + int *ptr; /* { dg-message "region created on stack here" } */ return *ptr; /* { dg-warning "use of uninitialized value 'ptr'" } */ } @@ -827,7 +827,7 @@ int test_37 (void) void test_37a (int i) { - int *ptr; + int *ptr; /* { dg-message "region created on stack here" } */ *ptr = i; /* { dg-warning "use of uninitialized value 'ptr'" } */ } |