Override getFunction on PostUpdateNodes

pavgust · jbj · commit 9e6c240ee21b · 2019-08-08T14:05:03.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll
@@ -217,6 +217,10 @@ abstract class PostUpdateNode extends Node {
    */
   abstract Node getPreUpdateNode();
 
+  override Function getFunction() { result = getPreUpdateNode().getFunction() }
+
+  override Type getType() { result = getPreUpdateNode().getType() }
+
   override Location getLocation() { result = getPreUpdateNode().getLocation() }
 
   override string toString() { result = getPreUpdateNode().toString() + " [post update]" }
@@ -229,8 +233,6 @@ class PartialDefNode extends PostUpdateNode, TPartialDefNode {
 
   override Node getPreUpdateNode() { result.asExpr() = pd.getDefinedExpr() }
 
-  override Type getType() { result = pd.getDefinedExpr().getType() }
-
   override string toString() { result = pd.toString() }
 
   override Location getLocation() { result = pd.getLocation() }
