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

C++: Fix pointer/pointee conflation.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-05-22 17:39:43 -07:00
parent a319fc0044
commit 36285ba2c5
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -210,8 +210,8 @@ class IndirectOperand extends Node {
this.(RawIndirectOperand).getOperand() = operand and this.(RawIndirectOperand).getOperand() = operand and
this.(RawIndirectOperand).getIndirectionIndex() = indirectionIndex this.(RawIndirectOperand).getIndirectionIndex() = indirectionIndex
or or
this.(OperandNode).getOperand() = nodeHasOperand(this, Ssa::getIRRepresentationOfIndirectOperand(operand, indirectionIndex),
Ssa::getIRRepresentationOfIndirectOperand(operand, indirectionIndex) indirectionIndex - 1)
} }
/** Gets the underlying operand. */ /** Gets the underlying operand. */
@@ -250,8 +250,8 @@ class IndirectInstruction extends Node {
this.(RawIndirectInstruction).getInstruction() = instr and this.(RawIndirectInstruction).getInstruction() = instr and
this.(RawIndirectInstruction).getIndirectionIndex() = indirectionIndex this.(RawIndirectInstruction).getIndirectionIndex() = indirectionIndex
or or
this.(InstructionNode).getInstruction() = nodeHasInstruction(this, Ssa::getIRRepresentationOfIndirectInstruction(instr, indirectionIndex),
Ssa::getIRRepresentationOfIndirectInstruction(instr, indirectionIndex) indirectionIndex - 1)
} }
/** Gets the underlying instruction. */ /** Gets the underlying instruction. */