C-use and P-use
In data flow analysis, a variable use is classified as either:
- c-use (computational use) — the variable is used in a computation. This occurs at a vertex of the control flow graph.
- p-use (predicate use) — the variable is used in a predicate (branching condition). This occurs on an edge of the control flow graph.