From fceeec27cebb049a58f7d9b4cf53cd79c115d5e6 Mon Sep 17 00:00:00 2001 From: Pau Espin Pedrol Date: Fri, 5 Feb 2021 16:00:05 +0100 Subject: pcu: Fix warning: control reaches end of non-void function Change-Id: I2c8b343fba5fabda9f78af8711e2a837536518e9 --- pcu/GPRS_TBF.ttcn | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pcu/GPRS_TBF.ttcn b/pcu/GPRS_TBF.ttcn index f946f294..3794410b 100644 --- a/pcu/GPRS_TBF.ttcn +++ b/pcu/GPRS_TBF.ttcn @@ -14,6 +14,7 @@ module GPRS_TBF { import from GSM_Types all; import from Osmocom_Types all; import from General_Types all; +import from Misc_Helpers all; import from RLCMAC_CSN1_Types all; import from RLCMAC_Types all; import from RLCMAC_Templates all; @@ -409,8 +410,9 @@ function f_dl_tbf_mod_sns(DlTbfState ds, integer val) return integer } function f_dl_tbf_is_in_window(integer bsn) return boolean { - setverdict(fail, "pleaes implement me"); - mtc.stop; + Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, + "please implement me"); + return false; } function f_dl_tbf_is_received(inout DlTbfState ds, integer bsn) return boolean { -- cgit v1.2.3