mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
78ddb37a8c
This commit adds type information to data flow paths, by mapping node types onto the smaller set of GVN types, and implementing `ppReprType()`. The effect is a mere change in `DataFlow::PathNode::toString()`; no type-based pruning is done yet.