C++: Remove superfluous 'and any()'

andersfugmann · andersfugmann · commit 6d4b7c828cb0 · 2021-08-24T09:37:39.000+02:00
diff --git a/cpp/ql/src/Likely Bugs/Conversion/ImplicitDowncastFromBitfield.ql b/cpp/ql/src/Likely Bugs/Conversion/ImplicitDowncastFromBitfield.ql
@@ -23,6 +23,5 @@ where
   fi.getNumBits() > fct.getSize() * 8 and
   va.getExplicitlyConverted().getType().getSize() > fct.getSize() and
   va.getTarget() = fi and
-  not fct.getUnspecifiedType() instanceof BoolType and
-  any()
+  not fct.getUnspecifiedType() instanceof BoolType
 select va, "Implicit downcast of bitfield $@", fi, fi.toString()
