This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Set nonnull attribute to ptr_info_def based on VRP
- From: Jakub Jelinek <jakub at redhat dot com>
- To: kugan <kugan dot vivekanandarajah at linaro dot org>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Richard Biener <richard dot guenther at gmail dot com>, Jeff Law <law at redhat dot com>
- Date: Mon, 8 Aug 2016 08:40:28 +0200
- Subject: Re: Set nonnull attribute to ptr_info_def based on VRP
- Authentication-results: sourceware.org; auth=none
- References: <717fb095-f0a9-6980-ddbd-e755a4fd6457@linaro.org>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
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 same helper functions as align
> above. */
> unsigned int misalign;
> + /* When this pointer is knonw to be nnonnull this would be true otherwise
> + false. */
> + bool nonnull_p;
> };
Why do you need this? Doesn't the pt.null bit represent that already?
Also, formatting and spelling:
s/knonw/known/
s/nnon/non/
s/bool /bool /
Jakub