AutosarC++17_03-A5.0.1

The value of an expression shall be the same under any order of evaluation that the standard permits

Required inputs: IR

Possible Messages

Key	Text	Severity	Disabled
unsequenced_atomics	Unsequenced accesses of _Atomic-qualified objects	None	False
unsequenced_call_atomic	Function calls unsequenced with atomic access	None	False
unsequenced_call_read	Variable read here is also written in unsequenced function call	None	False
unsequenced_call_volatile	Function calls unsequenced with volatile access	None	False
unsequenced_call_write	Variable written here is also accessed in unsequenced function call	None	False
unsequenced_calls	Unsequenced function calls	None	False
unsequenced_read_write	Unsequenced read and write accesses	None	False
unsequenced_volatile_and_atomic	Unsequenced volatile access and atomic access	None	False
unsequenced_volatile_and_non_volatile	Unsequenced volatile and non-volatile access to same memory location	None	True
unsequenced_volatiles	Unsequenced volatile accesses	None	False
unsequenced_writes	Unsequenced writes	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

ignore_exceptions

ignore_exceptions : bool = False

Ignore possible exceptions in the computation of side effects (this option only has an effect if report_calls is enabled).

 

ignore_unknown_code

ignore_unknown_code : bool = False

Ignore unsequenced function calls involving "Unknown effect". This effect can occur when the definition of a function is unavailable to the analysis (this option only has an effect if report_calls is enabled).

 

ignore_unknown_memory

ignore_unknown_memory : bool = False

Ignore reading from or writing to memory that isn't tracked by this rule (this option only has an effect if report_calls is enabled).

 

report_calls

report_calls : bool = True

If true, unsequenced function calls are reported.