Revert "C++: Factor out transparent conversions in their own predicate"

This reverts commit b185cc8b95.
This commit is contained in:
Jeroen Ketema
2025-07-04 23:22:46 +02:00
parent 463ae4b1eb
commit d6d7c6d55f

View File

@@ -909,17 +909,17 @@ class TranslatedTransparentUnaryOperation extends TranslatedTransparentExpr {
}
}
private predicate isTransparentConversion(Conversion expr) {
expr instanceof ParenthesisExpr or
expr instanceof ReferenceDereferenceExpr or
expr instanceof ReferenceToExpr or
expr instanceof C11GenericExpr
}
class TranslatedTransparentConversion extends TranslatedTransparentExpr {
override Conversion expr;
TranslatedTransparentConversion() { isTransparentConversion(expr) }
TranslatedTransparentConversion() {
(
expr instanceof ParenthesisExpr or
expr instanceof ReferenceDereferenceExpr or
expr instanceof ReferenceToExpr or
expr instanceof C11GenericExpr
)
}
override TranslatedExpr getOperand() { result = getTranslatedExpr(expr.getExpr()) }
}