On Tue, 2 Aug 2005, Richard Guenther wrote: > 2005-08-02 Richard Guenther <rguenther@suse.de> > > PR tree-optimization/23195 > * fold-const.c (tree_expr_nonnegative_p): frexp(x, &e) is > positive if its first argument is positive. > I agree this is the best solution. Ok for mainline and 4.0 (modulo any restrictions on those branches). Thanks, Roger --