------- Comment #9 from hp at gcc dot gnu dot org 2010-09-09 08:11 ------- Created an attachment (id=21748) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21748&action=view) patch
The simplest solution is to correct noce_get_condition to not follow its documentation and not allow conditions that aren't "valid at JUMP" rather than "valid at EARLIEST", simply because we can't allow an additional side-effect. Maybe too simple for some, but simple and safe enough for a release-branch. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41087
