[previous] 2991 [next] The value of this 'if' controlling expression is always 'true'.
Invariant operations

The value of the controlling expression in this 'if' statement is always non-zero. The control statement is therefore redundant.

For example: 


/*PRQA S 2017,3120,3227,3355,3358,3408 ++*/

void foo(int x)
{
    if (x > 10)
    {
        if (x > 5)                      /* 2991 2995 */
        {
        }
    }
}

MISRA C:2012 Rules applicable to message 2991:

Rule-14.3  (Required) Controlling expressions shall not be invariant

See also:

QA·C Source Code Analyser 8.1
MISRA C:2012 Compliance Module 1.0
© 2012 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index | MISRA C:2012 Rule Index Contents