text: /* { dg-options "-Wuninitialized" } */
  
  /* Verify disabling a warning, where both the _Pragma and the
     affected code are within (different) macros.  */
  
  /* TODO: XFAIL: both C and C++ erroneously fail to suppress the warning
     The warning is reported at the macro definition location, rather than
     the macro expansion location.  */
  
  # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN	\
      _Pragma ("GCC diagnostic push") \
      _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\
      _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
  # define YY_IGNORE_MAYBE_UNINITIALIZED_END \
      _Pragma ("GCC diagnostic pop")
  
  #define WARNABLE_CODE *++yyvsp = yylval; /* { dg-bogus "used uninitialized" "" { xfail *-*-* } } */
  
  void test (char yylval)
  {
    char *yyvsp; /* { dg-bogus "declared here" "" { xfail *-*-* } } */
    YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
    WARNABLE_CODE
    YY_IGNORE_MAYBE_UNINITIALIZED_END
  }
  