[cfe-dev] CFGElement changes and initializers addition (with patch)

[Ted Kremenek]

On Aug 23, 2010, at 8:47 PM, Jordy Rose wrote:

>> You mean creating a destructor node for 'p' in this case?
> 
> Yeah. I guess I don't mean "all objects" but "all variables plus all
> temporaries with non-trivial destructors". I figure checkers are going to
> be able to visit destructor nodes as well, so this would be almost as good
> as a VisitEndScope. (Which itself is more powerful than VisitEndAnalysis,
> as you pointed out.)

Agreed.  I think modeling destructors for non-POD data types is the way to go.  For everything else, modeling them explicitly seems to just cost us additional overhead with little gain.