hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-14 11:19:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Remove SSA location overrides.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2026-04-27 14:56:52 +02:00
parent dc34b10cb6
commit 31e06bc0a9
1 changed files with 0 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
View File

@@ -422,9 +422,6 @@ module Ssa {
deprecated final predicate isLiveOutRefParameterDefinition(Parameter p) {
SsaImpl::isLiveOutRefParameterDefinition(this, p)
}
/** Gets the location of this SSA definition. */
override Location getLocation() { none() }
}
/**
@@ -509,8 +506,6 @@ module Ssa {
override Element getElement() { result = ad.getElement() }
override string toString() { result = "SSA def(" + this.getSourceVariable() + ")" }
override Location getLocation() { result = ad.getLocation() }
}
/**
@@ -556,8 +551,6 @@ module Ssa {
then result = "SSA capture def(" + this.getSourceVariable() + ")"
else result = "SSA entry def(" + this.getSourceVariable() + ")"
}
override Location getLocation() { result = this.getCallable().getLocation() }
}
deprecated class ImplicitParameterDefinition = ParameterDefinition;
@@ -625,8 +618,6 @@ module Ssa {
}
override string toString() { result = "SSA call def(" + this.getSourceVariable() + ")" }
override Location getLocation() { result = this.getCall().getLocation() }
}
/**
@@ -649,8 +640,6 @@ module Ssa {
final Definition getQualifierDefinition() { result = q }
override string toString() { result = "SSA qualifier def(" + this.getSourceVariable() + ")" }
override Location getLocation() { result = this.getQualifierDefinition().getLocation() }
}
/**
@@ -689,16 +678,6 @@ module Ssa {
}
override string toString() { result = "SSA phi(" + this.getSourceVariable() + ")" }
/*
* The location of a phi node is the same as the location of the first node
* in the basic block in which it is defined.
*
* Strictly speaking, the node is *before* the first node, but such a location
* does not exist in the source program.
*/
override Location getLocation() { result = this.getBasicBlock().getFirstNode().getLocation() }
}
/**