annotate gcc/testsuite/gcc.dg/uninit-pr19430-O0.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O0 -Wuninitialized" } */
kono
parents:
diff changeset
3 extern int bar (int);
kono
parents:
diff changeset
4 extern void baz (int *);
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 int
kono
parents:
diff changeset
7 foo (int i)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 int j; /* { dg-warning "'j' may be used uninitialized in this function" "uninitialized" { xfail *-*-* } } */
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 if (bar (i)) {
kono
parents:
diff changeset
12 baz (&j);
kono
parents:
diff changeset
13 } else {
kono
parents:
diff changeset
14 }
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 return j;
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 int foo2( void ) {
kono
parents:
diff changeset
20 int rc;
kono
parents:
diff changeset
21 return rc; /* { dg-warning "'rc' is used uninitialized in this function" } */
kono
parents:
diff changeset
22 *&rc = 0;
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 extern int printf(const char *, ...);
kono
parents:
diff changeset
26 void frob(int *pi);
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 int main(void)
kono
parents:
diff changeset
29 {
kono
parents:
diff changeset
30 int i;
kono
parents:
diff changeset
31 printf("i = %d\n", i); /* { dg-warning "'i' is used uninitialized in this function" } */
kono
parents:
diff changeset
32 frob(&i);
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 return 0;
kono
parents:
diff changeset
35 }
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 void foo3(int*);
kono
parents:
diff changeset
38 void bar3(void) {
kono
parents:
diff changeset
39 int x;
kono
parents:
diff changeset
40 if(x) /* { dg-warning "'x' is used uninitialized in this function" } */
kono
parents:
diff changeset
41 foo3(&x);
kono
parents:
diff changeset
42 }