Xref: utzoo comp.lang.c:11644 comp.arch:5862
Newsgroups: comp.lang.c,comp.arch
Path: utzoo!henry
From: henry@utzoo.uucp (Henry Spencer)
Subject: Re: Self-modifying code
Message-ID: <1988Aug3.175647.11953@utzoo.uucp>
Organization: U of Toronto Zoology
References: <1988Jul29.202400.28068@utzoo.uucp> <6490@megaron.arizona.edu>
Date: Wed, 3 Aug 88 17:56:47 GMT

In article <6490@megaron.arizona.edu> mike@arizona.edu (Mike Coffin) writes:
>4. Code is simple enough for a human programmer to figure out easily
>given "deep" knowledge about what the program is doing, in which case
>a compiler has big troubles figuring out almost anything...

Well, remember, I'm not talking about proof of correctness; all I want
is absence of runtime errors.  Even so, I concede that this sort of thing
is likely to happen now and then.  Having to turn the checking off once
in a while (and, preferably, having to justify this in writing) still
strikes me as better than not having it at all.
-- 
MSDOS is not dead, it just     |     Henry Spencer at U of Toronto Zoology
smells that way.               | uunet!mnetor!utzoo!henry henry@zoo.toronto.edu