hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-31 04:38:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Improve the downgrade script.

Browse Source
This commit is contained in:
Michael Nebel
2026-03-26 14:34:54 +01:00
parent a5f27b8f19
commit 41bb349a9b
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
csharp/downgrades/19b8cc3e2dc768d4cbc03d6e3773b709bbebd036/assignments.ql
View File

@@ -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<TAddedElement>;
@@ -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)
|