On 10 Nov 2010, pcgu...@live.com wrote:
> I ran splint on my program and received the following results:
[snip]
> The line of code is:
> printf("%llu bytes\t",my_thread.finalsize);
>
> The variables are:
> struct child_thread_data{
> unsigned long long finalsize;
Can you re-run your code with the latest CVS version? This now passes,
[./splint +nof test.c]
#include <stdio.h>
static struct child_thread_data{
unsigned long long finalsize;
} my_thread;
int foo(void)
{
printf("%llu bytes\t",my_thread.finalsize);
return 0;
}
Splint was handling 'long long', but not the unsigned variant.
Thanks,
Bill Pringlemeir.
--
Married men live longer than single men, but married men
are much more willing to die - Dilworth
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
