gcc/testsuite/gcc.dg/pragma-diag-3.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Wswitch-enum -Wsign-compare -fstrict-overflow -Wstrict-overflow -Werror -Wno-error=switch-enum" } */
   3 /* PR c/66098 - #pragma diagnostic 'ignored' not fully undone by pop for strict-overflow
   4    PR c/66711 - GCC does not correctly restore diagnostic state after pragma GCC diagnostic pop with -Werror
   5 */
   6 /* { dg-message "warnings being treated as errors" "" {target "*-*-*"} 0 } */
   7
   8 void testing2() {
   9 #pragma GCC diagnostic push
  10 #pragma GCC diagnostic ignored "-Wstrict-overflow"
  11   int j = 4;
  12   j + 4 < j;
  13 #pragma GCC diagnostic pop
  14 }
  15
  16 void testing3() {
  17   int k = 4;
  18   k + 4 < k; /* { dg-error "overflow" "" { xfail *-*-* } } */
  19 }
  20
  21 int bar()
  22 {
  23   unsigned x = 0;
  24   int y = 1;
  25
  26   /* generates an error - ok */
  27   x += x < y ? 1 : 0; /* { dg-error "comparison" } */
  28
  29 #pragma GCC diagnostic push
  30 #pragma GCC diagnostic ignored "-Wsign-compare"
  31   /* generates no diagnostic - ok */
  32   x += x < y ? 1 : 0;
  33 #pragma GCC diagnostic pop
  34
  35   x += x < y ? 1 : 0; /* { dg-error "comparison" } */
  36
  37   return x;
  38 }
  39
  40 enum EE { ONE, TWO };
  41
  42 int f (enum EE e)
  43 {
  44   int r = 0;
  45
  46 #pragma GCC diagnostic push
  47 #pragma GCC diagnostic ignored "-Wswitch-enum"
  48
  49   switch (e)
  50     {
  51     case ONE:
  52       r = 1;
  53       break;
  54     }
  55 #pragma GCC diagnostic pop
  56
  57   switch (e) /* { dg-warning "switch" } */
  58     {
  59     case ONE:
  60       r = 1;
  61       break;
  62     }
  63   return r;
  64 }