1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */
       3  
       4  
       5  static inline long load(long *p)
       6  {
       7          long ret;
       8          asm ("xyzzy      %1,%0\n\t" : "=r" (ret) : "m" (*p));
       9          if (ret != *p)
      10                  __builtin_unreachable();
      11          return ret;
      12  }
      13  
      14  long foo(long *mem)
      15  {
      16          long ret;
      17          ret = load(mem);
      18          return ret - *mem;
      19  }
      20  
      21  /* { dg-final { scan-tree-dump "Folded to: _\[0-9\]+ = 0;"  "dom2" } } */