[m-rev.] diff: enable --warn-known-bad-format-calls by default

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Enable `--warn-known-bad-format-calls' by default since the change
that added it has now bootstrapped on all of our machines.

configure.in:
	Test that the installed compiler supports the
	`--warn-known-bad-format-calls' option.

compiler/options.m:
	Enable the option by default.

library/Mercury.options:
	Uncomment the code that disables this check on modules where
	it needs to be disabled.  (The corresponding lines in the
	compiler directory where deleted along with the Aditi backend.)

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.447
diff -u -r1.447 configure.in
--- configure.in	2 Mar 2006 07:40:47 -0000	1.447
+++ configure.in	14 Mar 2006 04:08:48 -0000
@@ -367,9 +367,10 @@
 		# when doing this test because term size profiling
 		# requires an LLDS grade.
 		# This also tests for the --shlib-linker-intall-name-flag
-		# option.
+		# and --warn-known-bad-format-calls options.
 		$BOOTSTRAP_MC \
 			--grade none.gc \
+			--warn-known-bad-format-calls \
 			--record-term-sizes-as-words \
 			--output-grade-string \
 			--shlib-linker-install-name-flag "-dummy_flag" \
Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.503
diff -u -r1.503 options.m
--- compiler/options.m	3 Mar 2006 07:59:47 -0000	1.503
+++ compiler/options.m	14 Mar 2006 04:04:54 -0000
@@ -847,7 +847,7 @@
     warn_dead_procs                     -   bool(no),
     warn_table_with_inline              -   bool(yes),
     warn_non_term_special_preds         -   bool(yes),
-    warn_known_bad_format_calls         -   bool(no),
+    warn_known_bad_format_calls         -   bool(yes),
     warn_unknown_format_calls           -   bool(no)
 ]).
 option_defaults_2(verbosity_option, [
Index: library/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.11
diff -u -r1.11 Mercury.options
--- library/Mercury.options	27 Jan 2006 05:52:14 -0000	1.11
+++ library/Mercury.options	14 Mar 2006 04:07:19 -0000
@@ -29,7 +29,7 @@
 # This is needed to avoid errors on the calls that implement e.g. io.format/3
 # in terms of io.format/4, and string.format/2 in terms of string.format/3.
 # varset.trans_opt includes the relevant part of string.opt.
-# MCFLAGS-io     = --no-warn-unknown-format-calls
-# MCFLAGS-string = --no-warn-unknown-format-calls
+MCFLAGS-io     = --no-warn-unknown-format-calls
+MCFLAGS-string = --no-warn-unknown-format-calls

 MCFLAGS-mer_std = --no-warn-nothing-exported

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