view gcc/testsuite/gcc.dg/ubsan/pr81981.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
line wrap: on
line source

/* PR sanitizer/81981 */
/* { dg-do compile } */
/* { dg-options "-O2 -Wmaybe-uninitialized -fsanitize=undefined -ffat-lto-objects" } */

int v;

int
foo (int i)
{
  int t[1], u[1];
  int n = 0;

  if (i)
    {
      t[n] = i;
      u[0] = i;
    }

  v = u[0];		/* { dg-warning "may be used uninitialized in this function" } */
  return t[0];		/* { dg-warning "may be used uninitialized in this function" } */
}