https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60851
--- Comment #13 from Uroš Bizjak <ubizjak at gmail dot com> --- Created attachment 35099 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35099&action=edit Proposed patch for 4.9 branch In 4.9 branch, the check is located in three different places throughout constrain_operands. There was a big cleanup by Richard Sandiford in this area [1]. Richard, does the patch looks OK to you? [1] https://gcc.gnu.org/ml/gcc-patches/2014-06/msg00530.html