Merge pull request #7849 from Yonah125/main

C/C++: Useless Test : verification of "Fully converted" Type

Author: MathiasVP

cpp/ql/src/experimental/Best Practices/UselessTest.ql

@@ -38,6 +38,8 @@ where
   ) and
   eq.getRightOperand() instanceof Literal and
   ne.getRightOperand() instanceof Literal and
+  eq.getLeftOperand().getFullyConverted().getUnspecifiedType() =
+    ne.getLeftOperand().getFullyConverted().getUnspecifiedType() and
   nearestParent(eq) = nearestParent(ne) and
   sameExpr(eq.getLeftOperand(), ne.getLeftOperand())
 select ne, "Useless Test"