[m-rev.] trivial diff: workaround a bug that is preventing boostrapping

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

compiler/mode_robdd.tfeirn.m:
	Workaround a bug that is preventing the compiler from
	bootstrapping at -O5 with --intermodule-optimization.
	(Previously we had to compile this module at -O0 because
	of the loop invariant hoisting bug, which was why this
	hasn't shown up until now).

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.13
diff -u -r1.13 Mercury.options
--- Mercury.options	12 Apr 2005 04:59:30 -0000	1.13
+++ Mercury.options	14 Apr 2005 03:22:42 -0000
@@ -36,6 +36,9 @@
 MCFLAGS-make.module_target = --no-ansi-c
 MCFLAGS-make.program_target = --no-ansi-c

+# Bug workarounds
+MCFLAGS-mode_robdd.tfeirn = -O3
+
 # 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

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