AutosarC++19_03-A6.5.2¶
A for loop shall contain a single loop-counter which shall not have floating-point type
Required inputs: IR
Possible Messages
Key |
Text |
Severity |
Disabled |
|---|---|---|---|
loop_float_counter |
Loop-counter of for loop shall not have floating type |
None |
False |
loop_missing_counter |
For loop has no loop-counter |
None |
False |
loop_multiple_counters |
For loop shall have only a single loop-counter |
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