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

Inline predicate only used once

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-09-11 22:02:06 +01:00
parent 05a16dc100
commit 89ae0e3bf3
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
View File

@@ -844,13 +844,11 @@ module Public {
insn = getAWrittenInsn()
}
predicate hasPostUpdateNode(Node preupd) { insnHasPostUpdateNode(preupd.asInstruction()) }
private class DefaultPostUpdateNode extends PostUpdateNode {
Node preupd;
DefaultPostUpdateNode() {
hasPostUpdateNode(preupd) and
insnHasPostUpdateNode(preupd.asInstruction()) and
(
preupd = this.(SsaNode).getAUse()
or