From 41bb349a9b1a67ef37de8e20075fa5eb9046ad8b Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Thu, 26 Mar 2026 14:34:54 +0100 Subject: [PATCH] C#: Improve the downgrade script. --- .../assignments.ql | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/csharp/downgrades/19b8cc3e2dc768d4cbc03d6e3773b709bbebd036/assignments.ql b/csharp/downgrades/19b8cc3e2dc768d4cbc03d6e3773b709bbebd036/assignments.ql index 14e2cea2af6..199385e830e 100644 --- a/csharp/downgrades/19b8cc3e2dc768d4cbc03d6e3773b709bbebd036/assignments.ql +++ b/csharp/downgrades/19b8cc3e2dc768d4cbc03d6e3773b709bbebd036/assignments.ql @@ -7,9 +7,9 @@ class Location extends @location { } newtype TAddedElement = - TAssignment(Expr e) or - TLhs(Expr e) or - TRhs(Expr e) + TAssignment(CompoundAssignmentExpr e) or + TLhs(CompoundAssignmentExpr e) or + TRhs(CompoundAssignmentExpr e) module Fresh = QlBuiltins::NewEntity; @@ -103,7 +103,6 @@ query predicate new_expressions(NewExpr e, int kind, TypeOrRef t) { // Introduce expanded expression nodes. exists(CompoundAssignmentExpr compound, int kind0, Expr e1, int kind1 | expressions(compound, kind0, t) and - compoundAssignmentKind(kind0) and expressions(e1, kind1, _) and expr_parent(e1, 0, compound) |