HomePhabricator

[analyzer] Add scope information to CFG

Description

[analyzer] Add scope information to CFG

This patch adds two new CFG elements CFGScopeBegin and CFGScopeEnd that indicate
when a local scope begins and ends respectively. We use first VarDecl declared
in a scope to uniquely identify it and add CFGScopeBegin and CFGScopeEnd elements
into corresponding basic blocks.

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

Details

Committed
chefmaxMar 12 2018, 5:26 AM
Differential Revision
D16403: Add scope information to CFG
Branches
Unknown
Tags
Unknown