https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92860

--- Comment #49 from David Binderman <dcb314 at hotmail dot com> ---
Created attachment 51095
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51095&action=edit
C source code

Command line is

/home/dcb/gcc/working/./gcc/xgcc  -B/home/dcb/gcc/working/./gcc/  -g -O3 -march
=bdver2 -c bug734.c

and the reduced version of the code is

$ more bug734.c
#pragma GCC push_options
#pragma GCC pop_options
$

Reply via email to