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 __PTRDIFF_TYPE__ n = __builtin_strlen (s); 7 if (n < 0) 8 __builtin_abort (); 9 } 10 11 /* { dg-final { scan-tree-dump-not "__builtin_abort" "evrp" } } */ 12