On Wed, Jul 10, 2013 at 2:01 PM, Xinliang David Li <davidxl@google.com> wrote: > What about introducing a new blanket warning kind that excludes > anything with false positives? something like -WALL ? I am doubtful "more ropes" is the answer. -- Gaby