This is the mail archive of the gcc@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: pointer checking run time code

From: Robert Dewar <dewar at adacore dot com>
To: Florian Weimer <fw at deneb dot enyo dot de>
Cc: shreyas76 at gmail dot com, gcc at gcc dot gnu dot org
Date: Mon, 19 Sep 2005 10:31:54 -0400
Subject: Re: pointer checking run time code
References: <24389fb305091706412acf8053@mail.gmail.com> <432C2105.5000904@adacore.com> <87d5n69utr.fsf@mid.deneb.enyo.de>

Florian Weimer wrote:

Doesn't it eleminate too many checks, even? 8-/

Not that I know of


And, to be absolutely honest, Ada only requires a small subset of all
the checks that are required to make pointers completely safe.  Once
you use 'Unchecked_Access, Unchecked_Deallocation, or GNAT's
'Unrestricted_Access, all bets are off.

Depends on the storage pool used

References:
- pointer checking run time code
  - From: shreyas krishnan
- Re: pointer checking run time code
  - From: Robert Dewar
- Re: pointer checking run time code
  - From: Florian Weimer

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