https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115439
--- Comment #3 from Carlos Eduardo Seo <carlos.seo at linaro dot org> --- (In reply to Robin Dapp from comment #2) > We already discussed that briefly on the mailing list. Richard Sandiford > suspected a target bug. What options do I need to configure GCC in order to > reproduce that locally? You can reproduce exactly what is being done by the CI by following: https://git-us.linaro.org/toolchain/ci/interesting-commits.git/plain/gcc/sha1/7ca35f2e430081d6ec91e910002f92d9713350fa/tcwg_gnu_embed_check_gcc/master-thumb_m55_hard_eabi/reproduction_instructions.txt If you prefer to do it manually: configure SHELL=/bin/bash \ --with-mpc=/home/tcwg-buildslave/workspace/tcwg_gnu_1/abe/builds/destdir/x86_64-pc-linux-gnu \ --with-mpfr=/home/tcwg-buildslave/workspace/tcwg_gnu_1/abe/builds/destdir/x86_64-pc-linux-gnu \ --with-gmp=/home/tcwg-buildslave/workspace/tcwg_gnu_1/abe/builds/destdir/x86_64-pc-linux-gnu \ --with-gnu-as \ --with-gnu-ld \ --disable-libmudflap \ --enable-lto \ --enable-shared \ --without-included-gettext \ --enable-nls \ --with-system-zlib \ --disable-sjlj-exceptions \ --enable-gnu-unique-object \ --enable-linker-build-id \ --disable-libstdcxx-pch \ --enable-c99 \ --enable-clocale=gnu \ --enable-libstdcxx-debug \ --enable-long-long \ --with-cloog=no \ --with-ppl=no \ --with-isl=no \ --enable-threads=no \ --disable-multiarch \ --disable-multilib \ --with-mode=thumb \ --with-arch=armv8.1-m.main+mve.fp+fp.dp \ --with-float=hard \ --with-sysroot=/home/tcwg-buildslave/workspace/tcwg_gnu_1/abe/builds/destdir/x86_64-pc-linux-gnu/arm-eabi \ --with-headers=yes \ --with-native-system-header-dir=/include \ --with-newlib \ --enable-checking=yes \ --disable-bootstrap \ --enable-languages=c,c++,lto \ --prefix=/home/tcwg-buildslave/workspace/tcwg_gnu_1/abe/builds/destdir/x86_64-pc-linux-gnu \ --build=x86_64-pc-linux-gnu \ --host=x86_64-pc-linux-gnu \ --target=arm-eabi