Page MenuHomePhabricator

[analyzer] Support CXXTemporaryObjectExpr constructors that have destructors.
ClosedPublic

Authored by NoQ on Feb 7 2018, 8:03 PM.

Details

Summary

Patch D43056 adds support for such CXXTemporaryObjectExpr kind of constructors in the CFG. Here i add a straightforward analyzer-side support.

Note that when we don't have destructors (i.e. we have trivial destructors), the analyzer inlines the temporary constructor regardless of whether it has a destructor in the CFG or not, actually also regardless of whether the target region is correct, so it kinda worked before, in simple cases.

Diff Detail