1 /* PR tree-optimization/21031
2 
3    Make sure that a != 0 is propagated into the "if" statement.  */
4 
5 /* { dg-do compile } */
6 /* { dg-options "-O1 -fdump-tree-forwprop1" } */
7 
8 int
foo(int a)9 foo (int a)
10 {
11   int b = a != 0;
12   unsigned char c = b;
13   if (c)
14     return 1;
15   else
16     return 0;
17 }
18 
19 /* { dg-final { scan-tree-dump "if \\(a_\[0-9\]+\\(D\\) != 0\\)" "forwprop1" } } */
20