From 014ca2144b2d977255d7a199e11ba92e31cde4dc Mon Sep 17 00:00:00 2001 From: Zoltan Somogyi Date: Wed, 22 Nov 2017 01:48:36 +1100 Subject: [PATCH] Enable --warn-insts-with-functors-without-type. configure.ac: Require that the installed compiler support this option (which I added about two weeks ago). browser/MDB_FLAGS.in: compiler/COMP_FLAGS.in: deep_profiler/DEEP_FLAGS.in: library/LIB_FLAGS.in: mdbcomp/MDBCOMP_FLAGS.in: mfilterjavac/MFILTERJAVAC_FLAGS.in: profiler/PROF_FLAGS.in: slice/SLICE_FLAGS.in: ssdb/SSDB_FLAGS.in: Specify this option by default for every directory that contains Mercury code. --- browser/MDB_FLAGS.in | 1 + compiler/COMP_FLAGS.in | 1 + configure.ac | 2 +- deep_profiler/DEEP_FLAGS.in | 1 + library/LIB_FLAGS.in | 1 + mdbcomp/MDBCOMP_FLAGS.in | 1 + mfilterjavac/MFILTERJAVAC_FLAGS.in | 1 + profiler/PROF_FLAGS.in | 1 + slice/SLICE_FLAGS.in | 1 + ssdb/SSDB_FLAGS.in | 1 + 10 files changed, 10 insertions(+), 1 deletion(-) diff --git a/browser/MDB_FLAGS.in b/browser/MDB_FLAGS.in index 5be733eb3..276a1ebf8 100644 --- a/browser/MDB_FLAGS.in +++ b/browser/MDB_FLAGS.in @@ -4,6 +4,7 @@ --warn-unknown-format-calls --warn-unused-imports --warn-inconsistent-pred-order-clauses +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/compiler/COMP_FLAGS.in b/compiler/COMP_FLAGS.in index dd9a8c578..9a0f003b0 100644 --- a/compiler/COMP_FLAGS.in +++ b/compiler/COMP_FLAGS.in @@ -3,6 +3,7 @@ --warn-known-bad-format-calls --warn-unknown-format-calls --warn-unused-imports +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/configure.ac b/configure.ac index 48b3decef..fcd1f526b 100644 --- a/configure.ac +++ b/configure.ac @@ -554,7 +554,7 @@ EOF --halt-at-warn \ $link_static_opt conftest \ --erlang-native-code \ - --trace-goal-only-locals-2017-07-05 \ + --warn-insts-with-functors-without-type \ --no-ssdb \ &AC_FD_CC 2>&1 && test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world" && diff --git a/deep_profiler/DEEP_FLAGS.in b/deep_profiler/DEEP_FLAGS.in index fd86d1c3e..29467f854 100644 --- a/deep_profiler/DEEP_FLAGS.in +++ b/deep_profiler/DEEP_FLAGS.in @@ -4,6 +4,7 @@ --warn-unknown-format-calls --warn-unused-imports --warn-inconsistent-pred-order-clauses +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/library/LIB_FLAGS.in b/library/LIB_FLAGS.in index 3409d4c1b..287cfbd6e 100644 --- a/library/LIB_FLAGS.in +++ b/library/LIB_FLAGS.in @@ -5,6 +5,7 @@ --warn-known-bad-format-calls --warn-unknown-format-calls --warn-unused-imports +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/mdbcomp/MDBCOMP_FLAGS.in b/mdbcomp/MDBCOMP_FLAGS.in index 9973e200c..851895d41 100644 --- a/mdbcomp/MDBCOMP_FLAGS.in +++ b/mdbcomp/MDBCOMP_FLAGS.in @@ -4,6 +4,7 @@ --warn-unknown-format-calls --warn-unused-imports --warn-inconsistent-pred-order-clauses +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/mfilterjavac/MFILTERJAVAC_FLAGS.in b/mfilterjavac/MFILTERJAVAC_FLAGS.in index 8692eb6d3..8f6765895 100644 --- a/mfilterjavac/MFILTERJAVAC_FLAGS.in +++ b/mfilterjavac/MFILTERJAVAC_FLAGS.in @@ -3,6 +3,7 @@ --warn-known-bad-format-calls --warn-unknown-format-calls --warn-unused-imports +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/profiler/PROF_FLAGS.in b/profiler/PROF_FLAGS.in index 992626679..114de3895 100644 --- a/profiler/PROF_FLAGS.in +++ b/profiler/PROF_FLAGS.in @@ -3,6 +3,7 @@ --warn-known-bad-format-calls --warn-unknown-format-calls --warn-unused-imports +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/slice/SLICE_FLAGS.in b/slice/SLICE_FLAGS.in index d40ff3795..2cf15513d 100644 --- a/slice/SLICE_FLAGS.in +++ b/slice/SLICE_FLAGS.in @@ -3,6 +3,7 @@ --warn-known-bad-format-calls --warn-unknown-format-calls --warn-unused-imports +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir diff --git a/ssdb/SSDB_FLAGS.in b/ssdb/SSDB_FLAGS.in index 4f3fccfc2..06ccaff3c 100644 --- a/ssdb/SSDB_FLAGS.in +++ b/ssdb/SSDB_FLAGS.in @@ -3,6 +3,7 @@ --warn-known-bad-format-calls --warn-unknown-format-calls --warn-unused-imports +--warn-insts-with-functors-without-type --halt-at-warn --no-warn-inferred-erroneous --no-mercury-stdlib-dir