[Bug tree-optimization/52798] __builtin_object_size() based overflow check is a false positive due to parameter optimisation

[gcc at breakpoint dot cc]

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

--- Comment #1 from Sebastian Andrzej Siewior <gcc at breakpoint dot cc> 
2012-03-30 21:54:33 UTC ---
Created attachment 27051
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27051
.i test case