annotate gcc/testsuite/gcc.dg/uninit-pred-5_b.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
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 "-Wuninitialized -Wno-attributes -O2" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 int g;
kono
parents:
diff changeset
5 int bar();
kono
parents:
diff changeset
6 int blah(int);
kono
parents:
diff changeset
7 void t(int);
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 static int
kono
parents:
diff changeset
10 __attribute__((always_inline))
kono
parents:
diff changeset
11 foo (int n, int* v, int r)
kono
parents:
diff changeset
12 {
kono
parents:
diff changeset
13 int flag = 0;
kono
parents:
diff changeset
14 if (r > n)
kono
parents:
diff changeset
15 {
kono
parents:
diff changeset
16 *v = bar();
kono
parents:
diff changeset
17 flag = 1;
kono
parents:
diff changeset
18 }
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 if (n > g)
kono
parents:
diff changeset
21 g++;
kono
parents:
diff changeset
22 else
kono
parents:
diff changeset
23 bar();
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 return flag;
kono
parents:
diff changeset
26 }
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 int a[100];
kono
parents:
diff changeset
29 int b[100];
kono
parents:
diff changeset
30 int blah(int n)
kono
parents:
diff changeset
31 {
kono
parents:
diff changeset
32 int i;
kono
parents:
diff changeset
33 for (i = 0 ; i < n; i++)
kono
parents:
diff changeset
34 {
kono
parents:
diff changeset
35 int v;
kono
parents:
diff changeset
36 if (foo (n, &v, b[i]))
kono
parents:
diff changeset
37 return 0;
kono
parents:
diff changeset
38 t (v); /* { dg-warning "uninitialized" "real warning" } */
kono
parents:
diff changeset
39 }
kono
parents:
diff changeset
40 return 1;
kono
parents:
diff changeset
41 }
kono
parents:
diff changeset
42