Re: Runtime array bound checking

Article View: gnu.gcc.help

Article #50360

#50360

From: Richard Stallman
Date: Tue, 12 Oct 1993 17:27

11 lines
1224 bytes

GCC has no facility for array bounds checking.  The implementation of
GNU Ada is going to involve adding back end support for efficient 
bounds checking.  Once that is done (some months from now, at
least), it would be straightforward to implement an option for bounds
checking in C, if someone knows a way to do this without breaking
lots of C programs in which the real array size is not known.

Another useful kind of run time checking would be to verify that
malloc memory is being used properly.  If you are an experienced
hacker and seriously prepared to implement such checking, please
contact me.

Technical Details

Message-ID: <9310121721.AA14468@mole.gnu.ai.mit.edu>

Path: arc1-ca.pugleaf.net!gmd.de!xlink.net!howland.reston.ans.net!math.ohio-state.edu!cis.ohio-state.edu!gnu.ai.mit.edu!rms

References: <CEs4Ln.LCH@cs.vu.nl>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 11318c,770230595b1fbc7e
X-Google-Attributes: gid11318c,public
X-Google-ArrivalTime: 1993-10-12 11:03:10 PST
Path: arc1-ca.pugleaf.net!gmd.de!xlink.net!howland.reston.ans.net!math.ohio-state.edu!cis.ohio-state.edu!gnu.ai.mit.edu!rms
From: rms@gnu.ai.mit.edu (Richard Stallman)
Newsgroups: gnu.gcc.help
Subject: Re: Runtime array bound checking
Date: 12 Oct 1993 13:27:21 -0400
Organization: GNUs Not Usenet
Lines: 11
Sender: daemon@cis.ohio-state.edu
Distribution: gnu
Message-ID: <9310121721.AA14468@mole.gnu.ai.mit.edu>
References: <CEs4Ln.LCH@cs.vu.nl>

Reply to Parent Message