C++: Use 'DataFlowType' instead of 'Type' for the 'getType' predicate in 'PostUpdateNode'.

MathiasVP · MathiasVP · commit 5cfc3fe8df5b · 2022-10-11T11:00:25.000+01:00
diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -891,7 +891,7 @@ abstract class PostUpdateNode extends Node {
    */
   abstract Node getPreUpdateNode();
 
-  final override Type getType() { result = this.getPreUpdateNode().getType() }
+  final override DataFlowType getType() { result = this.getPreUpdateNode().getType() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -891,7 +891,7 @@ abstract class PostUpdateNode extends Node {`
`891`	`891`	`*/`
`892`	`892`	`abstract Node getPreUpdateNode();`
`893`	`893`
`894`		`- final override Type getType() { result = this.getPreUpdateNode().getType() }`
	`894`	`+ final override DataFlowType getType() { result = this.getPreUpdateNode().getType() }`
`895`	`895`	`}`
`896`	`896`
`897`	`897`	`/**`