On Wed, Jul 10, 2013 at 2:01 PM, Xinliang David Li <[email protected]> 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
On Wed, Jul 10, 2013 at 2:01 PM, Xinliang David Li <[email protected]> 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