Skip to content

Commit ed78d89

Browse files
committed
C#: Streamline the AddOperatorCall logic for prefix and postfix unary operators.
1 parent fa2d633 commit ed78d89

2 files changed

Lines changed: 13 additions & 7 deletions

File tree

csharp/extractor/Semmle.Extraction.CSharp/Entities/Expressions/PostfixUnary.cs

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,11 +22,14 @@ protected override void PopulateExpression(TextWriter trapFile)
2222
{
2323
Create(Context, operand, this, 0);
2424

25-
if ((operatorKind == ExprKind.POST_INCR || operatorKind == ExprKind.POST_DECR) &&
26-
Kind == ExprKind.OPERATOR_INVOCATION)
25+
if (Kind == ExprKind.OPERATOR_INVOCATION)
2726
{
2827
AddOperatorCall(trapFile, Syntax);
29-
trapFile.mutator_invocation_mode(this, 2);
28+
29+
if (operatorKind == ExprKind.POST_INCR || operatorKind == ExprKind.POST_DECR)
30+
{
31+
trapFile.mutator_invocation_mode(this, 2);
32+
}
3033
}
3134
}
3235
}

csharp/extractor/Semmle.Extraction.CSharp/Entities/Expressions/Unary.cs

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,12 +24,15 @@ public static Unary Create(ExpressionNodeInfo info)
2424
protected override void PopulateExpression(TextWriter trapFile)
2525
{
2626
Create(Context, Syntax.Operand, this, 0);
27-
AddOperatorCall(trapFile, Syntax);
2827

29-
if ((operatorKind == ExprKind.PRE_INCR || operatorKind == ExprKind.PRE_DECR) &&
30-
Kind == ExprKind.OPERATOR_INVOCATION)
28+
if (Kind == ExprKind.OPERATOR_INVOCATION)
3129
{
32-
trapFile.mutator_invocation_mode(this, 1);
30+
AddOperatorCall(trapFile, Syntax);
31+
32+
if (operatorKind == ExprKind.PRE_INCR || operatorKind == ExprKind.PRE_DECR)
33+
{
34+
trapFile.mutator_invocation_mode(this, 1);
35+
}
3336
}
3437
}
3538
}

0 commit comments

Comments
 (0)