Re: [PATCH] Improve PTA flow-sensitivity (for the return stmt)

2019-06-11 Thread Richard Biener
On Mon, 10 Jun 2019, Marc Glisse wrote: > On Wed, 5 Jun 2019, Richard Biener wrote: > > > The following was inspired by Marins work on escapes of locals > > and the discussion there. It teaches points-to analysis that > > the point of function return is special and thus escapes through > > that

Re: [PATCH] Improve PTA flow-sensitivity (for the return stmt)

2019-06-10 Thread Marc Glisse
On Wed, 5 Jun 2019, Richard Biener wrote: The following was inspired by Marins work on escapes of locals and the discussion there. It teaches points-to analysis that the point of function return is special and thus escapes through that a) do not influence other points-to solutions, b) can be pr

Re: [PATCH] Improve PTA flow-sensitivity (for the return stmt)

2019-06-05 Thread Jeff Law
On 6/5/19 6:51 AM, Richard Biener wrote: > > The following was inspired by Marins work on escapes of locals > and the discussion there. It teaches points-to analysis that > the point of function return is special and thus escapes through > that a) do not influence other points-to solutions, b) ca

Re: [PATCH] Improve PTA flow-sensitivity (for the return stmt)

2019-06-05 Thread Richard Biener
On Wed, 5 Jun 2019, Martin Sebor wrote: > On 6/5/19 6:51 AM, Richard Biener wrote: > > > > The following was inspired by Marins work on escapes of locals > > and the discussion there. It teaches points-to analysis that > > the point of function return is special and thus escapes through > > that

Re: [PATCH] Improve PTA flow-sensitivity (for the return stmt)

2019-06-05 Thread Martin Sebor
On 6/5/19 6:51 AM, Richard Biener wrote: The following was inspired by Marins work on escapes of locals and the discussion there. It teaches points-to analysis that the point of function return is special and thus escapes through that a) do not influence other points-to solutions, b) can be pru

[PATCH] Improve PTA flow-sensitivity (for the return stmt)

2019-06-05 Thread Richard Biener
The following was inspired by Marins work on escapes of locals and the discussion there. It teaches points-to analysis that the point of function return is special and thus escapes through that a) do not influence other points-to solutions, b) can be pruned of all locals. This is one example of