Problem with test file named 'divzero.c' There is no warning splint with this file. Is it possible to check division by zero with this tool?
Thx for any help
Please try the mailing list. http://www.splint.org/lists.html I don't believe it does.
Log in to post a comment.
Please try the mailing list. http://www.splint.org/lists.html
I don't believe it does.