Re: [cocci] Depends on with negative matches

[Mats Kindahl <mats.kindahl@gmail.com>]

Hi Julia,

Thanks you! I feel really stupid, but now it works. My only excuse is 
that the documentation for "when != true <expr>" is not very elaborate. :)

Thanks again Julia,
Mats Kindahl

On 2024-12-20 22:54, Julia Lawall wrote:
> I think you just had true and false backwards:
>
> // Capture any malloc() to a local variable
> @r@
> local idexpression var;
> position p;
> @@
>    var@p = malloc(...)
>
> @@
> local idexpression r.var;
> position r.p;
> @@
> * var@p = malloc(...);
>    ... when != true !PointerIsValid(var)
>        when != false PointerIsValid(var)
>        when != free(var)
>        when != return (var);
>
> For example, you don't want to complain if there is a path with no free,
> but that path goes through a failing pointer is valid test.
>
> julia