1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-evrp-slim" } */ 3 f(const char * s)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" } } */ 11