On 08/19/2012 12:25 AM, Julia Lawall wrote:
> From: Julia Lawall
>
> The result of one call to a function is tested, and then at the second call
> to the same function, the previous result, and not the current result, is
> tested again.
>
> The semantic match that finds this problem is as
On 08/19/2012 12:25 AM, Julia Lawall wrote:
From: Julia Lawall julia.law...@lip6.fr
The result of one call to a function is tested, and then at the second call
to the same function, the previous result, and not the current result, is
tested again.
The semantic match that finds this
From: Julia Lawall
The result of one call to a function is tested, and then at the second call
to the same function, the previous result, and not the current result, is
tested again.
The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)
//
@@
expression ret;
From: Julia Lawall julia.law...@lip6.fr
The result of one call to a function is tested, and then at the second call
to the same function, the previous result, and not the current result, is
tested again.
The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)
//
4 matches
Mail list logo