/* { dg-additional-options "-fno-analyzer-call-summaries -fno-analyzer-state-merge -Wno-analyzer-too-complex" } */

void test_format_string (const char *fmt, ...)
{
  __builtin_va_list ap;
  __builtin_va_start (ap, fmt);
  while (*fmt)
    switch (*fmt++)
      {
      case 's':
	{
	  const char *s = __builtin_va_arg (ap, char *); /* { dg-warning "'va_arg' expected 'const char \\*' but received 'int' for variadic argument 1 of 'ap'" } */
	  __builtin_printf ("string: %s\n", s);
	}
	break;
      case 'd':
	{
	  int i = __builtin_va_arg (ap, int); /* { dg-warning "'va_arg' expected 'int' but received '\[^\n\r\]*' for variadic argument 1 of 'ap'" "type mismatch from wrong_type_for_percent_d" } */
	  /* { dg-warning "'ap' has no more arguments \\(1 consumed\\)" "not_enough_args" { target *-*-* } .-1 } */
	  __builtin_printf ("int: %d\n", i);
	}
	break;
      case 'c':
	{
	  char c = (char)__builtin_va_arg (ap, int);
	  __builtin_printf ("char: %c\n", c);
	}
	break;      
      }
  __builtin_va_end (ap);
}

void test_missing_va_start (const char *fmt, ...)
{
  __builtin_va_list ap;

  while (*fmt)
    switch (*fmt++)
      {
      case 's':
	{
	  const char *s = __builtin_va_arg (ap, char *); /* { dg-warning "use of uninitialized value 'ap'" } */
	  __builtin_printf ("string: %s\n", s);
	}
	break;
      case 'd':
	{
	  int i = __builtin_va_arg (ap, int); /* { dg-warning "use of uninitialized value 'ap'" } */
	  __builtin_printf ("int: %d\n", i); 
	}
	break;
      case 'c':
	{
	  char c = (char)__builtin_va_arg (ap, int); /* { dg-warning "use of uninitialized value 'ap'" } */
	  __builtin_printf ("char: %c\n", c);
	}
	break;      
      }
  __builtin_va_end (ap);
}

void test_missing_va_end (const char *fmt, ...)
{
  __builtin_va_list ap;
  __builtin_va_start (ap, fmt);
  while (*fmt)
    switch (*fmt++)
      {
      case 's':
	{
	  const char *s = __builtin_va_arg (ap, char *);
	  __builtin_printf ("string: %s\n", s);
	}
	break;
      case 'd':
	{
	  int i = __builtin_va_arg (ap, int);
	  __builtin_printf ("int: %d\n", i);
	}
	break;
      case 'c':
	{
	  char c = (char)__builtin_va_arg (ap, int);
	  __builtin_printf ("char: %c\n", c);
	}
	break;      
      }
} /* { dg-warning "missing call to 'va_end'" } */

void wrong_type_for_percent_s (void)
{
  test_format_string ("%s", 42);
}

void wrong_type_for_percent_d (void)
{
  test_format_string ("%d", "foo");
}

void not_enough_args (void)
{
  test_format_string ("%s%d", "foo");
}