From d18b40d4015ca9f4976eb063ab5d811b7b1cf791 Mon Sep 17 00:00:00 2001
From: "Darryl L. Miles" <darryl.miles@darrylmiles.org>
Date: Thu, 13 Feb 2025 08:27:03 +0000
Subject: [PATCH] CodeQL LateNegativeTest.ql defRead.c routerLayer>=0

Code nearby tests 'routeLayer' for negativeness, but it is set and then
used as array index without such a test.
ASSERT added.
---
 lef/defRead.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lef/defRead.c b/lef/defRead.c
index 49d2bac7..ef0053d9 100644
--- a/lef/defRead.c
+++ b/lef/defRead.c
@@ -499,6 +499,7 @@ DefAddRoutes(rootDef, f, oscale, special, netname, ruleset, defLayerMap, annotat
 				*/
 				routeLayer = stype;
 
+				ASSERT(routerLayer >= 0, "routerLayer<0"); /* positive bounds check */
 				lefl = defLayerMap[routeLayer].lefInfo;
 
 				/* Get correct rule for nondefault rules */