mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
94838a36d4
tests/warnings/unused_args_only_rec.{m,err_exp}:
As above.
tests/warnings/Mmakefile:
tests/warnings/Mercury.options:
Enable the new test case with the right options.
111 lines
5.7 KiB
Bash
111 lines
5.7 KiB
Bash
#---------------------------------------------------------------------------#
|
|
# vim: ts=4 sw=4 expandtab ft=sh
|
|
#---------------------------------------------------------------------------#
|
|
|
|
# XXX The warnings for this module are reported twice when compiling with
|
|
# --intermodule-optimization due to a performance bug in the handling
|
|
# of assertions, which causes typechecking to be run twice.
|
|
MCFLAGS-ambiguous_overloading += --no-intermodule-optimization
|
|
|
|
MCFLAGS-bug412 += --no-intermodule-optimization
|
|
|
|
# We need to explicitly enable these optimizations because
|
|
# the arg_order_rearrangement warning doesn't show up at
|
|
# lower optimization levels.
|
|
MCFLAGS-arg_order_rearrangment += --introduce-accumulators
|
|
MCFLAGS-arg_order_rearrangment += --excess-assign
|
|
MCFLAGS-arg_order_rearrangment += --common-struct --trace-optimized
|
|
|
|
MCFLAGS-bug412 += --warn-unused-imports
|
|
MCFLAGS-duplicate_call += --warn-duplicate-calls
|
|
MCFLAGS-duplicate_const += --warn-duplicate-calls
|
|
|
|
MCFLAGS-empty_interface += -E
|
|
|
|
MCFLAGS-disabled_warning += --warn-unknown-format-calls
|
|
MCFLAGS-format_call_warning += --warn-unknown-format-calls
|
|
|
|
MCFLAGS-unused_args_analysis += --intermodule-analysis
|
|
MCFLAGS-unused_args_analysis += --optimize-unused-args
|
|
MCFLAGS-unused_args_analysis += --warn-unused-args
|
|
MCFLAGS-unused_args_analysis_helper_1 += --intermodule-analysis
|
|
MCFLAGS-unused_args_analysis_helper_1 += --optimize-unused-args
|
|
MCFLAGS-unused_args_analysis_helper_1 += --trace-optimized
|
|
MCFLAGS-unused_args_only_rec += --warn-unused-args
|
|
MCFLAGS-unused_args_some_modes += --warn-unused-args
|
|
MCFLAGS-unused_args_test += --warn-unused-args
|
|
MCFLAGS-unused_import += --warn-unused-interface-imports
|
|
MCFLAGS-inference_test += --infer-all
|
|
MCFLAGS-save += --warn-implicit-stream-calls
|
|
|
|
# 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.
|
|
MCFLAGS-infinite_recursion += --excess-assign --common-struct
|
|
|
|
MCFLAGS-suspicious_recursion += --warn-suspicious-recursion -E
|
|
|
|
MCFLAGS-warn_stubs += --allow-stubs --warn-unused-args
|
|
|
|
# For tests that involve the termination analysis, we need
|
|
# to make sure that it is enabled, otherwise the tests will fail.
|
|
MCFLAGS-pragma_term_conflict += --enable-termination
|
|
MCFLAGS-term_indirect_warning += --check-termination
|
|
MCFLAGS-foreign_term_invalid += --enable-termination
|
|
MCFLAGS-non_term_user_special += --enable-termination
|
|
|
|
MCFLAGS-warn_dead_procs += --warn-dead-procs --infer-all
|
|
MCFLAGS-warn_dead_procs_trace += --warn-dead-procs
|
|
|
|
MCFLAGS-non_stratification += --warn-non-stratification
|
|
MCFLAGS-non_stratification += --verbose-error-messages
|
|
|
|
MCFLAGS-inst_with_no_type += --warn-insts-without-matching-type
|
|
MCFLAGS-inst_with_no_type += --intermodule-optimization
|
|
MCFLAGS-inst_with_no_type += --no-intermodule-analysis
|
|
|
|
MCFLAGS-warn_contiguous_foreign += --warn-non-contiguous-clauses
|
|
MCFLAGS-warn_contiguous_foreign += --no-warn-non-contiguous-foreign-procs
|
|
MCFLAGS-warn_non_contiguous += --warn-non-contiguous-foreign-procs
|
|
MCFLAGS-warn_non_contiguous_foreign += --warn-non-contiguous-foreign-procs
|
|
MCFLAGS-warn_non_contiguous_foreign_group += --warn-non-contiguous-clauses
|
|
MCFLAGS-warn_non_contiguous_foreign_group += \
|
|
--no-warn-non-contiguous-foreign-procs
|
|
|
|
MCFLAGS-non_contiguous_decls += --warn-non-contiguous-decls
|
|
MCFLAGS-inconsistent_pred_order += --warn-inconsistent-pred-order
|
|
|
|
MCFLAGS-warn_self_import += --warn-simple-code
|
|
MCFLAGS-warn_return += --warn-suspicious-foreign-procs
|
|
MCFLAGS-warn_succ_ind += --warn-suspicious-foreign-procs
|
|
MCFLAGS-suspicious_foreign_code += --warn-suspicious-foreign-code
|
|
|
|
MCFLAGS-test_tscp += --inform-generated-type-spec-pragmas
|
|
MCFLAGS-test_tscp += --no-intermodule-optimization
|
|
|
|
MCFLAGS-bug412 += --no-warn-unsorted-import-block
|
|
MCFLAGS-test_tscp += --no-warn-unsorted-import-block
|
|
|
|
MCFLAGS-ambiguous_overloading += --warn-unsorted-import-block
|
|
MCFLAGS-save += --warn-unsorted-import-block
|
|
MCFLAGS-singleton_test += --warn-unsorted-import-block
|
|
MCFLAGS-unsorted_import_blocks += --warn-unsorted-import-block
|
|
MCFLAGS-unused_interface_import += --warn-unsorted-import-block
|
|
MCFLAGS-unused_interface_import += --warn-too-private-instances
|
|
|
|
MCFLAGS-allow_non_contiguity_for += --warn-non-contiguous-clauses
|
|
MCFLAGS-allow_non_contiguity_for += --allow-non-contiguity-for p1,p2,p3
|
|
MCFLAGS-allow_non_contiguity_for += --allow-non-contiguity-for q1,q2,q3
|
|
MCFLAGS-allow_non_contiguity_for += --allow-non-contiguity-for r1,r2,r3
|
|
|
|
MCFLAGS-abstract_type_decl += --warn-unused-types
|
|
MCFLAGS-bug412 += --warn-unused-types
|
|
MCFLAGS-warn_dead_procs += --warn-unused-types
|