https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84811
--- Comment #20 from Zhendong Su <su at cs dot ucdavis.edu> --- Created attachment 43695 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43695&action=edit output from "gcctk -O3 -S -da small.c"
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84811
--- Comment #20 from Zhendong Su <su at cs dot ucdavis.edu> --- Created attachment 43695 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43695&action=edit output from "gcctk -O3 -S -da small.c"