[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 #5 from Qirun Zhang <helloqirun at gmail dot com> ---
(In reply to Jakub Jelinek from comment #4)
> (In reply to Qirun Zhang from comment #3)
> > (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.
> 
> Why do you think ghostscript doesn't have undefined behavior in it?
> Anyway, the bugs are both store of e[16] (only &e[16] is valid, but not
> dereferencing it), and memcpy of 16 characters to c which has only sizeof
> (int) (usually 4) characters.

Ah.. I forgot that I have modified that file. Please ignore my previous
message.