Add exclusions to data flow consistency checks

Author: owen-mc

go/ql/lib/semmle/go/dataflow/internal/DataFlowImplConsistency.qll

@@ -9,6 +9,20 @@ private import TaintTrackingImplSpecific
 private import codeql.dataflow.internal.DataFlowImplConsistency
 private import semmle.go.dataflow.internal.DataFlowNodes
 
-private module Input implements InputSig<Location, Impl::GoDataFlow> { }
+private module Input implements InputSig<Location, Impl::GoDataFlow> {
+  predicate missingLocationExclude(DataFlow::Node n) {
+    n instanceof DataFlow::GlobalFunctionNode or n instanceof Private::FlowSummaryNode
+  }
+
+  predicate uniqueNodeLocationExclude(DataFlow::Node n) { missingLocationExclude(n) }
+
+  predicate localFlowIsLocalExclude(DataFlow::Node n1, DataFlow::Node n2) {
+    n1 instanceof DataFlow::FunctionNode and exists(n2)
+  }
+
+  predicate argHasPostUpdateExclude(DataFlow::ArgumentNode n) {
+    not DataFlow::insnHasPostUpdateNode(n.asInstruction())
+  }
+}
 
 module Consistency = MakeConsistency<Location, Impl::GoDataFlow, GoTaintTracking, Input>;