Revise -mdisable-fpregs option and add new -msoft-mult option
[official-gcc.git] / gcc / testsuite / gcc.dg / uninit-27-gimple.c
blobf75469d8ef843faa78a4b0b3e2c2eb256a0ffa12
1 /* { dg-do compile } */
2 /* { dg-options "-fgimple -O -Wmaybe-uninitialized" } */
4 unsigned int __GIMPLE (ssa,startwith("uninit1"))
5 foo (unsigned int v)
7 unsigned int undef; /* { dg-bogus "may be used uninitialized" } */
8 unsigned int _2;
9 unsigned int _9;
10 unsigned int _10;
12 __BB(2):
13 if (v_4(D) != 100u)
14 goto __BB3;
15 else
16 goto __BB4;
18 __BB(3):
19 undef_8 = 8u; // 'undef' is defined conditionally (under 'v != 100' predicate)
20 goto __BB4;
22 __BB(4):
23 // An undef value flows into a phi.
24 undef_1 = __PHI (__BB2: undef_5(D), __BB3: undef_8);
25 if (v_4(D) < 100u)
26 goto __BB5;
27 else
28 goto __BB6;
30 __BB(5):
31 _9 = undef_1; // The phi value is used here (under 'v < 100' predicate).
32 goto __BB7;
34 __BB(6):
35 _10 = v_4(D);
36 goto __BB7;
38 __BB(7):
39 _2 = __PHI (__BB5: _9, __BB6: _10);
40 return _2;