invalidTestForOverflow.md

Pattern: Invalid test for overflow

Issue: -

Description

Invalid test for overflow x + u < x. Condition is always true or false unless there is overflow, and overflow is UB.

Further Reading

• Common Weakness Enumeration (CWE) - 570