On 25 March 2015 at 18:53, Martin Sebor wrote: > This was my mistake because specifying -ansi after -std=c11 > overrides the latter with -std=c90. (It would be nice if > the driver warned about one option overriding another.)
In general that's useful, so you can add e.g. -O0 to the end of a command and override any previous -O option, but when the two options are spelled differently it might be useful. I've seen almost exactly this mistake before with someone using -std=c++11 -ansi.