]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
coverity: a few more unsigned comparisons and unused return values
authorPaul Floyd <pjfloyd@wanadoo.fr>
Mon, 27 Nov 2023 08:52:06 +0000 (09:52 +0100)
committerPaul Floyd <pjfloyd@wanadoo.fr>
Mon, 27 Nov 2023 08:52:06 +0000 (09:52 +0100)
VEX/priv/guest_arm64_toIR.c
coregrind/vgdb.c

index fcfeca70d86fbe683d55c8d380c22b09fe3fd0e4..9076a61a633f669a33410c95d6d486c4f87937c7 100644 (file)
@@ -2385,7 +2385,7 @@ Bool dbm_DecodeBitMasks ( /*OUT*/ULong* wmask, /*OUT*/ULong* tmask,
 
    vassert(len >= 1 && len <= 6);
    ULong levels = // (zeroes(6 - len) << (6-len)) | ones(len);
-                  (1U << len) - 1;
+                  (1UL << len) - 1;
    vassert(levels >= 1 && levels <= 63);
 
    if (immediate && ((imms & levels) == levels)) { 
@@ -10431,7 +10431,9 @@ Bool dis_AdvSIMD_scalar_shift_by_imm(/*MB_OUT*/DisResult* dres, UInt insn)
       UInt shift = 0;
       Bool ok    = getLaneInfo_IMMH_IMMB(&shift, &size, immh, immb);
       if (!ok || size == X11) return False;
-      vassert(size >= X00 && size <= X10);
+      // always true, size is unsigned int
+      //vassert(size >= X00);
+      vassert(size <= X10);
       vassert(shift >= 1 && shift <= (8 << size));
       const HChar* nm = "??";
       IROp op = Iop_INVALID;
@@ -11836,7 +11838,7 @@ Bool dis_AdvSIMD_shift_by_immediate(/*MB_OUT*/DisResult* dres, UInt insn)
          Adjust shift to compensate. */
       UInt lanebits = 8 << size;
       shift = lanebits - shift;
-      vassert(shift >= 0 && shift < lanebits);
+      vassert(shift < lanebits);
       IROp    op  = mkVecSHLN(size);
       IRExpr* src = getQReg128(nn);
       IRTemp  res = newTempV128();
index e109048b1c1fc0dd72903df31b9c1e5574a55de4..40292bab237fe7c24948a4294010c0a3fc36faeb 100644 (file)
@@ -1254,7 +1254,7 @@ int fork_and_exec_valgrind (int argc, char **argv, const char *working_dir,
          /* close stdin */
          close (0);
          /* open /dev/null as new stdin */
-         open ("/dev/null", O_RDONLY);
+         (void)open ("/dev/null", O_RDONLY);
          /* redirect stdout as stderr */
          dup2 (2, 1);
       }