------- Comment #2 from jakub at gcc dot gnu dot org 2010-08-24 13:41 ------- Created an attachment (id=21556) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21556&action=view) minmax.patch
I've also noticed that the folder only recognizes the inner MAX_EXPR, but doesn't recognize the outer MIN_EXPR. Apparently (when convert_to_integer doesn't harm it, i.e. the bar testcase instead of foo) phiopt1 later on figures this out. The attached (untested) patch handles that case early, but not sure it is worth it. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45397
