[m-rev.] diff: remove workaroudns for loop invariant hoisting bug

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

compiler/Mercury.options:
library/Mercury.options:
	Remove the workarounds for the loop invariant hoisting bug.
	It has been fixed.

Julien.

Workspace:/home/ascolais/juliensf/ws62
Index: compiler/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.12
diff -u -r1.12 Mercury.options
--- compiler/Mercury.options	22 Dec 2004 07:09:33 -0000	1.12
+++ compiler/Mercury.options	4 Feb 2005 07:02:29 -0000
@@ -36,10 +36,6 @@
 MCFLAGS-make.module_target = --no-ansi-c
 MCFLAGS-make.program_target = --no-ansi-c

-# Bug workarounds.
-MCFLAGS-mode_robdd.tfeirn = -O0
-MCFLAGS-mode_robdd.implications = -O0
-
 # The c_code in the module gcc.m needs the header files from the GNU C
 # distribution.  Note that we need to compile these with
 # -DMR_NO_BACKWARDS_COMPAT, because otherwise there are name
Index: library/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.2
diff -u -r1.2 Mercury.options
--- library/Mercury.options	21 Dec 2004 07:37:18 -0000	1.2
+++ library/Mercury.options	4 Feb 2005 06:56:02 -0000
@@ -18,7 +18,6 @@

 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn
-MCFLAGS-robdd += -O0

 # io.m uses library features that are supported by POSIX but which are not
 # part of ANSI C, such as `struct stat', fileno(), and putenv().

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------