Hi, Does there exist an interface and implementation to find out if two rtl expressions [memory] alias with each other/access the same memory location? Thanks for your help, regards, Raj