Re: [PATCH] Fix PR62031

2014-08-14 Thread Sebastian Pop
Richard Biener wrote: > > This fixes wrong answer from data-dependence analysis by realizing > that _all_ (even non-evolving) indirect accesses cannot be constrained > to a full object size. This also gets rid of that ugly > DR_UNCONSTRAINED_BASE hack (but effectively make it always active). >

[PATCH] Fix PR62031

2014-08-14 Thread Richard Biener
This fixes wrong answer from data-dependence analysis by realizing that _all_ (even non-evolving) indirect accesses cannot be constrained to a full object size. This also gets rid of that ugly DR_UNCONSTRAINED_BASE hack (but effectively make it always active). Bootstrapped on x86_64-unknown-linu