<br><br><div class="gmail_quote">On Wed, Dec 24, 2008 at 2:11 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
This looks right to me!<br>
<br>
On a separate issue, I'm mixed on having TypeOfExpr own the Expr (which I assume is the case right now).  VLA types also own their size expressions, but I've never felt that Types should own expressions.  This is a long-standing issue, however with the ASTs.</blockquote>
<div><br>Yeah. Having types own decls causes failure of serialization/deserialization on this code:<br><br>struct s {<br>};<br><br>The struct is serialized twice: once by translation unit, the other by the type which owns it. When deserialized the second time, RegisterPtr() fails due to that the backpatch map already has final pointer.<br>
 </div></div><br>