HomePhabricator

[analyzer] Pass the correct loc Expr from VisitIncDecOp to evalStore

Description

[analyzer] Pass the correct loc Expr from VisitIncDecOp to evalStore

Summary: The LocationE parameter of evalStore is documented as "The location expression that is stored to". When storing from an increment / decrement operator this was not satisfied. In user code this causes an inconsistency between the SVal and Stmt parameters of checkLocation.

Reviewers: NoQ, dcoughlin, george.karpenkov

Reviewed By: NoQ

Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, cfe-commits

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

Details

Committed
r.stahlJan 7 2019, 7:07 AM
Reviewer
NoQ
Differential Revision
D55701: [analyzer] Pass the correct loc Expr from VisitIncDecOp to evalStore
Parents
rL350527: [AST] Store some data of CXXNewExpr as trailing objects
Branches
Unknown
Tags
Unknown