[m-rev.] diff: add workarounds for constraint propagation bug

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

compiler/Mercury.options:
	Add some bug workarounds to get stage 2 to compile
	at higher optimization levels.

	For the various bug workarounds here, add a pointer
	to the appropriate test case in the test suite (if
	we have one.)

Julien.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.14
diff -u -r1.14 Mercury.options
--- Mercury.options	14 Apr 2005 03:39:20 -0000	1.14
+++ Mercury.options	23 May 2005 08:46:18 -0000
@@ -37,7 +37,13 @@
 MCFLAGS-make.program_target = --no-ansi-c

 # Bug workarounds
+
+# This is the same bug as tests/valid/ho_and_type_spec_bug
 MCFLAGS-mode_robdd.tfeirn = -O3
+
+# This is the same bug as tests/valid/constraint_prop_bug
+MCFLAGS-recompilation.version = --no-local-constraint-propagation
+MCFLAGS-transform_hlds.exception_analysis = --no-local-constraint-propagation

 # 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

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