C run-time checking

[Stephen J. Hartley]

  I scan this news group every day but don't remember ever seeing a
discussion about this.  Are there C compilers provided by any
vendors that generate code to perform run-time checking (toggled
by an option on the command line, say)?  I have in mind run-time
checking of the type provided by Pascal compilers, such as checking
an array subscript against the array bounds, checking a pointer for
reasonable values before dereferencing it.
-- 
	Department of Computer Science and Elec. Eng.	Stephen J. Hartley
USENET:	{decvax,ihnp4,linus}!dartvax!uvm-gen!hartley	University of Vermont
CSNET:	hartley at uvm.EDU					(802) 656-3330, 862-5323