No, there is no way to disallow explicit casts involving pointers to
functions with splint.  If you wanted to add this, it would be pretty easy
though.  Look in exprNode.c around lines 5030, and add a case to warn for
function pointers.

--- Dave

On Tue, 17 Sep 2002, Arijit_c wrote:

> Hi,
>  I have a verification requirement ...
> "No pointer to function is cast (even explicitly) to anything(even 
>pointer-to-function)." With splint I am able to find the casting if it is implicit. I 
>wish to know whether it is possible to check the same when explicitly defined.
> ari

Reply via email to