HomePhabricator

[CFG] Provide construction contexts for temproary objects.

Description

[CFG] Provide construction contexts for temproary objects.

Constructors of C++ temporary objects that have destructors now can be queried
to discover that they're indeed constructing temporary objects.

The respective CXXBindTemporaryExpr, which is also repsonsible for destroying
the temporary at the end of full-expression, is now available at the
construction site in the CFG. This is all the context we need to provide for
temporary objects that are not lifetime extended. For lifetime-extended
temporaries, more context is necessary.

Differential Revision: https://reviews.llvm.org/D43056

Details

Committed
dergachevFeb 14 2018, 7:13 PM
Differential Revision
D43056: [CFG] [analyzer] Add construction context for CXXBindTemporaryExpr.
Parents
rL325209: [analyzer] Decide on inlining destructors via EvalCallOptions.
Branches
Unknown
Tags
Unknown