From: "Paulo J. Matos" <pocm@soton.ac.uk>
To: tprince@myrealbox.com
Cc: "Stuart Cracraft" <smcracraft@gmail.com>, help-gcc@gnu.org
Subject: Re: [Fwd: Re: bounds checking a GCC program]
Date: Wed, 06 Dec 2006 15:43:00 -0000 [thread overview]
Message-ID: <11b141710612060743x3059a674m5b5ea736e3073a34@mail.gmail.com> (raw)
In-Reply-To: <4576DD06.60506@sbcglobal.net>
On 12/6/06, Tim Prince <timothyprince@sbcglobal.net> wrote:
> Stuart Cracraft wrote:
> > Hi - I have a complex C program that needs to be bounds-checked
> > according to others in the particular sub-field.
> >
> > Is there a bounds checker for GCC? I run GCC 4.1.
> >
> > Thanks ahead,
> >
>
> Read about -fbounds-check in 'info gcc'
>
It seems to support only Java and Fortran, right?
-fbounds-check
For front-ends that support it, generate additional code to check that
indices used to access arrays are within the declared range. This is
currently only supported by the Java and Fortran 77 front-ends, where
this option defaults to true and false respectively.
Which doesn't fit OP requirements.
--
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK
next prev parent reply other threads:[~2006-12-06 15:43 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-12-06 14:35 Stuart Cracraft
2006-12-06 15:09 ` Tim Prince
2006-12-06 15:43 ` Paulo J. Matos [this message]
2006-12-06 17:05 Stuart Cracraft
2006-12-06 17:17 ` Perry Smith
2006-12-06 17:23 ` Perry Smith
2006-12-06 17:23 ` Artūras Moskvinas
2006-12-06 21:40 Stuart Cracraft
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=11b141710612060743x3059a674m5b5ea736e3073a34@mail.gmail.com \
--to=pocm@soton.ac.uk \
--cc=help-gcc@gnu.org \
--cc=smcracraft@gmail.com \
--cc=tprince@myrealbox.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).