1  /* PR sanitizer/80308 */
       2  /* { dg-do run } */
       3  
       4  __attribute__((noinline, noclone)) int
       5  foo (char *a)
       6  {
       7    int i, j = 0;
       8    asm volatile ("" : "+r" (a) : : "memory");
       9    for (i = 0; i < 12; i++)
      10      j += a[i];
      11    return j;
      12  }
      13  
      14  int
      15  main ()
      16  {
      17    int i, j = 0;
      18    for (i = 0; i < 4; i++)
      19      {
      20        char a[12];
      21        __builtin_memset (a, 0, sizeof (a));
      22        j += foo (a);
      23      }
      24    return j;
      25  }