https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123314
--- Comment #5 from Andrew Macleod <amacleod at redhat dot com> --- Created attachment 63415 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63415&action=edit possible patch This patch won't limit the range you can get from an out-of IL statement. It'll still process it, it just wont look it up in the on entry cache. Any values it cannot find will still go to VARYING, but your statement which isnt in the IL will at least be folded. ie, something like v_56 = 6 it will still calculate [6, 6]. If your statement uses an SSA_NAME from within the IL, it'll also still look up the value of that ssa_name. Try this patch and see if it fully works.
