1  /* { dg-additional-options "-fno-analyzer-call-summaries -fno-analyzer-state-merge -Wno-analyzer-too-complex" } */
       2  
       3  void test_format_string (const char *fmt, ...)
       4  {
       5    __builtin_va_list ap;
       6    __builtin_va_start (ap, fmt);
       7    while (*fmt)
       8      switch (*fmt++)
       9        {
      10        case 's':
      11  	{
      12  	  const char *s = __builtin_va_arg (ap, char *); /* { dg-warning "'va_arg' expected 'const char \\*' but received 'int' for variadic argument 1 of 'ap'" } */
      13  	  __builtin_printf ("string: %s\n", s);
      14  	}
      15  	break;
      16        case 'd':
      17  	{
      18  	  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" } */
      19  	  /* { dg-warning "'ap' has no more arguments \\(1 consumed\\)" "not_enough_args" { target *-*-* } .-1 } */
      20  	  __builtin_printf ("int: %d\n", i);
      21  	}
      22  	break;
      23        case 'c':
      24  	{
      25  	  char c = (char)__builtin_va_arg (ap, int);
      26  	  __builtin_printf ("char: %c\n", c);
      27  	}
      28  	break;      
      29        }
      30    __builtin_va_end (ap);
      31  }
      32  
      33  void test_missing_va_start (const char *fmt, ...)
      34  {
      35    __builtin_va_list ap;
      36  
      37    while (*fmt)
      38      switch (*fmt++)
      39        {
      40        case 's':
      41  	{
      42  	  const char *s = __builtin_va_arg (ap, char *); /* { dg-warning "use of uninitialized value 'ap'" } */
      43  	  __builtin_printf ("string: %s\n", s);
      44  	}
      45  	break;
      46        case 'd':
      47  	{
      48  	  int i = __builtin_va_arg (ap, int); /* { dg-warning "use of uninitialized value 'ap'" } */
      49  	  __builtin_printf ("int: %d\n", i); 
      50  	}
      51  	break;
      52        case 'c':
      53  	{
      54  	  char c = (char)__builtin_va_arg (ap, int); /* { dg-warning "use of uninitialized value 'ap'" } */
      55  	  __builtin_printf ("char: %c\n", c);
      56  	}
      57  	break;      
      58        }
      59    __builtin_va_end (ap);
      60  }
      61  
      62  void test_missing_va_end (const char *fmt, ...)
      63  {
      64    __builtin_va_list ap;
      65    __builtin_va_start (ap, fmt);
      66    while (*fmt)
      67      switch (*fmt++)
      68        {
      69        case 's':
      70  	{
      71  	  const char *s = __builtin_va_arg (ap, char *);
      72  	  __builtin_printf ("string: %s\n", s);
      73  	}
      74  	break;
      75        case 'd':
      76  	{
      77  	  int i = __builtin_va_arg (ap, int);
      78  	  __builtin_printf ("int: %d\n", i);
      79  	}
      80  	break;
      81        case 'c':
      82  	{
      83  	  char c = (char)__builtin_va_arg (ap, int);
      84  	  __builtin_printf ("char: %c\n", c);
      85  	}
      86  	break;      
      87        }
      88  } /* { dg-warning "missing call to 'va_end'" } */
      89  
      90  void wrong_type_for_percent_s (void)
      91  {
      92    test_format_string ("%s", 42);
      93  }
      94  
      95  void wrong_type_for_percent_d (void)
      96  {
      97    test_format_string ("%d", "foo");
      98  }
      99  
     100  void not_enough_args (void)
     101  {
     102    test_format_string ("%s%d", "foo");
     103  }