lclint-interest message 182

From Tue Jan  6 21:11:19 1998
Sender: davidv@stimpy
To: (David Evans)
Subject: Re: annotation help
References: <>
X-Face: #1jPhTl4Z])\d):;KBYaC_+6'h"JFu>eQ:"AE2D`h7(7[dwPE`lK+*K.m)s0m
Date: 07 Jan 1998 12:03:28 +1100
In-Reply-To:'s message of Tue, 6 Jan 98 18:57:29 -0500
Lines: 22
X-Mailer: Gnus v5.3/Emacs 19.34 (David Evans) writes:

> When you redeclare something, lclint will use the later definition
> (after warning you about the redeclartion and inconsistencies).  So,
> after you added the declaration with the /*@null@*/ annotation, you
> shouldn't get messages where XtAddCallback is called with a possibly
> null XtPointer argument.  

David, thank you for this clarification.  From my study of the LCLint
User's Guide, I thought that lclint would always use the first
definition.  I can see now that I was misreading section 4.3.
However, I can't find where the Guide documents the
use-of-later-definition behaviour you mention.


David A Vincent       JUNK E-MAIL NOT WELCOME
Working (not speaking) for      Hydrographic Sciences Australia Pty Ltd
HSA phone extension number 27    within HSA, web site 
GCS C++++$ US++$ P+$ E++$ W++ N+++ w--- M++ Y+ PGP+ t-- G e++ h--- b+++

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