gcc/testsuite/gcc.dg/pr60114.c

   1 /* PR c/60114 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-Wconversion" } */
   4 /* { dg-require-effective-target int32plus } */
   5
   6 struct S { int n, u[2]; };
   7 const signed char z[] = {
   8   [0] = 0x100, /* { dg-warning "-Woverflow" } */
   9   [2] = 0x101, /* { dg-warning "-Woverflow" } */
  10 };
  11 int A[] = {
  12             0, 0x80000000, /* { dg-warning "16:-Wsign-conversion" } */
  13             0xA, 0x80000000, /* { dg-warning "18:-Wsign-conversion" } */
  14             0xA, 0xA, 0x80000000 /* { dg-warning "23:-Wsign-conversion" } */
  15           };
  16 int *p = (int []) { 0x80000000 }; /* { dg-warning "21:-Wsign-conversion" } */
  17 union { int k; } u = { .k = 0x80000000 }; /* { dg-warning "29:-Wsign-conversion" } */
  18 typedef int H[];
  19 void
  20 foo (void)
  21 {
  22   signed char a[][3] = { { 0x100, /* { dg-warning "28:-Woverflow" } */
  23                     1, 0x100 }, /* { dg-warning "24:-Woverflow" } */
  24                   { '\0', 0x100, '\0' } /* { dg-warning "27:-Woverflow" } */
  25                 };
  26   (const signed char []) { 0x100 }; /* { dg-warning "28:-Woverflow" } */
  27   (const float []) { 1e0, 1e1, 1e100 }; /* { dg-warning "32:conversion" } */
  28   struct S s1 = { 0x80000000 }; /* { dg-warning "19:-Wsign-conversion" } */
  29   struct S s2 = { .n = 0x80000000 }; /* { dg-warning "24:-Wsign-conversion" } */
  30   struct S s3 = { .u[1] = 0x80000000 }; /* { dg-warning "27:-Wsign-conversion" } */
  31   H h = { 1, 2, 0x80000000 }; /* { dg-warning "17:-Wsign-conversion" } */
  32 }