Path: utzoo!utgpu!water!watmath!clyde!rutgers!ll-xn!adelie!munsell!pac
From: pac@munsell.UUCP (Paul Czarnecki)
Newsgroups: comp.lang.c
Subject: Re: explicit runtime condition code checking, particularly overflow
Keywords: runtime condition condition_code checking overflow
Message-ID: <1437@pinney.munsell.UUCP>
Date: 16 Dec 87 23:06:22 GMT
References: <574@vax1.UUCP>
Reply-To: pac@pinney.UUCP (Paul Czarnecki)
Organization: Eikonix Corp., Bedford, MA
Lines: 27

In article <574@vax1.UUCP> en2j@vax1.ccs.cornell.edu writes:
>
>I'd love to know if there's ANY way of doing runtime condition code checking
>in C.  In particular, I'd like to know if there's any way to write a line of
>C code which essentially translates into a Branch On Overflow, or Bcc LABEL, 
>where B means branch, cc is a condition code, and label is the name of a 
>procedure.

The more general case of runtime and type checking is handled by line
of "Safe C" products by Catalytix (617-497-2160).  Your particular
"Bcc Label" example is not even close to what they do.  Contact them
for further information.  It may be good enough for you.

DISCLAIMER:  I used to have some business and personal ties with
Catalytix.  Both have lapsed.

>Please send a copy of your response directly.
>en2j@crnlvax1.bitnet

Sorry, bitnet?  what's that? :-)

					pZ


-- 
		       Paul Czarnecki -- Spam, spam, spam, Usenet, and spam
	{{harvard,ll-xn}!adelie,{decvax,allegra,talcott}!encore}!munsell!pz