gcc/testsuite/gcc.dg/tree-ssa/pr95801.c


1
2
3
4
5
6
7
8
9
10
11
12
13

// { dg-do compile }
// { dg-options "-O2 -fdump-tree-evrp" }

int always1(int a, int b) {
    if (a / b)
        return b != 0;
    return 1;
}

// If b != 0 is optimized by recognizing divide by 0 cannot happen,
// there should be no PHI node.

// { dg-final { scan-tree-dump-not "PHI" "evrp" } }