Of course I couldn't find anything on this in my initial search yesterday, but today after posting the question, lots of hits for answers in a subsequent search.
Go figure. http://stackoverflow.com/questions/669023/how-can-i-make-splint-ignore-where-i-declare-my-variables Will try the patch. Bye for now, Chris _______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
