<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
<div class="moz-cite-prefix">On 04/30/2014 04:10 AM, Dario Domizioli
wrote:<br>
</div>
<blockquote
cite="mid:CAKhr45gZexFP5MinTOop-r5UKfuvGbBNZbRsJEZ-=e=2hVBn0w@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra"><br>
<br>
<div class="gmail_quote">On 30 April 2014 09:18, Renato Golin
<span dir="ltr"><<a moz-do-not-send="true"
href="mailto:renato.golin@linaro.org" target="_blank">renato.golin@linaro.org</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">On
29 April 2014 23:49, Robinson, Paul<br>
<div class=""><<a moz-do-not-send="true"
href="mailto:Paul_Robinson@playstation.sony.com">Paul_Robinson@playstation.sony.com</a>>
wrote:<br>
> Which cycles us back to the original proposal:<br>
><br>
> #pragma clang optnone [on|off]<br>
><br>
> ...which is obviously tied to the attribute of the
same name, which<br>
> seems like at least a small goodness.<br>
<br>
</div>
Right, I think my list of arguments has ended. This seems
as good as any.<br>
</blockquote>
<div><br>
</div>
<div>Ok... so do we now have a consensus on the original
spec?</div>
<div> #pragma clang optnone on</div>
<div>
// code decorated with optnone</div>
<div> #pragma clang optnone off</div>
<div><br>
</div>
<div>It looks like you're convinced. Anybody else opposing
this?</div>
</div>
</div>
</div>
</blockquote>
I would still prefer the gcc spelling (exactly). However, this is
simply stylistic at this point. I have no strong argument to make
and will defer to the general agreement. <br>
<br>
Philip<br>
</body>
</html>