Apply clang-tidy fixes for readability-simplify-boolean-expr in Utils.cpp (NFC)

This commit is contained in:
Mehdi Amini 2022-06-12 16:42:42 +00:00
parent 4aafebce52
commit cf3f477d30
1 changed files with 1 additions and 1 deletions

View File

@ -120,7 +120,7 @@ static LogicalResult getDivRepr(const IntegerRelation &cst, unsigned pos,
// Check if `c` satisfies the condition `0 <= c <= divisor - 1`. This also
// implictly checks that `divisor` is positive.
if (!(c >= 0 && c <= divisor - 1))
if (c < 0 || c > divisor - 1)
return failure();
// The inequality pair can be used to extract the division.