[splint-discuss] Function pointers

Matuschka, Sebastian Sebastian.Matuschka at gcd-solutions.de
Fri Aug 31 00:35:24 PDT 2007


what could be interesting is the line 44 where the warnings occur:

44 void testfct(float (*pfd2Func)(float a, float b))
45 {
46 ...

 Sebastian

> -----Ursprüngliche Nachricht-----
> Von: splint-discuss-bounces at cs.virginia.edu 
> [mailto:splint-discuss-bounces at cs.virginia.edu] Im Auftrag 
> von Matuschka, Sebastian
> Gesendet: Freitag, 31. August 2007 08:18
> An: splint-discuss at mail.cs.virginia.edu
> Betreff: [splint-discuss] Function pointers
> 
> Hello,
> 
> next problem:
> 
> When i try to identify function pointers and do a name check 
> (which i have advanced), there occure two warnings which have 
> the same text, except that one warning says that the function 
> pointer which is overgiven as parameter is a parameter which 
> should be correct and the other warning says it is a Variable:
> 
> C:\Softune\sample\907\splint_test\Src\splinttest.c: (in function
> testfct)
> *** C:\Softune\sample\907\splint_test\Src\splinttest.c(44) 22:
>     The name of the Parameter pfd2Func violates naming 
> convention. The prefix pfd is not correct for type [function
>     (float, float) returns float] *. The correct prefix is: pf
>   Variable name is not consistent with naming convention. 
> (Use either -slovakvars or -namechecks to inhibit warning)
> 
> *** C:\Softune\sample\907\splint_test\Src\splinttest.c(44) 22:
>     The name of the Variable pfd2Func violates naming 
> convention. The prefix pfd is not correct for type [function
>     (float, float) returns float] *. The correct prefix is: pf
>   Variable name is not consistent with naming convention. 
> (Use either -slovakvars or -namechecks to inhibit warning)
> 
> splint creates two different uentries for the same function pointer.
> any ideas why or how i can fix this? is it a problem in cgrammar.y?
> 
> Best Regards
> 
> Sebastian
> 
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
> 



More information about the splint-discuss mailing list