Re: [PATCH] Fix loop bound computation based on undefined behavior

2012-04-17 Thread Richard Guenther
On Tue, 17 Apr 2012, Richard Guenther wrote: > > Loop bound computation uses undefined behavior when accessing arrays > outside of their domain. Unfortunately while it tries to honor > issues with trailing arrays in allocated storage its implementation > is broken (for one, it does consider a TY

[PATCH] Fix loop bound computation based on undefined behavior

2012-04-17 Thread Richard Guenther
Loop bound computation uses undefined behavior when accessing arrays outside of their domain. Unfortunately while it tries to honor issues with trailing arrays in allocated storage its implementation is broken (for one, it does consider a TYPE_DECL after the array as a sign that the array is not