[Bug tree-optimization/54935] No way to do if converison

[joseph at codesourcery dot com]

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

--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-10-15 14:58:14 UTC ---
On Mon, 15 Oct 2012, rguenth at gcc dot gnu.org wrote:

> We cannot if-convert this because the store to a[i] may trap as it may be
> in .rodata.
> 
> That is, the following is valid C:
> 
> t1.c:
> const int a[100];
> const int b[100];
> 
> t2.c:
> your testcase

No, that's not valid.  int[100] and const int[100] are not compatible 
types.