Remove the workarounds that were necessary because of the loop

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.
This commit is contained in:
Julien Fischer
2005-04-12 04:59:30 +00:00
parent 78fc863efa
commit 8470885fe0
2 changed files with 1 additions and 6 deletions

View File

@@ -1,5 +1,5 @@
#-----------------------------------------------------------------------------#
# Copyright (C) 2002-2004 University of Melbourne.
# Copyright (C) 2002-2005 University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#-----------------------------------------------------------------------------#
@@ -36,10 +36,6 @@ MGFLAGS-make.module_dep_file = --no-ansi-c
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

View File

@@ -18,7 +18,6 @@ MCFLAGS-set_ordlist += $(TYPE_SPEC_FLAGS)
# 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().