1  /* { dg-options "-O2 -fdump-tree-vrp1 " } */
       2  
       3  /* Tests that calls to update_stmt by the folder will also update ranger's
       4     cache value and produce the correct result for the builtin_constant_p
       5     function.  */
       6  
       7  void dead ();
       8  
       9  void foo( void *_thrdescr, int _result)
      10  {
      11    const char *lossage = _result ? "constant string" : 0;
      12  
      13    if (__builtin_expect (lossage != ((void *)0) , 0))
      14      {
      15      unsigned __message_length = __builtin_strlen (lossage);
      16      if (! __builtin_constant_p (__message_length))
      17        dead ();
      18      }
      19  }
      20  
      21  /* { dg-final { scan-tree-dump-not "dead" "vrp1" } } */