HomePhabricator

[analyzer] Make sure a materialized temporary matches its bindings.

Authored by jordan_rose on Feb 21 2013, 5:51 PM.

Description

[analyzer] Make sure a materialized temporary matches its bindings.

This is a follow-up to r175830, which made sure a temporary object region
created for, say, a struct rvalue matched up with the initial bindings
being stored into it. This does the same for the case in which the AST
actually tells us that we need to create a temporary via a
MaterializeObjectExpr. I've unified the two code paths and moved a static
helper function onto ExprEngine.

This also caused a bit of test churn, causing us to go back to describing
temporary regions without a 'const' qualifier. This seems acceptable; it's
our behavior from a few months ago.

rdar://problem/13265460 (part 2)

llvm-svn: 175854

Details

Committed
jordan_roseFeb 21 2013, 5:51 PM
Parents
rG047f81a5dfe8: Fix isa<> check which could never be true.
Branches
Unknown
Tags
Unknown