http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59125
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- It doesn't work that easily. But we could "refine" a folding result without actually doing the folding by adding an additional argument to the builtin which serves as a (sofar) known maximum/minimum value.
