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)
Cc: HermannK@compuserve.com, firstname.lastname@example.org
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 126.96.36.199: "For two pointer types to be
compatible, both shall be identically qualified and both shall be
pointers to compatible types."
University of Virginia, Computer Science