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] ada: Use explicit conversion to VString_Ptr

From: Arnaud Charlet <charlet at adacore dot com>
To: Robert Dewar <dewar at adacore dot com>
Cc: Samuel Tardieu <sam at rfc1149 dot net>, gcc-patches at gcc dot gnu dot org
Date: Fri, 14 Dec 2007 09:13:17 +0100
Subject: Re: [PATCH] ada: Use explicit conversion to VString_Ptr
References: <20071213152936.5D906C4091@mail2.rfc1149.net> <20071213162236.GA93545@adacore.com> <2007-12-13-18-33-37+trackit+sam@rfc1149.net> <4761E4F8.3090501@adacore.com>

> >Ok, it got caught by the -gnatw.u warning; if Unchecked_Access is indeed
> >mandatory here, the -gnatw.u patch may be missing a corner case.
> 
> This makes me worry about that patch. I really think we should redo this
> using my approach, which is for sure reliable.

Agreed, sounds like the -gnatw.u warning is dangerous as it is.

Arno

References:
- [PATCH] ada: Use explicit conversion to VString_Ptr
  - From: Samuel Tardieu
- Re: [PATCH] ada: Use explicit conversion to VString_Ptr
  - From: Arnaud Charlet
- Re: [PATCH] ada: Use explicit conversion to VString_Ptr
  - From: Samuel Tardieu
- Re: [PATCH] ada: Use explicit conversion to VString_Ptr
  - From: Robert Dewar

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