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

loop_counter_model

loop_counter_model

Type: LoopCounterModel

Default: 'misra_cpp_2008'

The loop counter model on which the analysis is based.
 

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