On Mon, 20 Jul 2015, Martin Sebor wrote: > I'm not sure what guidance to take from this discussion. > Is the request to replace __attribute__ ((unused)) with > __attribute_used__ in this patch or is it okay to commit > as is? "used" and "unused" are different attributes and should not be confused. -- Joseph S. Myers joseph@codesourcery.com