On Mon, Sep 17, 2012 at 11:54 AM, Seungwon Jeon wrote:
> On Monday, September 17, 2012, Peter Senna Tschudin
> wrote:
>> From: Peter Senna Tschudin
>>
>> Convert a nonnegative error return code to a negative one, as returned
>> elsewhere in the function.
>>
>> A simplified version of the semant
On Monday, September 17, 2012, Peter Senna Tschudin
wrote:
> From: Peter Senna Tschudin
>
> Convert a nonnegative error return code to a negative one, as returned
> elsewhere in the function.
>
> A simplified version of the semantic match that finds this problem is as
> follows: (http://coccin
On Mon, Sep 17, 2012 at 9:15 AM, Peter Senna Tschudin
wrote:
> From: Peter Senna Tschudin
>
> Convert a nonnegative error return code to a negative one, as returned
> elsewhere in the function.
>
> A simplified version of the semantic match that finds this problem is as
> follows: (http://coccine
From: Peter Senna Tschudin
Convert a nonnegative error return code to a negative one, as returned
elsewhere in the function.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
//
(
if@p1 (\(ret < 0\|ret != 0\))
{ ... return ret; }
|
4 matches
Mail list logo