<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 24 January 2017 at 20:02, Jonathan Coe <span dir="ltr"><<a href="mailto:jonathanbcoe@gmail.com" target="_blank">jonathanbcoe@gmail.com</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"><div dir="auto"><span class="gmail-"><div></div><div><br></div><div><br>On 24 Jan 2017, at 19:14, David Tarditi <<a href="mailto:dtarditi@microsoft.com" target="_blank">dtarditi@microsoft.com</a>> wrote:<br><br></div><blockquote type="cite"><div>
<div class="gmail-m_-8983268726597574820WordSection1">
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">Jonathan Coe wrote “I did not see any restrictions on distribution of the PDF I got”. Just to point out that there is a “Conditions of Use” at the end of the PDF (a rather
unusual location). It’s quite liberal:<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">Conditions of Use<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">You are free to share (copy, distribute and transmit) this complete work, or parts of this work, subject to<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">attributing to PRQA as follows, “HIC++ Coding Standard as created by PRQA” (and you must not in any<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">way suggest that PRQA endorses you or your use of this work).<u></u><u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:10pt;font-family:nimbussanl-bold"><u></u> <u></u></span></b></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">This is good to see because some other widely-used industry coding standards such as MISRA C require individual or corporate purchase of the documentation (see
<a href="https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx" target="_blank">https://www.misra.org.uk/<wbr>MISRAHome/MISRAC2012/tabid/<wbr>196/Default.aspx</a>, for example).<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif">David<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif"><u></u> <u></u></span></p></div></div></blockquote><div><br></div></span><div>Oops and thanks</div><div><br></div><div>Jon</div><span class="gmail-"><br><blockquote type="cite"><div><div class="gmail-m_-8983268726597574820WordSection1">
<p class="MsoNormal"><span style="font-size:11pt;font-family:calibri,sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:11pt;font-family:calibri,sans-serif">From:</span></b><span style="font-size:11pt;font-family:calibri,sans-serif"> cfe-dev [<a href="mailto:cfe-dev-bounces@lists.llvm.org" target="_blank">mailto:cfe-dev-bounces@lists.<wbr>llvm.org</a>]
<b>On Behalf Of </b>Jonathan Coe via cfe-dev<br>
<b>Sent:</b> Tuesday, January 24, 2017 6:02 AM<br>
<b>To:</b> Ben Cox <<a href="mailto:cox@djehuti.com" target="_blank">cox@djehuti.com</a>><br>
<b>Cc:</b> Clang Dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>><br>
<b>Subject:</b> Re: [cfe-dev] clang-tidy checks for High integrity C++<u></u><u></u></span></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">On 24 January 2017 at 13:52, Ben Cox <<a href="mailto:cox@djehuti.com" target="_blank">cox@djehuti.com</a>> wrote:<u></u><u></u></p>
<blockquote style="border-style:none none none solid;border-left-color:rgb(204,204,204);border-left-width:1pt;padding:0in 0in 0in 6pt;margin-left:4.8pt;margin-right:0in">
<div>
<p class="MsoNormal">On Jan 24, 2017, at 8:49 AM, Jonathan Coe <<a href="mailto:jbcoe@me.com" target="_blank">jbcoe@me.com</a>> wrote:<u></u><u></u></p>
<div>
<blockquote style="margin-top:5pt;margin-bottom:5pt">
<div>
<div>
<div>
<div>
<blockquote style="border-style:none none none solid;border-left-color:rgb(204,204,204);border-left-width:1pt;padding:0in 0in 0in 6pt;margin-left:4.8pt;margin-right:0in">
<p class="MsoNormal">Strong yes here, and might be able to devote some resources to helping with the effort.<u></u><u></u></p>
</blockquote>
<div>
<p class="MsoNormal">Are you interested in High-integrity C++ in particular or safety-critical checks in general?<u></u><u></u></p>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">High-Integrity C++ in particular. (We'd want to customize the checks, of course, since our coding standard, while based on HIC++, has a few exceptions and differences from the "official" spec.)<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><span style="color:rgb(136,136,136)"><u></u> <u></u></span></p>
</div>
</div>
</blockquote>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">I've asked the owners of High Integrity C++ if we can use the name for a clang-tidy module. If they are not happy we can call it `safety` or `safetycritical` instead.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"> <u></u><u></u></p>
</div>
<blockquote style="border-style:none none none solid;border-left-color:rgb(204,204,204);border-left-width:1pt;padding:0in 0in 0in 6pt;margin-left:4.8pt;margin-right:0in">
<div>
<div>
<p class="MsoNormal"><span style="color:rgb(136,136,136)">-- Ben<u></u><u></u></span></p>
</div>
<div>
<p class="MsoNormal"><span style="color:rgb(136,136,136)"><u></u> <u></u></span></p>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"><u></u> </p></div></div></div></div></blockquote></span></div></blockquote><div><br></div><div>Initial patch here <a href="https://reviews.llvm.org/D29118">https://reviews.llvm.org/D29118</a> </div></div><br></div></div>