1 /* { dg-do run } */ 2 3 char one[50] = "ijk"; 4 int main(void)5 main (void) 6 { 7 return __builtin_strlen (one) != 3; 8 } 9