[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