https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81306
--- Comment #2 from David Binderman <dcb314 at hotmail dot com> --- I've had a go at chopping down the command line and got this: $ pwd /home/dcb/gcc/working/x86_64-pc-linux-gnu/libgcc $ /home/dcb/gcc/working/./gcc/xgcc -B/home/dcb/gcc/working/./gcc/ -Wall -I. -I../../../trunk/libgcc/. -I../../../trunk/include -c ../../../trunk/libgcc/soft-fp/divtf3.c Using -E and capturing the preprocessor output in a temporary file and then compiling that doesn't seem to work.