1  /* { dg-do compile } */
       2  /* { dg-options "-O -fgimple -fdump-tree-dom2" } */
       3  
       4  int __GIMPLE (ssa,startwith("dom"))
       5  foo (void *p)
       6  {
       7    int _2;
       8  
       9    __BB(2):
      10    __MEM <int> ((char *)p_1(D) + 4) = 20;
      11    _2 = __MEM <const int> ((int *)p_1(D) + 4);
      12    return _2;
      13  }
      14  
      15  /* { dg-final { scan-tree-dump "return 20;" "dom2" } } */