1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */ 3 4 load(long * p)5static 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 foo(long * mem)14long 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" } } */ 22