Robert Dewar wrote: > The compiler > should not assume validity unless it can prove that the value is > actually in the declared range in my opinion.
We could add a "-fstrict-validity=" by analogy to "-fstrict-alias=". Ada
and C would want to have different default settings I imagine.
cheers,
DaveK
