Predicate canValueFlow

Holds if a value can flow directly from one expr to another.

Import path

import cpp

predicate canValueFlow(Expr fromExpr, Expr toExpr)