[m-rev.] trivial diff: provide a workaround so the compiler boostraps

Julien Fischer juliensf at cs.mu.OZ.AU
Tue Dec 21 18:35:28 AEDT 2004


I'll post a separate message about the bug mentioned below shortly.

Estimated hours taken: 0.1 (+ several hours on the bug itself)
Branches: main

Provide a workaround for a compiler bug that stops
it bootstrapping at -O5.  The workaround
is just to turn of most optimizations for the
affected modules.

compiler/Mercury.options:
library/Mercury.options:
	Compile modules affected by a bug in the compiler
	at -O0 in order to avoid assertion failures when
	bootstrapping.

Index: compiler/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.10
diff -u -r1.10 Mercury.options
--- compiler/Mercury.options	19 Nov 2004 05:46:07 -0000	1.10
+++ compiler/Mercury.options	21 Dec 2004 07:26:51 -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 = -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.1
diff -u -r1.1 Mercury.options
--- library/Mercury.options	22 Jun 2002 19:16:03 -0000	1.1
+++ library/Mercury.options	21 Dec 2004 07:21:44 -0000
@@ -18,6 +18,7 @@

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



More information about the reviews mailing list