----------------------------------------
> From: spl...@sympatico.ca
> To: splint-disc...@cs.virginia.edu
> Date: Sun, 14 Nov 2010 17:02:46 -0500
> CC: splint-discuss@mail.cs.virginia.edu
> Subject: Re: [splint-discuss] splint doesn't like unsigned long long?
>
> 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,
I downloaded the CVS version and the unsigned long long warnings went away.
Thank you for the tip.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
