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

C++: Rename IPA branch.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-02-29 12:02:13 +00:00
parent a7f0966fcb
commit 46b47db78e
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -34,7 +34,7 @@ private import Node0ToString
cached cached
private newtype TIRDataFlowNode = private newtype TIRDataFlowNode =
TNode0(Node0Impl node) { DataFlowImplCommon::forceCachingInSameStage() } or TNode0(Node0Impl node) { DataFlowImplCommon::forceCachingInSameStage() } or
TVariableNode(GlobalLikeVariable var, int indirectionIndex) { TGlobalLikeVariableNode(GlobalLikeVariable var, int indirectionIndex) {
indirectionIndex = indirectionIndex =
[getMinIndirectionsForType(var.getUnspecifiedType()) .. Ssa::getMaxIndirectionsForType(var.getUnspecifiedType())] [getMinIndirectionsForType(var.getUnspecifiedType()) .. Ssa::getMaxIndirectionsForType(var.getUnspecifiedType())]
} or } or
@@ -396,7 +396,7 @@ class Node extends TIRDataFlowNode {
* modeling flow in and out of global variables. * modeling flow in and out of global variables.
*/ */
Variable asVariable() { Variable asVariable() {
this = TVariableNode(result, getMinIndirectionsForType(result.getUnspecifiedType())) this = TGlobalLikeVariableNode(result, getMinIndirectionsForType(result.getUnspecifiedType()))
} }
/** /**
@@ -406,7 +406,7 @@ class Node extends TIRDataFlowNode {
*/ */
Variable asIndirectVariable(int indirectionIndex) { Variable asIndirectVariable(int indirectionIndex) {
indirectionIndex > getMinIndirectionsForType(result.getUnspecifiedType()) and indirectionIndex > getMinIndirectionsForType(result.getUnspecifiedType()) and
this = TVariableNode(result, indirectionIndex) this = TGlobalLikeVariableNode(result, indirectionIndex)
} }
/** Gets an indirection of this node's underlying variable, if any. */ /** Gets an indirection of this node's underlying variable, if any. */
@@ -1755,11 +1755,11 @@ class DefinitionByReferenceNode extends IndirectArgumentOutNode {
* value of that variable at some particular point. This can be used for * value of that variable at some particular point. This can be used for
* modeling flow in and out of global variables. * modeling flow in and out of global variables.
*/ */
class VariableNode extends Node, TVariableNode { class VariableNode extends Node, TGlobalLikeVariableNode {
Variable v; Variable v;
int indirectionIndex; int indirectionIndex;
VariableNode() { this = TVariableNode(v, indirectionIndex) } VariableNode() { this = TGlobalLikeVariableNode(v, indirectionIndex) }
/** Gets the variable corresponding to this node. */ /** Gets the variable corresponding to this node. */
Variable getVariable() { result = v } Variable getVariable() { result = v }