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.
luis.machado at linaro dot org Mon, 07 May 2018 08:36:53 -0700
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.