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 */
}

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.

Personality Groups | Glossary | Message Index

Contents