Predicate definitionReaches

Holds if the definition def of some stack variable can reach node, which is a definition or use, without crossing definitions of the same variable.

Import path

import cpp

predicate definitionReaches(Expr def, Expr node)