summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPau Espin Pedrol <pespin@espeweb.net>2021-02-05 16:00:05 +0100
committerPau Espin Pedrol <pespin@espeweb.net>2021-02-08 12:32:07 +0100
commitfceeec27cebb049a58f7d9b4cf53cd79c115d5e6 (patch)
treeff5934c65ae256ae0231de23a7fed341e87368e0
parent385546267270f12612b45a1338a2663fee6fcc11 (diff)
pcu: Fix warning: control reaches end of non-void function
-rw-r--r--pcu/GPRS_TBF.ttcn6
1 files 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 {