https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89689
--- Comment #2 from Xavier <chantry.xavier at gmail dot com> --- Thanks for the quick answer and for the clear explanation ! I indeed thought about using an assert, I think we will go with the __builtin_unreachable suggestion. You motivated me to open a similar issue I found : 89699. I also had surprising errors with ignored-qualifiers and class-memaccess, I will try to get a test case for these as well.