/* Check that the __builtin_strnlen returns 0 with with 
   non-constant 0 length.  */
/* { dg-do run } */
/* { dg-options "-O2" } */

extern int snprintf(char *, int, const char *, ...);
extern void abort (void);

int main()
 {
   int i;
   int cmp = 0;
   char buffer[1024];
   const char* s = "the string";

   snprintf(buffer, 4, "%s", s);

   for (i = 1; i < 4; i++)
     cmp += __builtin_strncmp(buffer, s, i - 1);

  if (cmp)
    abort();

  return 0;
}