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

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

compiler/Mercury.options:
library/Mercury.options:
	Remove the workarounds that were necessary because of the loop
	invariant hoisting bug that Ralph fixed last week.

Julien.

Workspace:/home/swordfish/juliensf/ws75
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	10 Apr 2005 05:20:27 -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.4
diff -u -r1.4 Mercury.options
--- library/Mercury.options	14 Feb 2005 06:25:22 -0000	1.4
+++ library/Mercury.options	10 Apr 2005 05:20:16 -0000
@@ -18,7 +18,6 @@

 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn
-MCFLAGS-robdd += --no-loop-invariants --no-common-struct

 # 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
--------------------------------------------------------------------------