This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH 1/3] ada: Generate warning on useless 'Unchecked_Access with -gnatw.u

From: Samuel Tardieu <sam at rfc1149 dot net>
To: gcc-patches at gcc dot gnu dot org
Date: Tue, 6 Nov 2007 00:48:33 +0100
Subject: Re: [PATCH 1/3] ada: Generate warning on useless 'Unchecked_Access with -gnatw.u
References: <fa735967585ce4ee6823593e96e33c7a633a93ef.1194304297.git.sam@rfc1149.net>

On  5/11, Samuel Tardieu wrote:

| This serie of three patches adds a new GNAT warning "-gnatw.u". This
| warning, which is also turned on by "-gnata", warns the user when
| 'Unchecked_Access is used and the accessibility checks show that
| 'Access could have been used instead. This helped find three such
| cases in GNAT's own runtime.

I forgot: this patch has been tested and bootstrapped on x86.

References:
- [PATCH 1/3] ada: Generate warning on useless 'Unchecked_Access with -gnatw.u
  - From: Samuel Tardieu

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]