CodeQL library for C#
codeql/csharp-all 0.9.1 (changelog, source)
Search

Member predicate Ssa::PhiNode::getAnInput

Gets an input of this phi node. Example:

int Field;

void SetField(int i) {
  this.Field = i;
  Use(this.Field);
  if (i > 0)
    this.Field = i - 1;
  else if (i < 0)
    SetField(1);
  Use(this.Field);
  Use(this.Field);
}
  • The phi node for this.Field between lines 9 and 10 has the explicit definition on line 4, the explicit definition on line 7, and the implicit call definition on line 9 as inputs.
Definition getAnInput()