C++: Remove an unnecessary conjunct.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-01-17 12:44:22 +00:00
parent b39a932ae1
commit 21f9e6763d

View File

@@ -256,9 +256,8 @@ private class GuardConditionFromNotExpr extends GuardConditionImpl {
// comparison against 0 so it's not included as a normal
// `IRGuardCondition`. So to align with user expectations we make that `x`
// a `GuardCondition`.
exists(NotExpr notExpr, Type t |
exists(NotExpr notExpr |
this = notExpr.getOperand() and
t = this.getUnspecifiedType() and
ir.getUnconvertedResultExpression() = notExpr
)
}