<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 Jul 6, 2012, at 3:40 PM, Chandler Carruth <<a href="mailto:chandlerc@gmail.com">chandlerc@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-family: Optima; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; ">I'll integrate this (as wel as your and Ben's comments) into a fresh patch shortly for you to look at before I commit.</div></blockquote></div><br><div>You'll probably need this anyway: I think it would be nice to have a LiveInterval::verify() function that checks all the invariants:</div><div><br></div><div>ranges[i].start.isValid()</div><div>ranges[i].end.isValid()</div><div>ranges[i].start < ranges[i].end</div><div>ranges[i].valno != NULL</div><div>ranges[i].valno == valnos[ranges[i].valno->id]</div><div>ranges[i].end <= ranges[i+1].start</div><div>ranges[i].end == ranges[i+1].start ==> ranges[i].valno != ranges[i+1].valno</div><div><br></div><div>/jakob</div><div><br></div></body></html>