annotate gcc/testsuite/gcc.dg/uninit-pred-6_b.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
kono
parents:
diff changeset
2 /* { dg-do compile } */
kono
parents:
diff changeset
3 /* { dg-options "-Wuninitialized -O2" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 int g;
kono
parents:
diff changeset
6 void bar();
kono
parents:
diff changeset
7 void blah(int);
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 int foo (int n, int l, int m, int r)
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 int v;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 if (n)
kono
parents:
diff changeset
14 if (l)
kono
parents:
diff changeset
15 v = r;
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 if (m) g++;
kono
parents:
diff changeset
18 else bar();
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 if ( n && l)
kono
parents:
diff changeset
21 blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 if (l)
kono
parents:
diff changeset
24 if (n)
kono
parents:
diff changeset
25 blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 return 0;
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 int foo_2 (int n, int l, int m, int r)
kono
parents:
diff changeset
31 {
kono
parents:
diff changeset
32 int v;
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 if (n)
kono
parents:
diff changeset
35 if (l)
kono
parents:
diff changeset
36 v = r;
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 if (m) g++;
kono
parents:
diff changeset
39 else bar();
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 if (n || l)
kono
parents:
diff changeset
42 blah (v); /* { dg-warning "uninitialized" "warning" } */
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 return 0;
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46