https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47618 --- Comment #17 from Petr Špaček <petr.spacek at nic dot cz> --- I found this bug while searching for a way to solve exactly this problem, so for the record: It sounds like very good and useful addition. Thank you!