> Hi,
>
> On Fri, Mar 21, 2014 at 09:40:39PM +0100, Jan Hubicka wrote:
> > > On Thu, 20 Mar 2014, Martin Jambor wrote:
> > >
> > > > Hi,
> > > >
> > > > On Thu, Mar 20, 2014 at 07:40:56PM +0100, Jakub Jelinek wrote:
> > > > > On Thu, Mar 20, 2014 at 05:07:32PM +0100, Martin Jambor wrote:
> > > >
Hi,
On Fri, Mar 21, 2014 at 09:40:39PM +0100, Jan Hubicka wrote:
> > On Thu, 20 Mar 2014, Martin Jambor wrote:
> >
> > > Hi,
> > >
> > > On Thu, Mar 20, 2014 at 07:40:56PM +0100, Jakub Jelinek wrote:
> > > > On Thu, Mar 20, 2014 at 05:07:32PM +0100, Martin Jambor wrote:
> > > > > in the PR, veri
> On Thu, 20 Mar 2014, Martin Jambor wrote:
>
> > Hi,
> >
> > On Thu, Mar 20, 2014 at 07:40:56PM +0100, Jakub Jelinek wrote:
> > > On Thu, Mar 20, 2014 at 05:07:32PM +0100, Martin Jambor wrote:
> > > > in the PR, verifier claims an edge is pointing to a wrong declaration
> > > > even though it ha
On Thu, 20 Mar 2014, Martin Jambor wrote:
> Hi,
>
> On Thu, Mar 20, 2014 at 07:40:56PM +0100, Jakub Jelinek wrote:
> > On Thu, Mar 20, 2014 at 05:07:32PM +0100, Martin Jambor wrote:
> > > in the PR, verifier claims an edge is pointing to a wrong declaration
> > > even though it has successfully v
Hi,
On Thu, Mar 20, 2014 at 07:40:56PM +0100, Jakub Jelinek wrote:
> On Thu, Mar 20, 2014 at 05:07:32PM +0100, Martin Jambor wrote:
> > in the PR, verifier claims an edge is pointing to a wrong declaration
> > even though it has successfully verified the edge multiple times
> > before. The reason
On Thu, Mar 20, 2014 at 05:07:32PM +0100, Martin Jambor wrote:
> in the PR, verifier claims an edge is pointing to a wrong declaration
> even though it has successfully verified the edge multiple times
> before. The reason is that symtab_remove_unreachable_nodes decides to
> "remove the body" of a
Hi,
in the PR, verifier claims an edge is pointing to a wrong declaration
even though it has successfully verified the edge multiple times
before. The reason is that symtab_remove_unreachable_nodes decides to
"remove the body" of a node and also clear any information that it is
an alias of anothe