<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jan 14, 2008, at 3:23 PM, Chris Lattner wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; ">On Jan 14, 2008, at 3:18 PM, Ted Kremenek wrote:<br><br><blockquote type="cite">Author: kremenek<br></blockquote><blockquote type="cite">Date: Mon Jan 14 17:18:55 2008<br></blockquote><blockquote type="cite">New Revision: 45984<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">URL:<span class="Apple-converted-space"> </span><a href="http://llvm.org/viewvc/llvm-project?rev=45984&view=rev">http://llvm.org/viewvc/llvm-project?rev=45984&view=rev</a><br></blockquote><blockquote type="cite">Log:<br></blockquote><blockquote type="cite">Added operator[] for CFGBlock. This provides random access to the statements<br></blockquote><blockquote type="cite">of a block.<br></blockquote><br>Is it a good idea to allow mutation through operator[] ? I'd expect a const CFGBlock to return a const Stmt*, what do you think?<br><br>-Chris</span></blockquote></div><br><div>I agree; the problem is that our the use of 'const' is not consistent enough in some parts to make this change easily without breaking things. I'll do a partial fix and look into cleaning up the use of 'const' once more of the past-sensitive solver is in place.</div></body></html>