> But maybe all the non-constant offset / size cases are "dead code" now that > we are in GIMPLE? Note they likely can only appear from Ada code anyway
Possibly, but to be sure put a call to gcc_unreachable where appropriate and run the Ada testsuite; if it is clean, then send me the patch and I'll run it on a more thorough testsuite. -- Eric Botcazou