laforge has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/22735 )
Change subject: GSM_Types: Fix warning: control reaches end of non-void function ...................................................................... GSM_Types: Fix warning: control reaches end of non-void function Change-Id: I749fe3a2ca85ae96fa74a78f15180cfaa02ffe84 --- M library/GSM_Types.ttcn 1 file changed, 4 insertions(+), 4 deletions(-) Approvals: Jenkins Builder: Verified laforge: Looks good to me, approved diff --git a/library/GSM_Types.ttcn b/library/GSM_Types.ttcn index 9710c26..bcd0afb 100644 --- a/library/GSM_Types.ttcn +++ b/library/GSM_Types.ttcn @@ -14,6 +14,7 @@ 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 @@ 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; -- To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/22735 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ttcn3-hacks Gerrit-Branch: master Gerrit-Change-Id: I749fe3a2ca85ae96fa74a78f15180cfaa02ffe84 Gerrit-Change-Number: 22735 Gerrit-PatchSet: 3 Gerrit-Owner: pespin <pes...@sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: laforge <lafo...@osmocom.org> Gerrit-MessageType: merged