[splint-discuss] Dependency on run time function

[Vishal Bayskar]

Dear All,

In my program a variable is initializing by read command

As

len = read (sockfd, &hdr, sizeof (HEADER));

Here hdr is a structure 
sockfd is a socket descriptor

And after this line of code I am using a member of hdr 

As
hdr.member == 2

And Splint is showing warning

Field hdr.member used before definition
  An rvalue is used that may not be initialized to a value on some execution
  path. (Use -usedef to inhibit warning)


I think as hdr initializing at runtime that's why splint is not recognizing that hdr is initialized and giving the warning



Same in case of gettimeofday()
 
In program is has been used like

int var = gettimeofday(&time, &timez);

here gettimeofday() function initializing the time variable.
time variable is of type timeval structure

and after this line of code time variable is used as

time_after = time.tv_sec;

in this case also splint is behaving same as in case of read()

splint showing the following warning

Variable time used before definition
  An rvalue is used that may not be initialized to a value on some execution
  path. (Use -usedef to inhibit warning)


How does it behave for functions that really depend upon runtime?

Does it initialize the variables or not?

Does this function replace with macro/something?


Thanks and Regards
 
Vishal Bayskar
 
Ext. no. 927


-----Original Message-----
From: Ludolf Holzheid [mailto:lholzheid at bihl-wiedemann.de] 
Sent: Saturday, March 29, 2008 12:45 AM
To: splint-discuss at mail.cs.virginia.edu
Cc: Vishal Bayskar
Subject: Re: [splint-discuss] Dependency on run time function

On Fri, 2008-03-28 12:48:44 +0530, Vishal Bayskar wrote:
> Dear All,
> 
>             How does splint react for function that depend upon runtime 
> 
>             Like read(), gettimeofday(), calloc().

Vishal,

Proper functions depend on run time, of course. You wouldn't want to
invoke a program always producing the same results. ;-)

Joking aside, what do you think is special with these functions (and
what do you expect splint to do with them)?

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------