https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110282 --- Comment #6 from CTC <19373742 at buaa dot edu.cn> --- Another related and smaller reproducer: # cat tmp.i main() { int *a = 0; int b = *a; }