If you are capturing the output from output functions just to prevent messages from splint, don't waste your time! use:If you think I caught OCD, you're. right. I'd hate to hear Splint complain about anything. That's why I assign function values to integer variables when most programmers wouldn't do that.
You should be checking the return value from scanf() to see if the entry was correct:Code:splint -retvalint ./source_file.c
Also, you should be initializing all your local variables, which explains the erroneous value in my test with "A12".Code:How many Fibonacci numbers should I generate? a12 65636608 is not betweem 1 and 30.
