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

C++: PartialDefNode -> PartialDefinitionNode

Browse Source
This commit is contained in:
Jonas Jensen
2019-08-08 10:44:27 +02:00
parent 98d6f3cada
commit 0a13d7a337
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -9,7 +9,7 @@ private import semmle.code.cpp.models.interfaces.DataFlow
cached
private newtype TNode =
TExprNode(Expr e) or
TPartialDefNode(PartialDefinition pd) or
TPartialDefinitionNode(PartialDefinition pd) or
TPostConstructorCallNode(ConstructorCall call) or
TExplicitParameterNode(Parameter p) { exists(p.getFunction().getBlock()) } or
TInstanceParameterNode(MemberFunction f) { exists(f.getBlock()) and not f.isStatic() } or
@@ -52,7 +52,7 @@ class Node extends TNode {
* a partial definition of `&x`).s
*/
Expr asPartialDefinition() {
result = this.(PartialDefNode).getPartialDefinition().getDefinedExpr()
result = this.(PartialDefinitionNode).getPartialDefinition().getDefinedExpr()
}
/**
@@ -149,7 +149,7 @@ class ImplicitParameterNode extends ParameterNode, TInstanceParameterNode {
* `DefinitionByReferenceNode` to represent the value of `x` after the call has
* returned. This node will have its `getArgument()` equal to `&x`.
*/
class DefinitionByReferenceNode extends PartialDefNode {
class DefinitionByReferenceNode extends PartialDefinitionNode {
VariableAccess va;
Expr argument;
@@ -230,10 +230,10 @@ abstract class PostUpdateNode extends Node {
override string toString() { result = getPreUpdateNode().toString() + " [post update]" }
}
class PartialDefNode extends PostUpdateNode, TPartialDefNode {
class PartialDefinitionNode extends PostUpdateNode, TPartialDefinitionNode {
PartialDefinition pd;
PartialDefNode() { this = TPartialDefNode(pd) }
PartialDefinitionNode() { this = TPartialDefinitionNode(pd) }
override Node getPreUpdateNode() { result.asExpr() = pd.getDefinedExpr() }