lclint-interest message 25

Date: Mon, 14 Nov 94 16:59:48 -0500
From: evs (David Evans)
To: 72634.2402@compuserve.com
Cc: lclint-interest@larch.lcs.mit.edu
In-Reply-To: "JR (John Rogers)"'s message of 14 Nov 94 16:38:00 EST <941114213759_72634.2402_DHL116-1@CompuServe.COM>
Subject: /*NOTREACHED*/ vs. /*@ -unreachable */ ?


Ah, I see.  Then there is no way to do this in LCLint.  

LCLint does understand exit, but there is no way to indicate that a
function might not return (or never returns).  This would probably be
a useful addition to the specification language, however.  

Thanks for clearing that up,

--- Dave
Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu