hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-31 12:48:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'jeongsoolee09/add-getIndirectionIndex' of github.com:github/codeql into jeongsoolee09/add-getIndirectionIndex

Browse Source
This commit is contained in:
Jeongsoo Lee
2026-03-19 15:51:37 -07:00
parent dc291ffad7 d191d09c55
commit 356905ba36
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
View File

@@ -619,7 +619,7 @@ module Public {
/**
* Gets the uninitialized local variable corresponding to this node behind
* the given levels of indirection, if any.
* `index` number of indirections, if any.
*/
LocalVariable asIndirectUninitialized(int index) {
exists(IndirectUninitializedNode indirectUninitializedNode |
@@ -632,7 +632,7 @@ module Public {
/**
* Gets the uninitialized local variable corresponding to this node behind
* any levels of indirection, if any.
* a number indirections, if any.
*/
LocalVariable asIndirectUninitialized() { result = this.asIndirectUninitialized(_) }
@@ -812,7 +812,7 @@ module Public {
class IndirectUninitializedNode extends AbstractUninitializedNode {
IndirectUninitializedNode() { indirectionIndex > 0 }
/** Gets the level of indirection to get to this node. */
/** Gets the indirection index of this node. */
int getIndirectionIndex() { result = indirectionIndex }
}