From af0085482f51bd6244eac8700c3e3e62f30f5892 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 14 Oct 2008 11:56:15 +0200 Subject: [PATCH] options.c: remove -rays option The value of MAX_RAYS should have little effect for recent PolyLibs and is completely meaningless for other backends. --- source/options.c | 25 +------------------------ 1 file changed, 1 insertion(+), 24 deletions(-) diff --git a/source/options.c b/source/options.c index aabbd41..3193a43 100644 --- a/source/options.c +++ b/source/options.c @@ -39,12 +39,6 @@ # include # include "../include/cloog/cloog.h" -/** - * Maximum number of rays in the dual representation of PolyLib, see - * domain.c for the original declaration. - */ -extern int MAX_RAYS ; - /****************************************************************************** * Structure display function * @@ -343,21 +337,6 @@ CloogOptions ** options ; cloog_options_set(&(*options)->callable, argv, argc, &i); (*options)->cpp = 1; } else - if (strcmp(argc[i],"-rays") == 0) - { if (i+1 >= argv) - { fprintf(stderr, "[CLooG]ERROR: an option lacks of argument.\n") ; - exit(1) ; - } - - MAX_RAYS = atoi(argc[i+1]) ; - if (MAX_RAYS < 1) - { fprintf(stderr, "[CLooG]ERROR: %s value for %s option is not valid.\n", - argc[i+1],argc[i]) ; - exit(1) ; - } - i++ ; - } - else if (strcmp(argc[i],"-loopo") == 0) /* Special option for the LooPo team ! */ { (*options)->esp = 0 ; (*options)->csp = 0 ; @@ -366,9 +345,7 @@ CloogOptions ** options ; } else if (strcmp(argc[i],"-bipbip") == 0)/* Special option for the author only !*/ - { (*options)->nobacktrack = 1 ; - MAX_RAYS = 50 ; - } + (*options)->nobacktrack = 1 ; else if (strcmp(argc[i],"-leaks") == 0) (*options)->leaks = 1 ; -- 2.11.4.GIT