On Tue, 11 Mar 2014, Magnus Reftel wrote: > Currently, castring away volatile from a pointer makes -Wcast-qual > claim that __attribute__((noreturn)) was cast away (see bugzilla > 55383). The attached patch, originally written by Manuel L?pez-Ib??ez > and updated to match trunk by me, correctes that. No regressions on > gcc from applying this patch (as reported by "make check") were seen.
OK (with the ChangeLog fix as noted). -- Joseph S. Myers jos...@codesourcery.com
