Path: csiph.com!news.swapon.de!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.forth
Subject: Re: LLVM and Forth
Date: Mon, 10 Apr 2017 10:17:41 -0700
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <87tw5w6v2i.fsf@nightsong.com>
References: <21153661-abf5-4958-82c7-e3c442b45cb9@googlegroups.com> <obogce$er6$1@dont-email.me> <ac4976d7-955a-45e3-9cdd-e339e15acbc2@googlegroups.com> <ZqGdnRes4qCBI33FnZ2dnUU7-VednZ2d@supernews.com> <065e774c-c5fb-4e68-9489-00b5357142d6@googlegroups.com> <qOKdneQNfs-vmH_FnZ2dnUU7-UednZ2d@supernews.com> <2017Apr3.145550@mips.complang.tuwien.ac.at> <NNSdnXwvutwb-H_FnZ2dnUU7-XXNnZ2d@supernews.com> <2017Apr3.190545@mips.complang.tuwien.ac.at> <a-SdnVgDEexEVH7FnZ2dnUU7-RHNnZ2d@supernews.com> <2017Apr5.170145@mips.complang.tuwien.ac.at> <s4wFA.637264$3a3.286206@fx43.am4> <-4-dnQAyotwkJXbFnZ2dnUU7-cPNnZ2d@supernews.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org; posting-host="a3cff8cb11164143d7656bbe7803b502"; logging-data="18064"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19SMLMXINODUZG/FmBee4kf"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:6AnosMt90wClAtrBxIfmerKhAsY= sha1:JGcOOsdie9uPyeOpoUbw38O8lxo=
Xref: csiph.com comp.lang.forth:57007

Andrew Haley <andrew29@littlepinkcloud.invalid> writes:
> The SUB would be stuff like buffer overflows ...  At the edges it'd be
> tricky to try to figure out which kind of UB applies.

I think there have various failed attempts to do this, like "Friendly
C".  At the end, C is in something of an "uncanny valley" that gets both
low-level and higher-level programmers confused.  We'd be better of
separating the two sets of requirements and not trying to address them
with a one-size-fits-all solution.