I’m checking my code but it says:
Checking Neuman.c …
[splint] splint................................................................Failed
hookid: splint
Neuman.c: (in function main)
Neuman.c:12:14: Possibly null storage fp passed as non-null param:
fscanf (fp, ...)
A possibly null pointer is passed as a parameter corresponding to a formal
parameter with no /*@null@*/ annotation. If NULL may be used for this
parameter, add a /*@null@*/ annotation to the function parameter declaration.
(Use -nullpass to inhibit warning)
Neuman.c:11:6: Storage fp may become null
Splint 3.1.2 --- 01 Dec 2016
Neuman.c:13:9: Parse Error. (For help on parse errors, see splint -help
parseerrors.)
*** Cannot continue.
[rubocop] rubocop..........................................(no files to check)Skipped
[slim-lint] slim-lint......................................(no files to check)Skipped
Precommit failed
See (future:webpage docs|now:https://pre-commit.com/)
mimetypes and charsets check OK, continue checks...
can you explain me the problem, what means splint error