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

github / codeql-coding-standards

This repository contains CodeQL queries and libraries which support various Coding Standards.

MIT License

129 stars 59 forks source link

Closed lcartey closed 2 months ago

lcartey commented 2 months ago

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.

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

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