From 385546267270f12612b45a1338a2663fee6fcc11 Mon Sep 17 00:00:00 2001 From: Pau Espin Pedrol Date: Fri, 5 Feb 2021 15:57:59 +0100 Subject: GSM_Types: Fix warning: control reaches end of non-void function Change-Id: I749fe3a2ca85ae96fa74a78f15180cfaa02ffe84 --- library/GSM_Types.ttcn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/library/GSM_Types.ttcn b/library/GSM_Types.ttcn index 9710c262..bcd0afba 100644 --- a/library/GSM_Types.ttcn +++ b/library/GSM_Types.ttcn @@ -14,6 +14,7 @@ module GSM_Types { import from General_Types all; import from Osmocom_Types all; +import from Misc_Helpers all; type integer GsmArfcn (0..1023); type integer UmtsArfcn (0..16383); @@ -86,11 +87,10 @@ function f_gprs_blocksize(GprsCodingScheme cs) return integer { case (CS2) { return 32 } case (CS3) { return 38 } case (CS3) { return 52 } - case else { - setverdict(fail, "Invalid GPRS CS ", cs); - mtc.stop; - } } + Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, + log2str("Invalid GPRS CS ", cs)); + return 0; } const GprsTlli TLLI_UNUSED := 'FFFFFFFF'O; -- cgit v1.2.3