Check consistency of manual trace and finalization dispatching.

tools/clang/blink_gc_plugin/tests/trace_after_dispatch.cpp

+// Copyright 2014 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#include "trace_after_dispatch.h"
+
+namespace WebCore {
+
+static B* toB(A* a) { return static_cast<B*>(a); }
+
+void A::trace(Visitor* visitor)
+{
+    switch (m_type) {
+    case TB: toB(this)->traceAfterDispatch(visitor);

[Mads Ager (chromium), 2014/03/18 09:19:32]

break!

[zerny-chromium, 2014/03/18 10:03:41]

Done.

+    case TC: static_cast<C*>(this)->traceAfterDispatch(visitor);
+    case TD: ; // Missing static_cast<D*>(this)->traceAfterDispatch(visitor);
+    }
+}
+
+void A::traceAfterDispatch(Visitor* visitor)
+{
+}
+
+void B::traceAfterDispatch(Visitor* visitor)
+{
+    visitor->trace(m_a);
+    // Missing A::trace(visitor);
+}
+
+void C::traceAfterDispatch(Visitor* visitor)
+{
+    // Missing visitor->trace(m_a);
+    A::trace(visitor);
+}
+
+void D::traceAfterDispatch(Visitor* visitor)
+{
+    visitor->trace(m_a);
+    Abstract::trace(visitor);
+}
+
+}