AutosarC++18_10-A6.5.4¶
For-init-statement and expression should not perform actions other than loop-counter initialization and modification
Required inputs: IR
Possible Messages
Key |
Text |
Severity |
Disabled |
|---|---|---|---|
loop_side_effect |
Side effect in loop init/expression. |
None |
False |
non_loop_counter_initialized |
Non loop counter initialized. |
None |
False |
non_loop_counter_modified |
Non loop counter modified. |
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
loop_counter_model¶
loop_counter_model
The loop counter model on which the analysis is based.Type: LoopCounterModel
Default:
'misra_cpp_2008'
Option Types¶
These types are used by options listed above:
LoopCounterModel¶
An enumeration.misra_c_2004
misra_c_2004_continue
misra_c_2012
misra_c_2012_continue
misra_cpp_2008
cert
generic