RULE-7-2: Incorrect detection of unsigned constants without suffix

[lcartey]

Affected rules

• RULE-7-2

Description

This query reports false positives in two cases:

• It reports cases in macro expansions where the U suffix was used.
• It reports cases where the integer constant is signed, but is then implicitly converted to unsigned. This is permitted by the rule.

Example

unsigned int x = 1030; // COMPLIANT[FALSE_POSITIVE]

#define Y 0x80000000U
Y; // COMPLIANT[FALSE_POSITIVE]