Re: [PATCH 3/6] arch/powerpc/kvm/e500_tlb.c: fix error return code

2012-10-02 Thread Alexander Graf
On 05.08.2012, at 11:52, Julia Lawall wrote: > From: Julia Lawall > > Convert a 0 error return code to a negative one, as returned elsewhere in the > function. > > A new label is also added to avoid freeing things that are known to not yet > be allocated. > > A simplified version of the seman

[PATCH 3/6] arch/powerpc/kvm/e500_tlb.c: fix error return code

2012-08-05 Thread Julia Lawall
From: Julia Lawall Convert a 0 error return code to a negative one, as returned elsewhere in the function. A new label is also added to avoid freeing things that are known to not yet be allocated. A simplified version of the semantic match that finds the first problem is as follows: (http://coc