From 6cb69535a555936ce44ef4c8ff3d0f50acaccfd4 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Fri, 19 Sep 2025 09:34:51 +0100 Subject: [PATCH] Add missing qldocs --- go/ql/lib/semmle/go/controlflow/IR.qll | 1 + go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll | 1 + 2 files changed, 2 insertions(+) diff --git a/go/ql/lib/semmle/go/controlflow/IR.qll b/go/ql/lib/semmle/go/controlflow/IR.qll index 2b8a30437bb..2c8b673184e 100644 --- a/go/ql/lib/semmle/go/controlflow/IR.qll +++ b/go/ql/lib/semmle/go/controlflow/IR.qll @@ -446,6 +446,7 @@ module IR { /** Gets the target to which this instruction writes. */ WriteTarget getLhs() { result = lhs } + /** Holds if this instruction initializes a literal. */ predicate isInitialization() { initialization = true } /** Gets the instruction computing the value this instruction writes. */ diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll index 5e9cc7f6b74..d48335d299f 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll @@ -817,6 +817,7 @@ module Public { abstract Node getPreUpdateNode(); } + /** Holds if the node corresponding to `insn` has a post-update node. */ predicate insnHasPostUpdateNode(IR::Instruction insn) { exists(Expr e | insn.(IR::EvalInstruction).getExpr() = e | e instanceof AddressExpr or