1  // { dg-do compile }
       2  // { dg-options "-Os -fno-tree-ccp -fno-tree-forwprop -fno-tree-fre -fdump-tree-vrp1" }
       3  
       4  static inline int
       5  foo (int i)
       6  {
       7    return __builtin_ffsl (i);
       8  }
       9  
      10  int
      11  main (void)
      12  {
      13    int x = foo (41);
      14    if (x != 1)
      15      __builtin_abort ();
      16    return 0;
      17  }
      18  
      19  // { dg-final { scan-tree-dump-not "builtin_abort" "vrp1" } }