remove redundant hasLocationInfo

This commit is contained in:
Erik Krogh Kristensen
2021-02-24 18:01:35 +01:00
parent 8443b8e421
commit 69348b1914

View File

@@ -660,14 +660,6 @@ class SsaPhiNode extends SsaPseudoDefinition, TPhi {
override string prettyPrintDef() { result = getSourceVariable() + " = phi(" + ppInputs() + ")" }
override predicate hasLocationInfo(
string filepath, int startline, int startcolumn, int endline, int endcolumn
) {
endline = startline and
endcolumn = startcolumn and
getBasicBlock().getLocation().hasLocationInfo(filepath, startline, startcolumn, _, _)
}
/**
* If all inputs to this phi node are (transitive) refinements of the same variable,
* gets that variable.