https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85681 --- Comment #3 from Luis Machado <luis.machado at linaro dot org> --- There are a couple fixups needed in there. The second error you ran into was already caught by gcc in the first comment.