// { 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" } }