https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127511
--- Comment #4 from Heiko Eißfeldt <heiko at hexco dot de> --- Sure, I will do that after work. Maybe my expectation was wrong, that (re)configuring resets everything... Would this be worth a bug report or is it a misconception of me? Thanks.
