Update cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

MathiasVP · jbj · web-flow · commit 6dd7675a972f · 2020-09-21T09:31:30.000+02:00
Co-authored-by: Jonas Jensen &lt;jbj@github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -220,8 +220,8 @@ pragma[noinline]
 private predicate getWrittenField(Instruction instr, Field f, Class c) {
   exists(FieldAddressInstruction fa |
     fa =
-      getFieldInstruction([any(StoreInstruction store | instr = store).getDestinationAddress(),
-            any(WriteSideEffectInstruction write | instr = write).getDestinationAddress()]) and
+      getFieldInstruction([instr.(StoreInstruction).getDestinationAddress(),
+            instr.(WriteSideEffectInstruction).getDestinationAddress()]) and
     f = fa.getField() and
     c = f.getDeclaringType()
   )
