http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50514
--- Comment #4 from Vittorio Zecca <zeccav at gmail dot com> 2011-09-29 06:58:24 UTC --- About run time checking: I believe the bit size of k is known at compile time, and the overhead to check n against it is negligible as compared to computing ishft itself and maybe n. Of course when I am asking -fcheck I am prepared to slower execution, but it may well pay off, if I find a bug. I believe programmer (debugging) time is now costlier than hardware time.