1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp-slim" } */
       3  
       4  void f(const char *s)
       5  {
       6    if (__PTRDIFF_MAX__ <= __builtin_strlen (s))
       7      __builtin_abort ();
       8  }
       9  
      10  /* { dg-final { scan-tree-dump-not "__builtin_abort" "evrp" } } */