Dave Korn wrote:
Wouldn't using -ftrapv do what we want? Would a possible answer be to make an ftrapv attribute that could be selectively applied to security-critical library routines such as operator new?
I have always been told that -ftrapv is nowhere near fully working or reliable (I think Eric is the source of that advice). Right now we generate somewhat nasty code for required overflow checking in GNAT based on that advice.