Hi David,<br><br>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.<br>This was not my problem definition for now.<br>
<br>I wanted if i can know if any pointers is being accessed without being initialized like <br><br>if (*a == 1), Lead to a unknown results.<br><br>Regards<br>Vijayendra Suman <br><br><div class="gmail_quote">On Tue, May 12, 2009 at 5:32 PM, David N. Jansen <span dir="ltr"><<a href="mailto:D.Jansen@cs.ru.nl">D.Jansen@cs.ru.nl</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Op 12-mei-2009, om 13:22 heeft Vijayendra Suman het volgende geschreven:<br>
<div class="im"><br>
> 1 #include <stdio.h><br>
> 2 void Call(int *a)<br>
> 3 {<br>
> 4 int StatusUpdate;<br>
> 5 int MyOne()<br>
> 6 {<br>
> 7 printf("One \n");<br>
> 8 return 1;<br>
> 9 }<br>
</div>etc.<br>
<br>
This is a nested function, which is a gcc extension (see e.g. http://<br>
<a href="http://gcc.gnu.org/onlinedocs/gcc-4.0.1/gcc/C-Extensions.html" target="_blank">gcc.gnu.org/onlinedocs/gcc-4.0.1/gcc/C-Extensions.html</a>, the fourth<br>
item in the list of extensions). Splint does not understand this<br>
extension and produces a parse error.<br>
<font color="#888888"><br>
David Jansen.<br>
</font><div><div></div><div class="h5">_______________________________________________<br>
splint-discuss mailing list<br>
<a href="mailto:splint-discuss@mail.cs.virginia.edu">splint-discuss@mail.cs.virginia.edu</a><br>
<a href="http://www.cs.virginia.edu/mailman/listinfo/splint-discuss" target="_blank">http://www.cs.virginia.edu/mailman/listinfo/splint-discuss</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><a href="https://mail.google.com/mail/?ui=2&view=bsp&ver=1qygpcgurkovy">https://mail.google.com/mail/?ui=2&view=bsp&ver=1qygpcgurkovy</a><br>Regards <br>
Vijayendra Suman<br>