This is [should be] fixed in the latest CVS source. Splint has no release for this yet. Thanks for reporting it.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
This is [should be] fixed in the latest CVS source. Splint has no release for this yet. Thanks for reporting it.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]