Re: Set nonnull attribute to ptr_info_def based on VRP

Hi Richard, On 14/10/16 23:53, Richard Biener wrote: On Fri, Oct 14, 2016 at 1:12 AM, kugan wrote: Hi Richard, On 13/10/16 20:44, Richard Biener wrote: On Thu, Oct 13, 2016 at 6:49 AM, kugan wrote: Hi Richard,

Re: Set nonnull attribute to ptr_info_def based on VRP

On Fri, Oct 14, 2016 at 1:12 AM, kugan wrote: > Hi Richard, > > > On 13/10/16 20:44, Richard Biener wrote: >> >> On Thu, Oct 13, 2016 at 6:49 AM, kugan >> wrote: >>> >>> Hi Richard, >>> what does this try to do?

Re: Set nonnull attribute to ptr_info_def based on VRP

Hi Richard, On 13/10/16 20:44, Richard Biener wrote: On Thu, Oct 13, 2016 at 6:49 AM, kugan wrote: Hi Richard, what does this try to do? Preserve info VRP computed across PTA? I think we didn't yet sort out the nonlocal/escaped vs. null handling

Re: Set nonnull attribute to ptr_info_def based on VRP

On Thu, Oct 13, 2016 at 6:49 AM, kugan wrote: > Hi Richard, > >> >> what does this try to do? Preserve info VRP computed across PTA? >> >> I think we didn't yet sort out the nonlocal/escaped vs. null handling >> properly >> (or how PTA should handle

Re: Set nonnull attribute to ptr_info_def based on VRP

Hi Richard, what does this try to do? Preserve info VRP computed across PTA? I think we didn't yet sort out the nonlocal/escaped vs. null handling properly (or how PTA should handle get_ptr_nonnull). The way you are using it asks for pt.null to be orthogonal to nonlocal/escaped and thus

Re: Set nonnull attribute to ptr_info_def based on VRP

On Wed, Oct 12, 2016 at 8:46 AM, kugan wrote: > Hi Richard, > > > > On 07/10/16 21:03, Richard Biener wrote: >> >> On Fri, Oct 7, 2016 at 2:53 AM, kugan >> wrote: >>> >>> Hi Richard, >>> >>> Thanks for the review. >>> >>> >>>

Re: Set nonnull attribute to ptr_info_def based on VRP

Hi Richard, On 07/10/16 21:03, Richard Biener wrote: On Fri, Oct 7, 2016 at 2:53 AM, kugan wrote: Hi Richard, Thanks for the review. On 09/08/16 18:58, Richard Biener wrote: On Tue, Aug 9, 2016 at 12:58 AM, kugan

Re: Set nonnull attribute to ptr_info_def based on VRP

On Fri, Oct 7, 2016 at 2:53 AM, kugan wrote: > Hi Richard, > > Thanks for the review. > > > On 09/08/16 18:58, Richard Biener wrote: >> >> On Tue, Aug 9, 2016 at 12:58 AM, kugan >> wrote: >>> >>> Hi Jakub, >>> >>> Thanks for

Re: Set nonnull attribute to ptr_info_def based on VRP

Hi Richard, Thanks for the review. On 09/08/16 18:58, Richard Biener wrote: On Tue, Aug 9, 2016 at 12:58 AM, kugan wrote: Hi Jakub, Thanks for the review. On 08/08/16 16:40, Jakub Jelinek wrote: On Mon, Aug 08, 2016 at 01:36:51PM +1000, kugan wrote:

Re: Set nonnull attribute to ptr_info_def based on VRP

On Tue, Aug 9, 2016 at 12:58 AM, kugan wrote: > Hi Jakub, > > Thanks for the review. > > On 08/08/16 16:40, Jakub Jelinek wrote: >> >> On Mon, Aug 08, 2016 at 01:36:51PM +1000, kugan wrote: >>> >>> diff --git a/gcc/tree-ssanames.h b/gcc/tree-ssanames.h >>> index

Re: Set nonnull attribute to ptr_info_def based on VRP

Hi Jakub, Thanks for the review. On 08/08/16 16:40, Jakub Jelinek wrote: On Mon, Aug 08, 2016 at 01:36:51PM +1000, kugan wrote: diff --git a/gcc/tree-ssanames.h b/gcc/tree-ssanames.h index c81b1a1..6e34433 100644 --- a/gcc/tree-ssanames.h +++ b/gcc/tree-ssanames.h @@ -43,6 +43,9 @@ struct

Re: Set nonnull attribute to ptr_info_def based on VRP

On Mon, Aug 08, 2016 at 01:36:51PM +1000, kugan wrote: > diff --git a/gcc/tree-ssanames.h b/gcc/tree-ssanames.h > index c81b1a1..6e34433 100644 > --- a/gcc/tree-ssanames.h > +++ b/gcc/tree-ssanames.h > @@ -43,6 +43,9 @@ struct GTY(()) ptr_info_def > above alignment. Access only through the

Set nonnull attribute to ptr_info_def based on VRP

Hi, This patch tries to add nonnull_p attribute to ptr_info_def. As it stands, range_info_def is bigger in size than ptr_info_def. Therefore adding nonnull_p should not change the size. I am setting this based on the VRP analysis. Right there is no uses for this. But the idea is, this can