gcc/testsuite/gcc.dg/pr86572.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-optimized" } */
   3
   4 const char buf[40] = "test";
   5 void test (int x)
   6 {
   7   if (__builtin_strlen (buf + x) > 4)
   8     __builtin_abort ();
   9 }
  10
  11 /* { dg-final { scan-tree-dump-not "abort" "optimized" } } */