https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69666
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (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.