[CPP-434] Ctrl + Shift + F.

zlaski-semmle · zlaski-semmle · commit 9bc4c2d9a506 · 2019-10-21T18:40:20.000-07:00
diff --git a/cpp/ql/src/Likely Bugs/Arithmetic/SignedOverflowCheck.ql b/cpp/ql/src/Likely Bugs/Arithmetic/SignedOverflowCheck.ql
@@ -15,9 +15,13 @@ import cpp
 import semmle.code.cpp.valuenumbering.GlobalValueNumbering
 
 private predicate isSignedWithoutUnsignedCast(Expr e) {
-  e.getType().getUnspecifiedType().(IntegralType).isSigned() /*and
-  not e.getExplicitlyConverted().getType().getUnspecifiedType().(IntegralType).isUnsigned()*/
-}
+  e.getType().getUnspecifiedType().(IntegralType).isSigned()
+  /*
+   * and
+   *  not e.getExplicitlyConverted().getType().getUnspecifiedType().(IntegralType).isUnsigned()
+   */
+
+  }
 
 from RelationalOperation ro, AddExpr add, VariableAccess va1, VariableAccess va2
 where
