On Aug 11, 2011, at 3:42 PM, Ted Kremenek wrote: >> Also, separate from implementation, would it be worth it to use this to >> /implement/ SymbolDerived? They're basically SymbolRegionValues with >> dependencies. > > Yes, I had the same thought. That would be a nice cleanup.
I'll back peddle on this one. They are entirely two separate concepts. Anna's patch adds the notion of "linked symbols", which is different than having symbol derived from another one. I think we should keep SymbolDerived, since I don't see a need to have derived symbols whose lifetime is dictated by having multiple bases. Linked symbols aren't about bases and derived symbols, it's about one symbol extending the lifetime of another. That's a many-to-many relationship, as opposed to a one-to-many (base to derived).
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
