Openwall GNU/*/Linux - a small security-enhanced Linux distro for servers
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Mon, 12 Aug 2019 12:00:45 +0200
From: Markus Elfring <>
To: Alexander Popov <>, Jann Horn <>,
 Julia Lawall <>,,
Cc:,,, Al Viro <>,
 Denis Efremov <>, Gilles Muller <>,
 Jens Axboe <>, Jiri Kosina <>,
 Michal Marek <>, Mukesh Ojha <>,
 Nicolas Palix <>
Subject: Re: floppy: fix usercopy direction

> …, I see `exists` allows to drop `<+ +>`, right?

I would interpret the combination of such SmPL specifications in a different way.

> It turned out that sparse already can find these bugs.

This is generally nice, isn't it?

> Is this rule useful anyway?

I hope so.

Can scripts for the semantic patch language help any more?

> If so, I can prepare a patch.

Would you like to take corresponding adjustments into account?


Powered by blists - more mailing lists

Your e-mail address:

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.