/* { dg-require-effective-target int32 } */
/* { dg-require-effective-target lp64 } */

/* Type mismatch: expect long, but passed an int.  */

static void __attribute__((noinline))
__analyzer_consume_long (int placeholder, ...)
{
  long v;
  __builtin_va_list ap;
  __builtin_va_start (ap, placeholder);
  v = __builtin_va_arg (ap, long); /* { dg-warning "'va_arg' expected 'long int' but received 'int' for variadic argument 1 of 'ap'" } */
  __builtin_va_end (ap);
}

void test_int_to_long (void)
{
  __analyzer_consume_long (42, 1066);
}

void test_char_to_long (void)
{
  /* char promoted to int.  */
  __analyzer_consume_long (42, 'a');
}