ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

GSM_Types: Fix warning: control reaches end of non-void function 

Change-Id: I749fe3a2ca85ae96fa74a78f15180cfaa02ffe84
This commit is contained in:
Pau Espin Pedrol 2021-02-05 15:57:59 +01:00
parent 810b1df0d8
commit 3855462672
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
library/GSM_Types.ttcn
View File

@ -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;