gcc/testsuite/gcc.dg/ubsan/pr79757-1.c

   1 /* PR sanitizer/79757 */
   2 /* { dg-do compile } */
   3 /* { dg-require-effective-target int128 } */
   4 /* { dg-options "-fsanitize=undefined" } */
   5
   6 unsigned __int128 x, y;
   7
   8 void
   9 fn1 (void)
  10 {
  11   int a (z)
  12     unsigned long long z = x / y; /* { dg-error "parameter 'z' is initialized" } */
  13   {
  14   }
  15 }
  16
  17 void
  18 fn2 (void)
  19 {
  20   int a (z)
  21     unsigned long long z = x >> y; /* { dg-error "parameter 'z' is initialized" } */
  22   {
  23   }
  24 }