[m-rev.] trivial diff: fix tests/warnings/simple_code failure on taifun

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

tests/warnings/Mercury.options:
	Compile the simple_code.m test case with --common-struct,
	because without that it doesn't report the infinite loop warning
	at low optimization levels (-O1 and lower).

Workspace: /mnt/ceres/home/ceres/fjh/mercury
Index: tests/warnings/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/warnings/Mercury.options,v
retrieving revision 1.5
diff -u -d -r1.5 Mercury.options
--- tests/warnings/Mercury.options	21 Feb 2003 01:57:38 -0000	1.5
+++ tests/warnings/Mercury.options	20 May 2003 08:42:26 -0000
@@ -21,6 +21,13 @@
 MCFLAGS-unused_import		= --warn-interface-imports
 MCFLAGS-inference_test		= --infer-all
 
+	# the infinite loop warning in simple_code.m doesn't show up unless
+	# the common-struct optimization is enabled (because proving that
+	# the recursive call is an infinite loop relies on argument
+	# equivalence information which is only computed when the
+	# common-struct optimization is enabled).
+MCFLAGS-simple_code		= --common-struct
+
 	# We need to explicitly enable these optimizations because
 	# some of the infinite recursion warnings don't show up at
 	# lower optimization levels.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------