then produce a smaller test case (1108 basic blocks, wow!), preferably in C ;-) Seems unlikely to get it in C since it involves an ARRAY_RANGE_REF and a non-constant lower bound, both of which can't be expressed in C.