hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add missing QLDoc

Browse Source
This commit is contained in:
Owen Mansel-Chan
2023-11-28 16:02:14 +00:00
parent 16a11b48ad
commit 4484d5bfa9
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -198,6 +198,11 @@ class SsaExplicitDefinition extends SsaDefinition, TExplicitDef {
override Location getLocation() { result = this.getInstruction().getLocation() }
/**
* Gets the first instruction that the value of this `SsaDefinition` can
* reach without passing through any other instructions, but possibly through
* phi nodes.
*/
IR::Instruction getAFirstUse() { firstUse(this, result) }
}
@@ -413,4 +418,11 @@ DataFlow::Node getASimilarReadNode(DataFlow::Node node) {
)
}
/**
* Gets an instruction such that `pred` and `result` form an adjacent
* use-use-pair of the same`SsaSourceVariable`, that is, the value read in
* `pred` can reach `result` without passing through any other use or any SSA
* definition of the variable except for phi nodes and uncertain implicit
* updates.
*/
IR::Instruction getAnAdjacentUse(IR::Instruction pred) { adjacentUseUse(pred, result) }