On Wed, Jul 10, 2013 at 2:01 PM, Xinliang David Li <davi...@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