GC plugin: improve error reporting when tracing illegal fields.

tools/clang/blink_gc_plugin/TracingStatus.h

 // 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.
 
 #ifndef TOOLS_BLINK_GC_PLUGIN_TRACING_STATUS_H_
 #define TOOLS_BLINK_GC_PLUGIN_TRACING_STATUS_H_
 
-// TracingStatus is a three-point value ordered by unneeded < unknown < needed.
+// TracingStatus is a four-point value ordered by
+//       illegal < unneeded < unknown < needed
+//
+// It is used to categorize tracing of fields:
+//
+//  * illegal  field is invalid/illegal to trace.
+//  * unneeded field has type with no traceable fields of its own;
+//             it may have an empty trace() method. Not harmful
+//             to trace, but not needed.
+//  * unknown  initial TracingStatus value.
+//  * needed   field is a heap reference or an object containing
+//             traceable fields.
+//
+// Tracing status |illegal| is considered an error; treating |unneeded| also
+// as an error would detect and report unnecessary tracing of objects that
+// probably don't need to be on the Blink GC heap. However, template use
+// and instantiation can leave us with classes that do have empty trace
+// methods and no traceable fields -- reporting these as errors/warnings
+// wouldn't work. Hence, only consider |illegal| as an error TracingStatus
+// state.
 class TracingStatus {
  public:
+  static TracingStatus Illegal() { return kIllegal; }
   static TracingStatus Unneeded() { return kUnneeded; }
   static TracingStatus Unknown() { return kUnknown; }
   static TracingStatus Needed() { return kNeeded; }
+  bool IsIllegal() const { return status_ == kIllegal; }
   bool IsUnneeded() const { return status_ == kUnneeded; }
   bool IsUnknown() const { return status_ == kUnknown; }
   bool IsNeeded() const { return status_ == kNeeded; }
   TracingStatus LUB(const TracingStatus& other) const {
     return status_ > other.status_ ? status_ : other.status_;
   }
   bool operator==(const TracingStatus& other) const {
     return status_ == other.status_;
   }
  private:
-  enum Status { kUnneeded, kUnknown, kNeeded };
+  enum Status { kIllegal, kUnneeded, kUnknown, kNeeded };
   TracingStatus(Status status) : status_(status) {}
   Status status_;
 };
 
 #endif // TOOLS_BLINK_GC_PLUGIN_TRACING_STATUS_H_