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

C++: Make the Node IPA type private.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-12-10 14:51:21 +00:00
parent de70cbfee9
commit 9f9ffef697
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -17,8 +17,7 @@ private import DataFlowImplCommon as DataFlowImplCommon
/**
* The IR dataflow graph consists of the following nodes:
* - `InstructionNode`, which injects most instructions directly into the dataflow graph.
* - `OperandNode`, which similarly injects most operands directly into the dataflow graph.
* - `Node0`, which injects most instructions and operands directly into the dataflow graph.
* - `VariableNode`, which is used to model flow through global variables.
* - `PostFieldUpdateNode`, which is used to model the state of a field after a value has been stored
* into an address after a number of loads.
@@ -31,7 +30,7 @@ private import DataFlowImplCommon as DataFlowImplCommon
* of times.
*/
cached
newtype TIRDataFlowNode =
private newtype TIRDataFlowNode =
TNode0(Node0Impl node) { DataFlowImplCommon::forceCachingInSameStage() } or
TVariableNode(Variable var) or
TPostFieldUpdateNode(FieldAddress operand, int indirectionIndex) {