Start here

Home
About Klocwork
What's new
Fixed issues
Release notes
Installation

Reference

C/C++ checkers
Java checkers
C# checkers
MISRA C 2004 checkers
MISRA C++ 2008 checkers
MISRA C 2012 checkers
MISRA C 2012 checkers with Amendment 1
Commands
Metrics
Troubleshooting
Reference

Product components

C/C++ Integration build analysis
Java Integration build analysis
Desktop analysis
Refactoring
Klocwork Static Code Analysis
Klocwork Code Review
Structure101
Tuning
Custom checkers

Coding environments

Visual Studio
Eclipse for C/C++
Eclipse for Java
IntelliJ IDEA
Other

Administration

Project configuration
Build configuration
Administration
Analysis performance
Server performance
Security/permissions
Licensing
Klocwork Static Code Analysis Web API
Klocwork Code Review Web API

Community

View help online
Visit RogueWave.com
Klocwork Support
Rogue Wave Videos

Legal

Legal information

MISRA.FOR.LOOP_CONTROL.NOT_BOOLEAN

Loop control variable is not boolean.

MISRA-C++ Rule 6-5-6 (required): A loop-control-variable other than the loop-counter which is modified in statement shall have type bool.

Rationale

loop-control-variables are typically used to terminate a for loop early. The code is easier to understand if this is done with the use of Boolean values (flags).

Example

for ( x = 0; ( x < 10 ) && ( u8a != 3U ); ++x ) // Non-compliant
{
   uint8_a = fn ( );
}
for ( x = 0; ( x < 10 ) && flag; ++x ) // Compliant
{
   u8a = fn ( );
   flag = u8a != 3U;
}