From f26cef9cbe18838f3db70344992cb737479c7943 Mon Sep 17 00:00:00 2001 From: Robert Schmidt Date: Fri, 20 Jun 2025 09:37:10 +0200 Subject: [PATCH] Add invariant check to help debug During refactoring, I had asan errors in the next line. It took me some time to figure out that a DRB ID 0 is not valid (cf. get_next_available_drb_id() and get_drb(), they enforce this). --- openair2/RRC/NR/rrc_gNB_radio_bearers.c | 1 + 1 file changed, 1 insertion(+) diff --git a/openair2/RRC/NR/rrc_gNB_radio_bearers.c b/openair2/RRC/NR/rrc_gNB_radio_bearers.c index 7bed45ee64..5112029f87 100644 --- a/openair2/RRC/NR/rrc_gNB_radio_bearers.c +++ b/openair2/RRC/NR/rrc_gNB_radio_bearers.c @@ -58,6 +58,7 @@ rrc_pdu_session_param_t *find_pduSession(gNB_RRC_UE_t *ue, int id, bool create) rrc_pdu_session_param_t *find_pduSession_from_drbId(gNB_RRC_UE_t *ue, int drb_id) { + DevAssert(drb_id > 0 && drb_id <= 32); const drb_t *drb = &ue->established_drbs[drb_id - 1]; if (drb->status == DRB_INACTIVE) { LOG_E(NR_RRC, "UE %d: DRB %d inactive\n", ue->rrc_ue_id, drb_id);