Hi all,

I am trying to configure the Splint first time for Linux and Embedded 
environment.
But getting several errors like:undefined variable, function doesn't return 
value , variable defined but not used. But on checking manually this is not the 
case.

I have bypassed the ~/.splintrc by making my own configuration file in which I 
've set the flags and files to include using - I option. But it is not 
recognizing the variables defined inside the header file and giving error in 
each line.

On adding the +accessfile flag the case is same. 

The version I am using is 3.0.1.7.

Can any one know how to configure it for Linux Env.



_______________________________________________
splint-discuss mailing list
[email protected]
http://www.splint.org/mailman/listinfo/splint-discuss

Reply via email to