1  long long a;
       2  unsigned b;
       3  int c[70];
       4  int d[70][70];
       5  int e;
       6  
       7  __attribute__ ((noinline)) void f(long long *g, int p2) {
       8    *g = p2;
       9  }
      10  
      11  __attribute__ ((noinline)) void fn2() {
      12    for (int j = 0; j < 70; j++) {
      13      for (int i = 0; i < 70; i++) {
      14        if (b)
      15          c[i] = 0;
      16        for (int l = 0; l < 70; l++)
      17          d[i][1] = d[l][i];
      18      }
      19      for (int k = 0; k < 70; k++)
      20        e = c[0];
      21    }
      22  }
      23  
      24  int main() {
      25    b = 5;
      26    for (int j = 0; j < 70; ++j)
      27      c[j] = 2075593088;
      28    fn2();
      29    f(&a, e);
      30    if (a)
      31      __builtin_abort();
      32    return 0;
      33  }
      34