AutosarC++18_03-A5.5.1

A pointer to member shall not access non-existent class members

Required inputs: IR, StaticSemanticAnalysis

Possible Messages

Key	Text	Severity	Disabled
non-existing	Calling a non-existing member via a pointer-to-member call.	None	False
uninitialized	Uninitialized pointer-to-member called.	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

pointer_target_limit

pointer_target_limit : int | None = 5

Maximal number of pointer targets per operand. If an operand refers to a larger number of pointer values it will not be considered by this rule. Lower values speed up the analysis but might cause false negatives. If unset, all targets are checked.