Re: [PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-24 Thread Jan Hubicka
> 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: > > > >

Re: [PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-24 Thread Martin Jambor
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

Re: [PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-21 Thread Jan Hubicka
> 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

Re: [PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-21 Thread Richard Biener
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

Re: [PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-20 Thread Martin Jambor
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

Re: [PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-20 Thread Jakub Jelinek
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

[PATCH, PR 59176] Mark "zombie" call graph nodes to remove verifier false positive

2014-03-20 Thread Martin Jambor
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