On Thu, Feb 2, 2012 at 9:48 PM, Eli Friedman <[email protected]> wrote: > 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
Thanks! Landed r149695. - Hans _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
