max recursion depth

Signed-off-by: czechbol <[email protected]>

analyzers/conversion_overflow.go

@@ -167,9 +167,13 @@ func hasExplicitRangeCheck(instr *ssa.Convert, dstType string) bool {
 		return true
 	}
 
-	// Recursive function to check predecessors
-	var checkPredecessors func(block *ssa.BasicBlock) bool
-	checkPredecessors = func(block *ssa.BasicBlock) bool {
+	// Recursive depth-first search of predecessor blocks of the SSA function to find bounds checks on the value being converted
+	var checkPredecessors func(block *ssa.BasicBlock, depth int) bool
+	checkPredecessors = func(block *ssa.BasicBlock, depth int) bool {
+		if depth > maxDepth {
+			return false
+		}
+
 		for _, pred := range block.Preds {
 			minChecked, maxChecked := checkBlockForRangeCheck(pred, instr, dstInt)
 
@@ -179,15 +183,15 @@ func hasExplicitRangeCheck(instr *ssa.Convert, dstType string) bool {
 			if minBoundChecked && maxBoundChecked {
 				return true
 			}
-			if checkPredecessors(pred) {
+			if checkPredecessors(pred, depth+1) {
 				return true
 			}
 		}
 		return false
 	}
 
 	// Start checking from the initial block
-	checkPredecessors(block)
+	checkPredecessors(block, 0)
 
 	if minBoundChecked && maxBoundChecked {
 		return true