SecureCoding-5.13

Declaring the same function or object in incompatible ways

Required inputs: IR

Rule description is currently unavailable for legal reasons.

Possible Messages

Key	Text	Severity	Disabled
cafe_not_compatible_with_previous_decl	{}	None	False
ellipsis_mismatch	Parameter {kind1} does not match {kind2} at {pos}	None	False
except_spec_mismatch	{kind1} does not match {kind2} at {pos}	None	False
external_identifiers_not_distinct	External identifiers not distinct.	None	False
external_identifiers_sharing	External identifiers sharing first {} characters.	None	False
implicit_ellipsis_mismatch	Missing parameters should not match an ellipsis parameter at {pos}	None	False
implicit_ellipsis_mismatch_rev	An ellipsis parameter should not match missing parameters at {pos}	None	False
implicit_length_match	No parameters implicitly match {num} parameter{p} in {decl} at {pos}	None	False
implicit_length_match_rev	{num} parameter{p} implicitly match{es} no parameters in {decl} at {pos}	None	False
implicit_promotion_mismatch	Missing parameters do not match an unpromoted parameter type {type} at {pos}	None	False
implicit_promotion_mismatch_rev	An unpromoted parameter type {type} does not match missing parameters at {pos}	None	False
internal_identifiers_not_distinct	Internal identifiers not distinct.	None	False
internal_identifiers_sharing	Internal identifiers sharing first {} characters.	None	False
length_mismatch	{num1} parameter{p1} {versus} {num2} parameter{p2} at {pos}	None	False
linkage_mismatch	{kind1} does not match {kind2} at {pos}	None	False
parameter_type_mismatch	{kind} type {type1} {versus} {type2} at {pos}{implicit2}{remark}	None	False
return_type_mismatch	{kind} type {type1} {versus} {type2} at {pos}{implicit2}{remark}	None	False
variable_type_mismatch	{kind} type {type1} {versus} {type2} at {pos}{implicit2}{remark}	None	False

Options

• This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity

• The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions

check_exception_specification

check_exception_specification : bool = False

Whether to check for different exception specifications.

 

check_linkage_declaration

check_linkage_declaration : bool = False

Whether to check for different linkage declarations.

 

maxlen

maxlen : int | None = None

Number of significant characters to consider or None to retrieve the information from the translation limits of the configured toolchain.

 

report_external_identifiers

report_external_identifiers : bool = True

Whether external identifiers should be compared to each other.

 

report_internal_identifiers

report_internal_identifiers : bool = False

Whether internal identifiers should be compared to each other (including macros).

 

report_short_identifiers

report_short_identifiers : bool = False

If true, identifiers shorter than maxlen are considered as well.