From 3680b2de04dde99e723d0aab6b9acefd8dc32e3e Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 9 May 2001 12:25:45 +0000
Subject: bail out if illegal command arguments are passed to the backend

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@409 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/backend.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'backendC')

diff --git a/backendC/CleanCompilerSources/backend.c b/backendC/CleanCompilerSources/backend.c
index 7915fd3..cf24592 100644
--- a/backendC/CleanCompilerSources/backend.c
+++ b/backendC/CleanCompilerSources/backend.c
@@ -1,4 +1,3 @@
-
 #define CODE_INLINE_FLAG
 #define DYNAMIC_TYPE 1
 
@@ -2632,7 +2631,8 @@ BEArg (CleanString arg)
 		char	*dummy;
 		extern	Bool ParseCommandArgs (int argc, char **argv, char **file_name_p, char **output_file_name_p);
 
-		(void) ParseCommandArgs (gBEState.be_argc, gBEState.be_argv, &dummy, &dummy);
+		if (!ParseCommandArgs (gBEState.be_argc, gBEState.be_argv, &dummy, &dummy))
+			FatalCompError ("backend", "BEInit", "compilation aborted");
 
 	/*	FatalCompError ("backend", "BEInit", "FatalCompError in backend"); */
 	/*	ErrorInCompiler ("backend", "BEInit", "ErrorInCompiler in backend"); */
-- 
cgit v1.2.3