gcc/testsuite/c-c++-common/analyzer/stdarg-pr113509.c

   1 /* Regression test for ICE with -fanalyzer-verbose-state-changes.  */
   2
   3 /* { dg-additional-options " -fanalyzer-verbose-state-changes" } */
   4
   5 __builtin_va_list FOO_showfatal_ap;
   6 void FOO_showfatal(char fmta, ...) {
   7   __builtin_va_start(FOO_showfatal_ap, fmta); /* { dg-message "'va_start' called here" } */
   8 } /* { dg-warning "missing call to 'va_end'" } */