gcc/testsuite/g++.dg/ubsan/shift-1.C

   1 /* { dg-do compile } */
   2 /* { dg-options "-fsanitize=shift -w" } */
   3 /* { dg-shouldfail "ubsan" } */
   4
   5 int
   6 foo (int x)
   7 {
   8   /* None of the following should pass.  */
   9   switch (x)
  10     {
  11     case 1 >> -1: /* { dg-error "operand of shift" } */
  12     case -1 >> -1: /* { dg-error "operand of shift" } */
  13     case 1 << -1: /* { dg-error "operand of shift" } */
  14     case -1 << -1: /* { dg-error "operand of shift" } */
  15       return 1;
  16     }
  17   return 0;
  18 }
  19
  20 int
  21 bar (int x)
  22 {
  23   /* None of the following should pass.  */
  24   switch (x)
  25     {
  26     case -1 >> 200: /* { dg-error "operand of shift" } */
  27     case 1 << 200: /* { dg-error "operand of shift" } */
  28       return 1;
  29     }
  30   return 0;
  31 }