support array bounds checking
Per Bothner
bothner@cygnus.com
Fri Apr 30 22:47:00 GMT 1999
> Forgive me if I'm being stupid, but isn't there already a
> patch for bounds checking for the C front end available?
I did point out that patches are available. One problem is
that there are only *patches*. Nothing has been actually
*contributed*. Mostly, they are not solid enough for serious
use. I.e. people do the first 90% of the work, write their
thesis, and never finish the job. But if the base concept is
solid, the way to get someone else to finish the job is not
to post patches on the Net; the patches have to go into the
cvs archive, so people can work on them. Otherwise, they
will just bit-rot.
> (see http://www-dse.doc.ic.ac.uk/~rj3/bounds-checking.html ).
This design does not use fat pointers - which is good. What I
see on the web page looks ok. It might be a good starting
point. But we need to get the correct copyright assignments.
That might be difficult at this late stage.
> I know it's entirely non-standard to support array bounds
> checking in C/C++, but why not do it anyway? (I'm not
> volunteering though ;-)... I have exams to worry about).
Because somebody needs to volunteer. (Or maybe the Cygnus sales
staff needs to sell someone on paying for it ...)
--Per Bothner
Cygnus Solutions bothner@cygnus.com http://www.cygnus.com/~bothner
More information about the Gcc-patches
mailing list