The issue that I had to solve by arduously single-stepping through a complex program (took a week) turned out to be a pointer stepping outside of pre-determined places within a single-dimensional array; that is, the pointer stayed within the overall array but stepped outside of determined areas within the array and this resulted in the clobbering of areas elsewhere. Having bounds checking that tells me when it stepped out of the overall array would not have helped. What is needed is something that says has it stepped out of a pre-defined area within a single array. My application is written in C and maintains its own stack which is what was clobbered. Stuart ---- "Paulo J. Matos" <pocm@xxxxxxxxxxx> wrote: > On 12/6/06, Tim Prince <timothyprince@xxxxxxxxxxxxx> 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
