http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53128
--- Comment #6 from Igor Zamyatin <izamyatin at gmail dot com> 2012-05-04 13:19:07 UTC --- Compiler does not simply see such code, it happens after some analysis, right? For example, after work of infer_loop_bounds_from_undefined which makes some assumptions and I believe can produce some information for user. Again, I'm worrying about all this from user-perspective and especially after discovering 2 such things in spec2006 sources(PR53086 and PR53073). Interesting, could people have problems with SPEC results reporting since they have to modify sources for this?