gcc/testsuite/c-c++-common/pr48418.c

/* PR c/48418 */
/* { dg-do compile } */
/* { dg-options "-Wall -O2" } */

int
foo (int x)
{
  const int a = sizeof (int) * __CHAR_BIT__;
  const int b = -7;
  int c = 0;
  c += x << a;				   /* { dg-warning "10:left shift count >= width of type" } */
  c += x << b;				   /* { dg-warning "10:left shift count is negative" } */
  c += x << (sizeof (int) * __CHAR_BIT__); /* { dg-warning "10:left shift count >= width of type" } */
  c += x << -7;				   /* { dg-warning "10:left shift count is negative" } */
  c += x >> a;				   /* { dg-warning "10:right shift count >= width of type" } */
  c += x >> b;				   /* { dg-warning "10:right shift count is negative" } */
  c += x >> (sizeof (int) * __CHAR_BIT__); /* { dg-warning "10:right shift count >= width of type" } */
  c += x >> -7;				   /* { dg-warning "10:right shift count is negative" } */
  return c;
}