------- Comment #29 from baldrick at free dot fr 2007-02-23 17:09 ------- Subject: Re: VRP fails to eliminate range checks in Ada code
> BTW, this is not a bug, but a possible enhancement, and a very tricky one at > that, since removing too many checks will hurt much more Ada programmers than > having too many, so let's please be extra careful here. Yes - vrp has potentially massive effects on Ada code. These effects can be good, even wonderful, if done right, but the slightest mistake could cause bad bad trouble. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911
