C++: Remove the same rule in TaintTrackingUtil.qll as 78b24b7 removed from DefaultTaintTracking.qll

MathiasVP · MathiasVP · commit 0b97a4a182bc · 2020-09-16T10:54:23.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/TaintTrackingUtil.qll
@@ -58,15 +58,6 @@ private predicate localInstructionTaintStep(Instruction nodeFrom, Instruction no
     nodeFrom.getResultType() instanceof ArrayType or
     nodeFrom.getResultType() instanceof Union
   )
-  or
-  // Flow from an element to an array or union that contains it.
-  nodeTo.(ChiInstruction).getPartial() = nodeFrom and
-  not nodeTo.isResultConflated() and
-  exists(Type t | nodeTo.getResultLanguageType().hasType(t, false) |
-    t instanceof Union
-    or
-    t instanceof ArrayType
-  )
 }
 
 /**
