On Thu, Feb 2, 2012 at 2:38 AM, Hans Wennborg <[email protected]> wrote: > On Mon, Jan 30, 2012 at 4:40 PM, Hans Wennborg <[email protected]> wrote: >> On Tue, Jan 24, 2012 at 9:42 AM, Hans Wennborg <[email protected]> wrote: >>> On Tue, Jan 24, 2012 at 5:23 AM, Richard Smith <[email protected]> >>> wrote: >>>> Perhaps we should adjust the error text to say they're a C11 extension? >>> >>> It should probably go under -Wc11-extensions rather than -Wgnu then as well. >>> >>> And we probably shouldn't change the case for C++: i.e. it should >>> still be called a GNU extension? >> >> New patch attached. > > Ping?
Patch looks fine. -Eli _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
