2012-06-22 08:33:20 +08:00
|
|
|
RUN: diagtool list-warnings | FileCheck %s
|
2011-08-12 06:06:55 +08:00
|
|
|
|
|
|
|
|
This test serves two purposes:
|
|
|
|
|
|
|
|
|
|
(1) It documents all existing warnings that currently have no associated -W flag,
|
|
|
|
|
and ensures that the list never grows.
|
|
|
|
|
|
|
|
|
|
If take an existing warning and add a flag, this test will fail. To
|
|
|
|
|
fix this test, simply remove that warning from the list below.
|
|
|
|
|
|
|
|
|
|
(2) It prevents us adding new warnings to Clang that have no -W flag. All
|
|
|
|
|
new warnings should have -W flags.
|
|
|
|
|
|
|
|
|
|
If you add a new warning without a flag, this test will fail. To fix
|
|
|
|
|
this test, simply add a warning group to that warning.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The list of warnings below should NEVER grow. It should gradually shrink to 0.
|
|
|
|
|
|
Implement -Wpedantic and --no-pedantic to complement -Weverything.
This patch introduces some magic in tablegen to create a "Pedantic" diagnostic
group which automagically includes all warnings that are extensions. This
allows a user to suppress specific warnings traditionally under -pedantic used
an ordinary warning flag. This also allows users to use #pragma to silence
specific -pedantic warnings, or promote them to errors, within blocks of text
(just like any other warning).
-Wpedantic is NOT an alias for -pedantic. Instead, it provides another way
to (a) activate -pedantic warnings and (b) disable them. Where they differ
is that -pedantic changes the behavior of the preprocessor slightly, whereas
-Wpedantic does not (it just turns on the warnings).
The magic in the tablegen diagnostic emitter has to do with computing the minimal
set of diagnostic groups and diagnostics that should go into -Wpedantic, as those
diagnostics that already members of groups that themselves are (transitively) members
of -Wpedantic do not need to be included in the Pedantic group directly. I went
back and forth on whether or not to magically generate this group, and the invariant
was that we always wanted extension warnings to be included in -Wpedantic "some how",
but the bookkeeping would be very onerous to manage by hand.
-no-pedantic (and --no-pedantic) is included for completeness, and matches many of the
same kind of flags the compiler already supports. It does what it says: cancels out
-pedantic. One discrepancy is that if one specifies --no-pedantic and -Weverything or
-Wpedantic the pedantic warnings are still enabled (essentially the -W flags win). We
can debate the correct behavior here.
Along the way, this patch nukes some code in TextDiagnosticPrinter.cpp and CXStoredDiagnostic.cpp
that determine whether to include the "-pedantic" flag in the warning output. This is
no longer needed, as all extensions now have a -W flag.
This patch also significantly reduces the number of warnings not under flags from 229
to 158 (all extension warnings). That's a 31% reduction.
llvm-svn: 159875
2012-07-07 07:07:31 +08:00
|
|
|
CHECK: Warnings without flags (158):
|
2011-08-12 06:06:55 +08:00
|
|
|
CHECK-NEXT: pp_include_next_absolute_path
|
|
|
|
|
CHECK-NEXT: pp_include_next_in_primary
|
|
|
|
|
CHECK-NEXT: pp_invalid_string_literal
|
|
|
|
|
CHECK-NEXT: pp_out_of_date_dependency
|
|
|
|
|
CHECK-NEXT: pp_poisoning_existing_macro
|
|
|
|
|
CHECK-NEXT: pp_pragma_once_in_main_file
|
|
|
|
|
CHECK-NEXT: pp_pragma_sysheader_in_main_file
|
|
|
|
|
CHECK-NEXT: pp_undef_builtin_macro
|
|
|
|
|
CHECK-NEXT: w_asm_qualifier_ignored
|
|
|
|
|
CHECK-NEXT: warn_accessor_property_type_mismatch
|
|
|
|
|
CHECK-NEXT: warn_anon_bitfield_width_exceeds_type_size
|
|
|
|
|
CHECK-NEXT: warn_asm_label_on_auto_decl
|
|
|
|
|
CHECK-NEXT: warn_attribute_ibaction
|
|
|
|
|
CHECK-NEXT: warn_attribute_iboutlet
|
|
|
|
|
CHECK-NEXT: warn_attribute_ignored
|
|
|
|
|
CHECK-NEXT: warn_attribute_ignored_for_field_of_type
|
|
|
|
|
CHECK-NEXT: warn_attribute_malloc_pointer_only
|
|
|
|
|
CHECK-NEXT: warn_attribute_nonnull_no_pointers
|
|
|
|
|
CHECK-NEXT: warn_attribute_precede_definition
|
|
|
|
|
CHECK-NEXT: warn_attribute_sentinel_named_arguments
|
|
|
|
|
CHECK-NEXT: warn_attribute_sentinel_not_variadic
|
|
|
|
|
CHECK-NEXT: warn_attribute_type_not_supported
|
|
|
|
|
CHECK-NEXT: warn_attribute_unknown_visibility
|
|
|
|
|
CHECK-NEXT: warn_attribute_void_function_method
|
|
|
|
|
CHECK-NEXT: warn_attribute_weak_import_invalid_on_definition
|
|
|
|
|
CHECK-NEXT: warn_attribute_weak_on_field
|
|
|
|
|
CHECK-NEXT: warn_attribute_weak_on_local
|
|
|
|
|
CHECK-NEXT: warn_attribute_wrong_decl_type
|
|
|
|
|
CHECK-NEXT: warn_bitfield_width_exceeds_type_size
|
|
|
|
|
CHECK-NEXT: warn_bool_switch_condition
|
|
|
|
|
CHECK-NEXT: warn_braces_around_scalar_init
|
|
|
|
|
CHECK-NEXT: warn_c_kext
|
|
|
|
|
CHECK-NEXT: warn_call_to_pure_virtual_member_function_from_ctor_dtor
|
|
|
|
|
CHECK-NEXT: warn_call_wrong_number_of_arguments
|
|
|
|
|
CHECK-NEXT: warn_case_empty_range
|
|
|
|
|
CHECK-NEXT: warn_char_constant_too_large
|
|
|
|
|
CHECK-NEXT: warn_cmdline_missing_macro_defs
|
|
|
|
|
CHECK-NEXT: warn_collection_expr_type
|
|
|
|
|
CHECK-NEXT: warn_conflicting_param_types
|
|
|
|
|
CHECK-NEXT: warn_conflicting_ret_types
|
|
|
|
|
CHECK-NEXT: warn_conflicting_variadic
|
|
|
|
|
CHECK-NEXT: warn_conv_to_base_not_used
|
|
|
|
|
CHECK-NEXT: warn_conv_to_self_not_used
|
|
|
|
|
CHECK-NEXT: warn_conv_to_void_not_used
|
|
|
|
|
CHECK-NEXT: warn_delete_array_type
|
|
|
|
|
CHECK-NEXT: warn_double_const_requires_fp64
|
|
|
|
|
CHECK-NEXT: warn_drv_assuming_mfloat_abi_is
|
|
|
|
|
CHECK-NEXT: warn_drv_clang_unsupported
|
|
|
|
|
CHECK-NEXT: warn_drv_input_file_unused
|
|
|
|
|
CHECK-NEXT: warn_drv_not_using_clang_arch
|
|
|
|
|
CHECK-NEXT: warn_drv_not_using_clang_cpp
|
|
|
|
|
CHECK-NEXT: warn_drv_not_using_clang_cxx
|
|
|
|
|
CHECK-NEXT: warn_drv_objc_gc_unsupported
|
|
|
|
|
CHECK-NEXT: warn_drv_pch_not_first_include
|
|
|
|
|
CHECK-NEXT: warn_drv_preprocessed_input_file_unused
|
|
|
|
|
CHECK-NEXT: warn_dup_category_def
|
|
|
|
|
CHECK-NEXT: warn_duplicate_protocol_def
|
|
|
|
|
CHECK-NEXT: warn_enum_too_large
|
|
|
|
|
CHECK-NEXT: warn_enum_value_overflow
|
|
|
|
|
CHECK-NEXT: warn_enumerator_too_large
|
|
|
|
|
CHECK-NEXT: warn_exception_caught_by_earlier_handler
|
|
|
|
|
CHECK-NEXT: warn_extraneous_char_constant
|
|
|
|
|
CHECK-NEXT: warn_fe_cc_log_diagnostics_failure
|
|
|
|
|
CHECK-NEXT: warn_fe_cc_print_header_failure
|
|
|
|
|
CHECK-NEXT: warn_fe_macro_contains_embedded_newline
|
|
|
|
|
CHECK-NEXT: warn_file_asm_volatile
|
|
|
|
|
CHECK-NEXT: warn_function_attribute_wrong_type
|
|
|
|
|
CHECK-NEXT: warn_gc_attribute_weak_on_local
|
|
|
|
|
CHECK-NEXT: warn_gnu_inline_attribute_requires_inline
|
|
|
|
|
CHECK-NEXT: warn_ignoring_ftabstop_value
|
|
|
|
|
CHECK-NEXT: warn_implements_nscopying
|
|
|
|
|
CHECK-NEXT: warn_incompatible_qualified_id
|
|
|
|
|
CHECK-NEXT: warn_inline_namespace_reopened_noninline
|
|
|
|
|
CHECK-NEXT: warn_integer_too_large
|
|
|
|
|
CHECK-NEXT: warn_integer_too_large_for_signed
|
|
|
|
|
CHECK-NEXT: warn_invalid_asm_cast_lvalue
|
|
|
|
|
CHECK-NEXT: warn_maynot_respond
|
|
|
|
|
CHECK-NEXT: warn_member_extra_qualification
|
|
|
|
|
CHECK-NEXT: warn_method_param_redefinition
|
|
|
|
|
CHECK-NEXT: warn_missing_case_for_condition
|
|
|
|
|
CHECK-NEXT: warn_missing_exception_specification
|
|
|
|
|
CHECK-NEXT: warn_missing_whitespace_after_macro_name
|
|
|
|
|
CHECK-NEXT: warn_multiple_method_decl
|
|
|
|
|
CHECK-NEXT: warn_no_constructor_for_refconst
|
|
|
|
|
CHECK-NEXT: warn_nonnull_pointers_only
|
|
|
|
|
CHECK-NEXT: warn_not_compound_assign
|
|
|
|
|
CHECK-NEXT: warn_ns_attribute_wrong_parameter_type
|
|
|
|
|
CHECK-NEXT: warn_ns_attribute_wrong_return_type
|
|
|
|
|
CHECK-NEXT: warn_objc_object_attribute_wrong_type
|
|
|
|
|
CHECK-NEXT: warn_objc_property_copy_missing_on_block
|
|
|
|
|
CHECK-NEXT: warn_objc_protocol_qualifier_missing_id
|
|
|
|
|
CHECK-NEXT: warn_odr_tag_type_inconsistent
|
|
|
|
|
CHECK-NEXT: warn_on_superclass_use
|
|
|
|
|
CHECK-NEXT: warn_partial_specs_not_deducible
|
|
|
|
|
CHECK-NEXT: warn_pointer_attribute_wrong_type
|
|
|
|
|
CHECK-NEXT: warn_pp_convert_lhs_to_positive
|
|
|
|
|
CHECK-NEXT: warn_pp_convert_rhs_to_positive
|
|
|
|
|
CHECK-NEXT: warn_pp_expr_overflow
|
|
|
|
|
CHECK-NEXT: warn_pp_line_decimal
|
|
|
|
|
CHECK-NEXT: warn_pragma_align_expected_equal
|
|
|
|
|
CHECK-NEXT: warn_pragma_align_invalid_option
|
|
|
|
|
CHECK-NEXT: warn_pragma_debug_unexpected_command
|
|
|
|
|
CHECK-NEXT: warn_pragma_expected_colon
|
|
|
|
|
CHECK-NEXT: warn_pragma_expected_enable_disable
|
|
|
|
|
CHECK-NEXT: warn_pragma_expected_identifier
|
|
|
|
|
CHECK-NEXT: warn_pragma_expected_lparen
|
|
|
|
|
CHECK-NEXT: warn_pragma_expected_rparen
|
|
|
|
|
CHECK-NEXT: warn_pragma_extra_tokens_at_eol
|
|
|
|
|
CHECK-NEXT: warn_pragma_ms_struct
|
|
|
|
|
CHECK-NEXT: warn_pragma_options_align_reset_failed
|
|
|
|
|
CHECK-NEXT: warn_pragma_options_align_unsupported_option
|
|
|
|
|
CHECK-NEXT: warn_pragma_options_expected_align
|
|
|
|
|
CHECK-NEXT: warn_pragma_pack_invalid_action
|
|
|
|
|
CHECK-NEXT: warn_pragma_pack_invalid_alignment
|
|
|
|
|
CHECK-NEXT: warn_pragma_pack_malformed
|
|
|
|
|
CHECK-NEXT: warn_pragma_pack_pop_failed
|
|
|
|
|
CHECK-NEXT: warn_pragma_pack_pop_identifer_and_alignment
|
|
|
|
|
CHECK-NEXT: warn_pragma_pack_show
|
|
|
|
|
CHECK-NEXT: warn_pragma_pop_macro_no_push
|
|
|
|
|
CHECK-NEXT: warn_pragma_unknown_extension
|
|
|
|
|
CHECK-NEXT: warn_pragma_unused_expected_punc
|
|
|
|
|
CHECK-NEXT: warn_pragma_unused_expected_var
|
|
|
|
|
CHECK-NEXT: warn_pragma_unused_expected_var_arg
|
|
|
|
|
CHECK-NEXT: warn_pragma_unused_undeclared_var
|
|
|
|
|
CHECK-NEXT: warn_previous_alias_decl
|
|
|
|
|
CHECK-NEXT: warn_printf_asterisk_missing_arg
|
|
|
|
|
CHECK-NEXT: warn_property_attr_mismatch
|
|
|
|
|
CHECK-NEXT: warn_property_attribute
|
|
|
|
|
CHECK-NEXT: warn_property_getter_owning_mismatch
|
|
|
|
|
CHECK-NEXT: warn_property_types_are_incompatible
|
|
|
|
|
CHECK-NEXT: warn_readonly_property
|
|
|
|
|
CHECK-NEXT: warn_redecl_library_builtin
|
|
|
|
|
CHECK-NEXT: warn_redeclaration_without_attribute_prev_attribute_ignored
|
|
|
|
|
CHECK-NEXT: warn_register_objc_catch_parm
|
|
|
|
|
CHECK-NEXT: warn_related_result_type_compatibility_class
|
|
|
|
|
CHECK-NEXT: warn_related_result_type_compatibility_protocol
|
|
|
|
|
CHECK-NEXT: warn_second_parameter_of_va_start_not_last_named_argument
|
|
|
|
|
CHECK-NEXT: warn_second_parameter_to_va_arg_never_compatible
|
|
|
|
|
CHECK-NEXT: warn_standalone_specifier
|
|
|
|
|
CHECK-NEXT: warn_static_inline_explicit_inst_ignored
|
|
|
|
|
CHECK-NEXT: warn_template_export_unsupported
|
|
|
|
|
CHECK-NEXT: warn_template_spec_extra_headers
|
|
|
|
|
CHECK-NEXT: warn_tentative_incomplete_array
|
|
|
|
|
CHECK-NEXT: warn_transparent_union_attribute_field_size_align
|
|
|
|
|
CHECK-NEXT: warn_transparent_union_attribute_floating
|
|
|
|
|
CHECK-NEXT: warn_transparent_union_attribute_not_definition
|
|
|
|
|
CHECK-NEXT: warn_transparent_union_attribute_zero_fields
|
|
|
|
|
CHECK-NEXT: warn_typecheck_function_qualifiers
|
|
|
|
|
CHECK-NEXT: warn_unavailable_fwdclass_message
|
|
|
|
|
CHECK-NEXT: warn_undef_interface
|
|
|
|
|
CHECK-NEXT: warn_undef_interface_suggest
|
|
|
|
|
CHECK-NEXT: warn_undef_protocolref
|
|
|
|
|
CHECK-NEXT: warn_undefined_internal
|
2011-08-17 16:56:14 +08:00
|
|
|
CHECK-NEXT: warn_unknown_analyzer_checker
|
2011-08-12 06:06:55 +08:00
|
|
|
CHECK-NEXT: warn_unknown_method_family
|
|
|
|
|
CHECK-NEXT: warn_use_out_of_scope_declaration
|
|
|
|
|
CHECK-NEXT: warn_weak_identifier_undeclared
|
|
|
|
|
CHECK-NEXT: warn_weak_import
|
Implement -Wpedantic and --no-pedantic to complement -Weverything.
This patch introduces some magic in tablegen to create a "Pedantic" diagnostic
group which automagically includes all warnings that are extensions. This
allows a user to suppress specific warnings traditionally under -pedantic used
an ordinary warning flag. This also allows users to use #pragma to silence
specific -pedantic warnings, or promote them to errors, within blocks of text
(just like any other warning).
-Wpedantic is NOT an alias for -pedantic. Instead, it provides another way
to (a) activate -pedantic warnings and (b) disable them. Where they differ
is that -pedantic changes the behavior of the preprocessor slightly, whereas
-Wpedantic does not (it just turns on the warnings).
The magic in the tablegen diagnostic emitter has to do with computing the minimal
set of diagnostic groups and diagnostics that should go into -Wpedantic, as those
diagnostics that already members of groups that themselves are (transitively) members
of -Wpedantic do not need to be included in the Pedantic group directly. I went
back and forth on whether or not to magically generate this group, and the invariant
was that we always wanted extension warnings to be included in -Wpedantic "some how",
but the bookkeeping would be very onerous to manage by hand.
-no-pedantic (and --no-pedantic) is included for completeness, and matches many of the
same kind of flags the compiler already supports. It does what it says: cancels out
-pedantic. One discrepancy is that if one specifies --no-pedantic and -Weverything or
-Wpedantic the pedantic warnings are still enabled (essentially the -W flags win). We
can debate the correct behavior here.
Along the way, this patch nukes some code in TextDiagnosticPrinter.cpp and CXStoredDiagnostic.cpp
that determine whether to include the "-pedantic" flag in the warning output. This is
no longer needed, as all extensions now have a -W flag.
This patch also significantly reduces the number of warnings not under flags from 229
to 158 (all extension warnings). That's a 31% reduction.
llvm-svn: 159875
2012-07-07 07:07:31 +08:00
|
|
|
|