lclint-interest message 25
Date: Mon, 14 Nov 94 16:59:48 -0500
From: evs (David Evans)
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,
University of Virginia, Computer Science