Re: [PATCH] Fix eliminate_redundant_comparison (PR tree-optimization/48734)

On Tue, Apr 26, 2011 at 3:02 PM, Jakub Jelinek wrote: > Hi! > > eliminate_redundant_comparison calls maybe_fold_{and,or}_comparisons, > which calls fold.  Expecting that the result is either INTEGER_CST or > a comparison with gimple vals is just bad assumption, fold can create > all kinds of canon

[PATCH] Fix eliminate_redundant_comparison (PR tree-optimization/48734)

Hi! eliminate_redundant_comparison calls maybe_fold_{and,or}_comparisons, which calls fold. Expecting that the result is either INTEGER_CST or a comparison with gimple vals is just bad assumption, fold can create all kinds of canonicalizations. While we can perhaps handle a few of them here, I'm