aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/pr102478.c
blob: 43bc49b584df990c6f92970b65790a9abe69875c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/* PR rtl-optimization/102478 */
/* { dg-do compile } */
/* { dg-options "-O2 -fno-if-conversion -Wno-div-by-zero" } */

unsigned a, b, c;

void
foo (void)
{
  c |= __builtin_expect (65535 / a, 0) && 0 / 0;
  b = 0;
}

void
bar (void)
{
  if (a <= 65535)
    __builtin_trap ();
  b = 0;
}

void
baz (void)
{
  if (a > 65535)
    b = 0;
  else
    __builtin_trap ();
}