<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="gmail_quote"><div>I completely agree with Maciej here that if this is a reachable code, then the patch author should put a reasonable effort into creating a test case. <span style="font-family:arial,sans-serif;line-height:18px">And most importantly, these changes are clearly not "code cleanup".</span></div>


</div></div></blockquote><div><br></div><div>I'm disagreeing here. (as far as NULL checks go).</div><div><br></div><div>Unless there's a demonstrable reason that you _need_ a value uninitialized, why is the burden of proof on the person doing cleanup? Yes, at the point the code was written, it's well possible that the author was aware that the value would always be initialized for use. However, if code is added to a class, that invariant is not always checked again.</div>


<div><br></div><div>I think the confusion is over the intent of the person making the cleanup change. We (I speak as one of the people pushing static analysis) are not interested in *changing* WebKit behavior. We're interested in making sure behavior is deterministic. Requiring the construction of what amounts to an exploit for each fix for uninitialized variables seems a bit overkill :)</div>


<div><br></div><div>I agree that the CHANGELOG entry should state that we deliberately didn't add tests. My personal policy is to propose those patches, complete with "No new tests/ cleanup only". If I get pushback on the review, I'm happy to abandon it. </div>

<div><br></div><div>Rachel</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div class="gmail_quote">

<div><br></div><div>On Thu, Apr 19, 2012 at 11:11 PM, David Levin <span dir="ltr"><<a href="mailto:levin@google.com" target="_blank">levin@google.com</a>></span> wrote:</div><div><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">




I understand the other side as well that it would be good to figure out if it is really an issue and find a test to prove it. I guess this is more of what I think of as a BSD type of approach. It seems to be an area where reasonable people can disagree.</blockquote>




<div><br></div></div><div>The WebKit contribution guide lists this as a requirement (<a href="http://www.webkit.org/coding/contributing.html" target="_blank">http://www.webkit.org/coding/contributing.html</a>):</div><div>


<span style="line-height:18px;color:rgb(51,51,51);font-size:12px;font-family:'Lucida Grande',Verdana,Arial">For any feature that affects the layout engine, a new regression test must be constructed. If you provide a patch that fixes a bug, that patch should also include the addition of a regression test that would fail without the patch and succeed with the patch. If no regression test is provided, the reviewer will ask you to revise the patch, so you can save time by constructing the test up front and making sure it's attached to the bug.</span></div>




<div><br></div><div>So I don't think we can "disagree" on this topic. I'm sympathetic to the argument that it's hard to come up with a test case for things like this, but then the patch author should clearly state that in the change log, and most importantly the reviewer should be asking that during the review.</div>


<span><font color="#888888">

<div><br></div><div>- Ryosuke</div><div><br></div></font></span></div></div>
<br>_______________________________________________<br>
webkit-dev mailing list<br>
<a href="mailto:webkit-dev@lists.webkit.org" target="_blank">webkit-dev@lists.webkit.org</a><br>
<a href="http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev" target="_blank">http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev</a><br>
<br></blockquote></div><br>