summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPau Espin Pedrol <pespin@espeweb.net>2021-02-05 15:57:59 +0100
committerPau Espin Pedrol <pespin@espeweb.net>2021-02-08 12:32:07 +0100
commit385546267270f12612b45a1338a2663fee6fcc11 (patch)
tree1554afc846d992ad3463d77399b0624a64f3dc9a
parent810b1df0d8480be912282163f1305cc4cd8a3887 (diff)
GSM_Types: Fix warning: control reaches end of non-void function
-rw-r--r--library/GSM_Types.ttcn8
1 files 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;