(root)/
gcc-13.2.0/
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  }