On Wed, Jul 10, 2013 at 12:05 PM, Gabriel Dos Reis <g...@integrable-solutions.net> wrote: > 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. >
Reason? David > -- Gaby