https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54488
--- Comment #9 from Evgeniya Maenkova <evgeniya.maenkova at gmail dot com> --- I use 32bit Linux, perhaps, that gives the difference. Regarding checking and O2 - I will read about this. Thanks for your note.