diff --git a/src/analysis/comma_expression.d b/src/analysis/comma_expression.d index e4b4edd..570af3a 100644 --- a/src/analysis/comma_expression.d +++ b/src/analysis/comma_expression.d @@ -38,6 +38,15 @@ class CommaExpressionCheck : BaseAnalyzer --interest; } + // Dconf 2016 + override void visit(const SynchronizedStatement ss) + { + ++interest; + visit(ss.expression); + --interest; + visit(ss.statementNoCaseNoDefault); + } + invariant { assert(interest >= 0);