Re: MPS: face-cache

[Helmut Eller]

On Mon, Apr 29 2024, Eli Zaretskii wrote:

>> Here doc[*] for  GCC 12 says:
>> 
>>  GNU dialect of ISO C17. This is the default for C code.
>> 
>> https://gcc.gnu.org/onlinedocs/gcc-12.1.0/gcc/C-Dialect-Options.html#C-Dialect-Options
>
> Strange, the default for GCC 9.2 is also gnu17.

They changed the definition of gnu17 between GCC 10 and 11, compare:
https://gcc.gnu.org/onlinedocs/gcc-10.5.0/gcc/Mixed-Declarations.html
https://gcc.gnu.org/onlinedocs/gcc-11.4.0/gcc/Mixed-Labels-and-Declarations.html

Good thing that I still have gcc-10 installed.  Those kind of things
wouldn't happen with --std=c17.