C#: Add operator calls for postfix unary expression (whenever possible) as we also do for prefix unary expressions.

michaelnebel · michaelnebel · commit 1c87cb3f9e32 · 2026-05-07T15:58:28.000+02:00
diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Entities/Expressions/PostfixUnary.cs b/csharp/extractor/Semmle.Extraction.CSharp/Entities/Expressions/PostfixUnary.cs
@@ -21,11 +21,11 @@ private PostfixUnary(ExpressionNodeInfo info, ExprKind kind, ExpressionSyntax op
         protected override void PopulateExpression(TextWriter trapFile)
         {
             Create(Context, operand, this, 0);
+            AddOperatorCall(trapFile, Syntax);
 
             if ((operatorKind == ExprKind.POST_INCR || operatorKind == ExprKind.POST_DECR) &&
                 Kind == ExprKind.OPERATOR_INVOCATION)
             {
-                AddOperatorCall(trapFile, Syntax);
                 trapFile.mutator_invocation_mode(this, 2);
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -21,11 +21,11 @@ private PostfixUnary(ExpressionNodeInfo info, ExprKind kind, ExpressionSyntax op`
`21`	`21`	`protected override void PopulateExpression(TextWriter trapFile)`
`22`	`22`	`{`
`23`	`23`	`Create(Context, operand, this, 0);`
	`24`	`+ AddOperatorCall(trapFile, Syntax);`
`24`	`25`
`25`	`26`	`if ((operatorKind == ExprKind.POST_INCR \|\| operatorKind == ExprKind.POST_DECR) &&`
`26`	`27`	`Kind == ExprKind.OPERATOR_INVOCATION)`
`27`	`28`	`{`
`28`		`- AddOperatorCall(trapFile, Syntax);`
`29`	`29`	`trapFile.mutator_invocation_mode(this, 2);`
`30`	`30`	`}`
`31`	`31`	`}`