Commit abf6205e7a for aom

commit abf6205e7a724957da0b27994ad44728dd238d80
Author: Jingning Han <jingning@google.com>
Date:   Thu Nov 12 09:07:06 2026 -0800

    Silence coverity warnings

    Change-Id: I30dc5ddc0cc4bbd6873930ba3e009abe80d51f47

diff --git a/av1/encoder/encodeframe_utils.c b/av1/encoder/encodeframe_utils.c
index c14a2f783d..e65f687d23 100644
--- a/av1/encoder/encodeframe_utils.c
+++ b/av1/encoder/encodeframe_utils.c
@@ -1094,8 +1094,7 @@ static void avg_cdf_symbol_general(aom_cdf_prob *cdf_ptr_left,
                           (int)cdf_ptr_tr[i * cdf_stride + j] * wt_tr +
                           ((wt_left + wt_tr) / 2)) /
                          (wt_left + wt_tr));
-      assert(cdf_ptr_left[i * cdf_stride + j] >= 0 &&
-             cdf_ptr_left[i * cdf_stride + j] < CDF_PROB_TOP);
+      assert(cdf_ptr_left[i * cdf_stride + j] < CDF_PROB_TOP);
     }
   }
 }