<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Wed, Oct 7, 2015 at 7:34 PM Aaron Ballman via cfe-commits <<a href="mailto:cfe-commits@lists.llvm.org">cfe-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Wed, Oct 7, 2015 at 12:05 PM, Joerg Sonnenberger via cfe-commits<br>
<<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>> wrote:<br>
> On Tue, Oct 06, 2015 at 01:31:01PM -0000, Aaron Ballman via cfe-commits wrote:<br>
>> Log:<br>
>> Add a new module for the C++ Core Guidelines, and the first checker<br>
>> for those guidelines: cppcoreguidelines-pro-type-reinterpret-cast.<br>
><br>
> I wonder about the generality of this. Does it really make sense to flag<br>
> every reinterpret_cast of a void pointer? Such interface contracts<br>
> normally don't give you an alternative, so it seems a bit silly. This is<br>
> made worse by the concrete message used...<br>
><br>
> More importantly, can the checker detect all cases where<br>
> reinterpret_cast is used where a less generic cast applies?<br>
<br>
This is a checker specific to the behaviors of the C++ Core<br>
Guidelines. Personally, I share the same concerns about the viability<br>
of these kind of checks (specifically, on existing code bases instead<br>
of on newly-developed code). Especially when there's no guidance as to<br>
how to correct the code, short of "just don't do that thing despite it<br>
being well-formed code." However, the concept here is that we want<br>
checkers to diagnose coding guideline violations as-written, and that<br>
is why these checkers are being implemented under cppcoreguidelines-*.<br></blockquote><div><br></div><div>This is the main reason we need to figure out the documentation story soon enough... then we can point people at the core guidelines github and suggest to file bugs :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
~Aaron<br>
<br>
><br>
> Joerg<br>
> _______________________________________________<br>
> cfe-commits mailing list<br>
> <a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><br>
</blockquote></div></div>