------- Comment #2 from dfranke at gcc dot gnu dot org 2010-09-16 11:14 ------- They are not, as there, afaik, are no simplifiers yet.
Hence, with your patch they will be accepted, but you'd end up with wrong code at the end, as the functions are not properly simplified and thus not constant. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45689
