On Sun, 10 Jun 2018, SF Markus Elfring wrote:

> >>      when != action(..., input, ...)
> …
> >> Now I am looking for ways to restrict (or filter) such function calls 
> >> further.
> …
> > "restrict ... further" and "correspond" are not precise.
>
> The “imprecision” happens because I find SmPL expression possibilities unclear
> once more here.
>
>
> > I have no idea what you want to do.
>
> I guess that we have got a common understanding that something should be
> performed for function calls.
> The input data type is known for a single parameter in a generic way
> (for this SmPL example).
> Now it is interesting if one of its properties like the changeability
> (usage of “const”) will be acceptable for selected function calls.
> Do you get more ideas for the desired software clarification?

I still have no idea what you want to do.  Please provide an example.  If
you don't know concretely what you want to do, please figure it out and
then ask afterwards.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to