On Mon, 17 Dec 2012, Jakub Jelinek wrote:
> On Mon, Dec 17, 2012 at 01:45:54PM +0100, Richard Biener wrote:
> > --- 283,302
> > if (base == NULL_TREE)
> > return false;
> >
> > ! /* The tree oracle doesn't like bases that are neither decls
> > ! nor indirect references of
On Mon, Dec 17, 2012 at 01:45:54PM +0100, Richard Biener wrote:
> --- 283,302
> if (base == NULL_TREE)
> return false;
>
> ! /* The tree oracle doesn't like bases that are neither decls
> ! nor indirect references of SSA names. */
> ! if (!DECL_P (base)
> ! && (TRE
The following patch properly constrains inputs to refs_may_alias_p
as coming from the RTL oracle. Instead of disallowing stuff this
just leaves things through that it can handle (thus it should be
more failsafe). The patch also removes some dead code.
Bootstrap and regtest pending on x86_64-unk
