hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Clarify getType based on the QLDoc of Instruction::getResultType()

Browse Source
This commit is contained in:
Jeroen Ketema
2022-10-25 13:34:49 +02:00
parent 21acefb0b4
commit 2ad3119fab
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -111,7 +111,12 @@ class Node extends TIRDataFlowNode {
/** Gets the function to which this node belongs, if any. */
Declaration getFunction() { none() } // overridden in subclasses
/** Gets the type of this node. */
/**
* Gets the type of this node.
*
* If `asInstruction().isGLValue()` holds, then the type of this node
* should be thought of as "pointer to `getType()`".
*/
DataFlowType getType() { none() } // overridden in subclasses
/** Gets the instruction corresponding to this node, if any. */