[splint-discuss] How to check Uninitialized variable

[David N. Jansen]

Op 12-mei-2009, om 13:22 heeft Vijayendra Suman het volgende geschreven:

>   1 #include <stdio.h>
>   2 void Call(int *a)
>   3 {
>   4         int StatusUpdate;
>   5         int MyOne()
>   6         {
>   7                 printf("One \n");
>   8                 return 1;
>   9         }
etc.

This is a nested function, which is a gcc extension (see e.g. http:// 
gcc.gnu.org/onlinedocs/gcc-4.0.1/gcc/C-Extensions.html, the fourth  
item in the list of extensions). Splint does not understand this  
extension and produces a parse error.

David Jansen.