<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Dec 19, 2012, at 2:05 PM, Chandler Carruth <<a href="mailto:chandlerc@google.com">chandlerc@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><div dir="ltr"><div class="gmail_default" style="">On Wed, Dec 19, 2012 at 2:00 PM, Jakob Stoklund Olesen <span dir="ltr"><<a href="mailto:stoklund@2pi.dk" target="_blank" class="cremed">stoklund@2pi.dk</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><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; position: static; z-index: auto;"><div style="word-wrap:break-word"><div><div class="h5"><br><div>
<div>On Dec 19, 2012, at 1:40 PM, Chandler Carruth <<a href="mailto:chandlerc@google.com" target="_blank" class="cremed">chandlerc@google.com</a>> wrote:</div><br><blockquote type="cite"><div style="font-family:arial,helvetica,sans-serif;font-size:10pt">
<div dir="ltr"><div>On Wed, Dec 19, 2012 at 1:37 PM, Jakob Stoklund Olesen <span dir="ltr"><<a href="mailto:stoklund@2pi.dk" target="_blank" class="cremed">stoklund@2pi.dk</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><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; position: static; z-index: auto;"><div style="word-wrap:break-word"><br><div><div><div>
On Dec 19, 2012, at 1:10 PM, Chandler Carruth <<a href="mailto:chandlerc@google.com" target="_blank" class="cremed">chandlerc@google.com</a>> wrote:</div><br><blockquote type="cite"><div style="font-family:arial,helvetica,sans-serif;font-size:10pt">
<div dir="ltr"><div>On Wed, Dec 19, 2012 at 1:04 PM, Dmitri Gribenko <span dir="ltr"><<a href="mailto:gribozavr@gmail.com" target="_blank" class="cremed">gribozavr@gmail.com</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><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; position: static; z-index: auto;"><div>
On Wed, Dec 19, 2012 at 11:02 PM, Jakob Stoklund Olesen <<a href="mailto:stoklund@2pi.dk" target="_blank" class="cremed">stoklund@2pi.dk</a>> wrote:<br>
><br>
> On Dec 19, 2012, at 11:01 AM, Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com" target="_blank" class="cremed">gribozavr@gmail.com</a>> wrote:<br>
><br>
>> On Tue, Aug 21, 2012 at 12:39 AM, Jakob Stoklund Olesen <<a href="mailto:stoklund@2pi.dk" target="_blank" class="cremed">stoklund@2pi.dk</a>> wrote:<br>
>>> ++MBBI;<br>
>>> if (MBBI == MF->end()) {<br>
>>> report("MBB conditionally falls through out of function!", MBB);<br>
>>> - } if (MBB->succ_size() != 2) {<br>
>>> + } if (MBB->succ_size() == 1) {<br>
>><br>
>> Hello Jakob,<br>
>><br>
>> Sorry to comment on an old commit, but '} if (...' looks suspicious --<br>
>> 'else' is probably missing. I have just fixed two bugs of this kind<br>
>> in Clang, found by grep '} if'.<br>
><br>
> Yikes, that does indeed look like a missing else.<br>
><br>
> Please go ahead and fix it.<br>
<br>
</div>OK to commit without a testcase?</blockquote><div><br></div><div>I'd like a testcase. =]</div></div></div></div></div></blockquote><div><br></div></div><div>What are you proposing?</div></div></div></blockquote>
<div><br></div><div>Surely the difference in control flow is observable somehow? If this is somehow latent and doesn't actually surface, cool, it just seemed strange to not be able to make this code misbehave visibly.</div>
</div></div></div></div>
</blockquote></div><br></div></div><div>If you are concerned about this, you should direct some energy towards the MI serialization project. It would be very welcome.</div></div></blockquote><div><br></div><div style="">I didn't know that testing this was blocked on that, sorry. =/ Wasn't trying to be demanding, it just wasn't clear that there was a particular barrier to adding a test case.</div>
<div style=""><br></div><div style="">I'd actually love to spend time here (as would you and others I suspect) but I too have been unable to prioritize it. I actually have some hope that in the next year folks here will end up prioritizing it if others don't get to it sooner. I agree it's an important missing piece infrastructure-wise... </div>
</div></div></div></div>
</blockquote></div><br><div>Sounds good!</div><div><br></div><div>Dmitry, please go ahead and commit your fix without a test case.</div><div><br></div><div>Thanks,</div><div>/jakob</div><div><br></div></body></html>