Change in osmo-ttcn3-hacks[master]: GSM_Types: Fix warning: control reaches end of non-void function

[pespin]

pespin has uploaded this change for review. ( 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, 3 insertions(+), 4 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks refs/changes/35/22735/1

diff --git a/library/GSM_Types.ttcn b/library/GSM_Types.ttcn
index 9710c26..ca4159a 100644
--- a/library/GSM_Types.ttcn
+++ b/library/GSM_Types.ttcn
@@ -86,11 +86,10 @@
 	case (CS2) { return 32 }
 	case (CS3) { return 38 }
 	case (CS3) { return 52 }
-	case else {
-		setverdict(fail, "Invalid GPRS CS ", cs);
-		mtc.stop;
-		}
 	}
+	setverdict(fail, "Invalid GPRS CS ", cs);
+	mtc.stop;
+	self.stop;
 }
 
 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: 1
Gerrit-Owner: pespin <pespin at sysmocom.de>
Gerrit-MessageType: newchange
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20210205/f5cda780/attachment.htm>