From 186537a3154c2d596d993fedb5b597a2bdfcdd23 Mon Sep 17 00:00:00 2001
From: Vincent Rabaud <vrabaud@google.com>
Date: Thu, 13 Mar 2025 09:59:09 +0100
Subject: [PATCH] Move the CV_Assert above the << operation to not trigger the
 fuzzer

---
 modules/imgcodecs/src/grfmt_gif.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/imgcodecs/src/grfmt_gif.cpp b/modules/imgcodecs/src/grfmt_gif.cpp
index 653b62ddc8..d33b600722 100644
--- a/modules/imgcodecs/src/grfmt_gif.cpp
+++ b/modules/imgcodecs/src/grfmt_gif.cpp
@@ -319,9 +319,9 @@ bool GifDecoder::lzwDecode() {
     lzwMinCodeSize = m_strm.getByte();
     const int lzwMaxSize = (1 << 12); // 4096 is the maximum size of the LZW table (12 bits)
     int lzwCodeSize = lzwMinCodeSize + 1;
+    CV_Assert(lzwCodeSize > 2 && lzwCodeSize <= 12);
     int clearCode = 1 << lzwMinCodeSize;
     int exitCode = clearCode + 1;
-    CV_Assert(lzwCodeSize > 2 && lzwCodeSize <= 12);
     std::vector<lzwNodeD> lzwExtraTable(lzwMaxSize + 1);
     int colorTableSize = clearCode;
     int lzwTableSize = exitCode;