------- Comment #3 from falk at debian dot org 2005-11-24 17:01 ------- Well, there's one actual issue here, namely that there is no warning about:
int f() { int x = 40; return 1 << x; } even though we could of course detect this, albeit probably only in the middle-end. It might be difficult to get this warning to be emitted reliably and without false positives from there. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25019