Everyone, do I need to correct the program because splint printed these messages?
plicitly temp storage numbers returned as implicitly only:
numbers
Temp storage (associated with a formal parameter) is transferred to a
non-temporary reference. The storage may be released or new aliases created.
(Use -temptrans to inhibit warning)
fibo.c: (in function main)
fibo.c:48:38: Passed storage numbers not completely defined (*numbers is
undefined): fibonacci_numbers (numbers, ...)
Storage derivable from a parameter, return value or global is not defined.
Use /*@out@*/ to denote passed or returned storage which need not be defined.
(Use -compdef to inhibit warning)
fibo.c:48:20: New fresh storage (type unsigned int *) passed as implicitly temp
(not released): fibonacci_numbers(numbers, count)
A memory leak has been detected. Storage allocated locally is not released
before the last reference to it is lost. (Use -mustfreefresh to inhibit
warning)
Finished checking --- 3 code warningsibo.c:32:9: Implicitly temp storage numbers returned as implicitly only:
numbers
Temp storage (associated with a formal parameter) is transferred to a
non-temporary reference. The storage may be released or new aliases created.
(Use -temptrans to inhibit warning)
fibo.c: (in function main)
fibo.c:48:38: Passed storage numbers not completely defined (*numbers is
undefined): fibonacci_numbers (numbers, ...)
Storage derivable from a parameter, return value or global is not defined.
Use /*@out@*/ to denote passed or returned storage which need not be defined.
(Use -compdef to inhibit warning)
fibo.c:48:20: New fresh storage (type unsigned int *) passed as implicitly temp
(not released): fibonacci_numbers(numbers, count)
A memory leak has been detected. Storage allocated locally is not released
before the last reference to it is lost. (Use -mustfreefresh to inhibit
warning)
Finished checking --- 3 code warnings
