[Bug tree-optimization/53273] test-cases suffer from cross-function optimizations with no way to mark limits

[hp at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53273

--- Comment #1 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2012-05-08 
23:24:15 UTC ---
Created attachment 27350
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27350
preprocessed file with just the (previously) miscompiled function

This is basically gcc.dg/torture/pr53272-1.c, here for completeness.