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);
+        break;
+    case TC:
+        static_cast<C*>(this)->traceAfterDispatch(visitor);
+        break;
+    case TD:
+        // Missing static_cast<D*>(this)->traceAfterDispatch(visitor);
+        break;
+    }
+}
+
+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);
+}
+
+}