Please ignore. Wrong patch set.
On Sun, 5 Apr 2015, Julia Lawall wrote:
> These patches fix cases where the return code appears to be unintentially
> nonnegative.
>
> The complete semantic match that finds the problem is as follows:
> (http://coccinelle.lip6.fr/)
>
> //
> @ok exists@
> identif
These patches fix cases where the return code appears to be unintentially
nonnegative.
The complete semantic match that finds the problem is as follows:
(http://coccinelle.lip6.fr/)
//
@ok exists@
identifier f,ret,i;
expression e;
constant c;
@@
f(...) {
<+...
(
return -c@i;
|
ret = -c@i;
... w
Oops!!! These are ancient patches. I meant to send something else.
Sorry for the noise.
julia
On Sun, 23 Nov 2014, Julia Lawall wrote:
> These patches fix cases where the return code appears to be unintentially
> nonnegative.
>
> The complete semantic match that finds the problem is as foll
These patches fix cases where the return code appears to be unintentially
nonnegative.
The complete semantic match that finds the problem is as follows:
(http://coccinelle.lip6.fr/)
//
@ok exists@
identifier f,ret,i;
expression e;
constant c;
@@
f(...) {
<+...
(
return -c@i;
|
ret = -c@i;
... w
On Mon, 20 Aug 2012, Takashi Iwai wrote:
At Sun, 19 Aug 2012 09:02:51 +0200,
Julia Lawall wrote:
These patches fix cases where the return code appears to be unintentially
nonnegative.
The patch 10/10 seems missing. Or are all 9 patches? The patch
number suddenly changes to X/9 from 4.
In
At Sun, 19 Aug 2012 09:02:51 +0200,
Julia Lawall wrote:
>
> These patches fix cases where the return code appears to be unintentially
> nonnegative.
The patch 10/10 seems missing. Or are all 9 patches? The patch
number suddenly changes to X/9 from 4.
In anyway, the patches 3, 5, 6, 7, 8 and 9
These patches fix cases where the return code appears to be unintentially
nonnegative.
The complete semantic match that finds the problem is as follows:
(http://coccinelle.lip6.fr/)
//
@ok exists@
identifier f,ret,i;
expression e;
constant c;
@@
f(...) {
<+...
(
return -c@i;
|
ret = -c@i;
... w
7 matches
Mail list logo