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

Fix override annotations and remove final predicate clashes in SSA.qll

Browse Source 
Co-authored-by: owen-mc <62447351+owen-mc@users.noreply.github.com>
Agent-Logs-Url: https://github.com/github/codeql/sessions/b400ebd5-4095-401e-8811-fb550600b3c4
This commit is contained in:
copilot-swe-agent[bot]
2026-03-23 17:14:08 +00:00
committed by Owen Mansel-Chan
parent e467cf6482
commit 87f92f36d0
1 changed files with 3 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
go/ql/lib/semmle/go/dataflow/SSA.qll
View File

@@ -65,7 +65,7 @@ private predicate unresolvedIdentifier(Ident id, string name) {
*/
class SsaVariable extends Definition {
/** Gets the source variable corresponding to this SSA variable. */
SsaSourceVariable getSourceVariable() { this.definesAt(result, _, _) }
override SsaSourceVariable getSourceVariable() { this.definesAt(result, _, _) }
/** Gets the (unique) definition of this SSA variable. */
SsaDefinition getDefinition() { result = this }
@@ -98,7 +98,7 @@ class SsaVariable extends Definition {
}
/** Gets the location of this SSA variable. */
Location getLocation() { result = this.(SsaDefinition).getLocation() }
override Location getLocation() { result = this.(SsaDefinition).getLocation() }
/**
* DEPRECATED: Use `getLocation()` instead.
@@ -124,12 +124,7 @@ class SsaDefinition extends Definition {
SsaVariable getVariable() { result = this }
/** Gets the source variable defined by this definition. */
SsaSourceVariable getSourceVariable() { this.definesAt(result, _, _) }
/**
* Gets the basic block to which this definition belongs.
*/
BasicBlock getBasicBlock() { this.definesAt(_, result, _) }
override SsaSourceVariable getSourceVariable() { this.definesAt(result, _, _) }
/** Gets the innermost function or file to which this SSA definition belongs. */
ControlFlow::Root getRoot() { result = this.getBasicBlock().getScope() }