aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/pr107130.c
blob: 11fb816ad710922b13bc1c76127be70d73432ad7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
// { dg-do compile }
// { dg-options "-Os -fno-tree-ccp -fno-tree-forwprop -fno-tree-fre -fdump-tree-vrp1" }

static inline int
foo (int i)
{
  return __builtin_ffsl (i);
}

int
main (void)
{
  int x = foo (41);
  if (x != 1)
    __builtin_abort ();
  return 0;
}

// { dg-final { scan-tree-dump-not "builtin_abort" "vrp1" } }