• Michael Beck's avatar
    Improved memory disambiguator: · a29950f6
    Michael Beck authored
     - undo r22133
     - BugFix: follow always the reference mode side
     - BugFix: NEVER return may_alias in the middle of the disambiguator
     - if two modes have different arithmetic mode, the pointers to are different
    
    [r22134]
    a29950f6