QA·C Help - 3316

	3316	An unsigned value can never be less than zero - this test is always false.

Miscellaneous

This expression is testing to see if an expression of unsigned type is less than zero. The result is always 'false'.

Message 3316 is now considered obsolete. It has been superseded by message 2996 which has a more comprehensive specification.

For example:


/*PRQA S 1-9999 ++*/
/*PRQA S 3316, 3324, 3328, 2890, 2990-2999 --*/

extern void foo ( unsigned int c )
{
    if ( c < 0 ) { }                    /* Message 3316 + 2996 + 2992 */

    if ( c < -5 ) { }                   /* Message 3328 + 2890        */

    if ( c >= 0 ) { }                   /* Message 3324 + 2995 + 2991 */
}

No MISRA C:2012 Rules applicable to message 3316

See also:

2890 Constant: Negative value implicitly converted to an unsigned type.
2991 The value of this 'if' controlling expression is always 'true'.
2992 The value of this 'if' controlling expression is always 'false'.
2995 The result of this logical operation is always 'true'.
2996 The result of this logical operation is always 'false'.
3324 An unsigned value is always greater than or equal to zero - this test is always true.
3328 An unsigned value is being compared with a negative constant - this is dangerous.

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