On Sun, Jul 5, 2009 at 6:26 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br></div>
This makes Diags a pointer past the last element of the vector; not a<br>
good idea, even if it does happen to work most of the time.</blockquote><div><br></div><div>Yeah, that is a whoops on my part. Originally I had a std::vector<Diagnostic *> and I was newing and deleting things as a passed them around. Apparently I made a bit of an embarrassing mistake when I changed that ;-)</div>
<div><br></div><div>Louis</div></div>