------- Comment #20 from baldrick at free dot fr 2007-02-23 13:04 ------- Subject: Re: VRP fails to eliminate range checks in Ada code
> !POINTER_TYPE_P I'm testing with INTEGRAL_TYPE_P. By the way, I see a lot a anti-range canonicalization going on in C code. A lot of code where u is of an unsigned type checks whether u!=0. This now gets turned into the range [1,INF] which I guess is a good thing. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911