https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85800
--- Comment #2 from Juneyoung Lee ---
If address is not adjacent - you can reorder the definition of A and B and try
again.
```
int A[4], B[4];
```
If changing
if (c1 == c2)
// Always true if p and q have same integer representation
Assignee: unassigned at gcc dot gnu.org
Reporter: juneyoung.lee at sf dot snu.ac.kr
Target Milestone: ---
Created attachment 44136
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44136&action=edit
A source file that raises the bug.
```
$ cat test-main.c
#include
#
