[splint-discuss] How to check Uninitialized variable

[Vijayendra Suman]

Hi David,

Can we give an extension to the splint for such functions, I wanted to run
the glibc with splint and there are lot of functions which has such
definitions.
This was not my problem definition for now.

I wanted if i can know if any pointers is being accessed without being
initialized like

if (*a == 1), Lead to a unknown results.

Regards
Vijayendra Suman

On Tue, May 12, 2009 at 5:32 PM, David N. Jansen <D.Jansen at cs.ru.nl> wrote:

> 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.
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>



-- 
https://mail.google.com/mail/?ui=2&view=bsp&ver=1qygpcgurkovy
Regards
Vijayendra Suman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090512/1b5be1c2/attachment.html