http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52760
--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-03-29 12:46:20 UTC --- (In reply to comment #6) > Created attachment 27030 [details] > gcc48-pr52760.patch > > So do you prefer this instead? Yes. In a non-constant case we'd miss a conversion, so I suppose we only expect constant shift counts here - which means you should assert constant_p instead of verifying it. Thanks.