lclint-interest message 196

From evs Thu Feb 26 13:14:28 1998
Date: Thu, 26 Feb 98 12:52:42 -0500
From: evs (David Evans)
To: lclint-interest
In-Reply-To: Hermann Kleier's message of Tue, 24 Feb 1998 15:01:03 +0100 (CET) 
Subject: signal function interface

> In contradiction to LcLint, Flexelint 7.5 did not report that `fa' in line 13
> has not been initialized. I feel that `fa' is an undefined variable there and
> NOT an external function.  Is this a bug in FlexeLint?

I didn't mean to suggest that it is okay for LCLint to typecheck
standard C programs differently than C does.  But, I do need to
understand what the rules are before I can implement this correctly.

As far as I can find, the standard doesn't have any explanation of
implicit function pointers, it just seems to be something
implementations have adopted because of traditions.  I must be missing
something, but nothing I can find in the standard indicates that func1
and func1 * should be the same type.  In fact, it seems to directly
contradict what I read in Sec "For two pointer types to be
compatible, both shall be identically qualified and both shall be
pointers to compatible types."  

--- Dave

Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science