[Bug tree-optimization/69666] [5/6 Regression] gcc ICE at -O2 and -O3 on valid code on x86_64-linux-gnu in "verify_gimple failed"

[helloqirun at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69666

--- Comment #3 from Qirun Zhang <helloqirun at gmail dot com> ---
(In reply to Jakub Jelinek from comment #2)
> This invalid VCE is created by SRA.  The code has multiple undefined
> behaviors in it, but we shouldn't ICE on that.

Hi Jakub,

This code example is reduced from a file from ghostscript. Therefore, I assume
the original test case should not have any undefined behavior. If helpful, I
can attach the original pre-processed file which triggers the same ICE.