HomePhabricator

[analyzer] handle modification of vars inside an expr with comma operator

Description

[analyzer] handle modification of vars inside an expr with comma operator

We should track mutation of a variable within a comma operator expression.
Current code in ExprMutationAnalyzer does not handle it.

This will handle cases like:

(a, b) ++ < == b is modified
(a, b) = c < == b is modifed

Patch by Djordje Todorovic.

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

Details

Committed
petarjMar 7 2019, 7:50 AM
Differential Revision
D58894: [analyzer] Handle modification of vars inside an expr with comma operator
Branches
Unknown
Tags
Unknown