Path: csiph.com!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.python
Subject: Re: Undefined behaviour in C [was Re: The Cost of Dynamism]
Date: Fri, 25 Mar 2016 19:59:23 -0700
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <87io0a6j1w.fsf@nightsong.com>
References: <mailman.8.1457732171.12893.python-list@python.org> <nc7kjr$jj8$1@dont-email.me> <ncnhp9$tt7$1@dont-email.me> <ncnip4$1pb$1@ger.gmane.org> <mailman.422.1458524141.12893.python-list@python.org> <ncnkma$d1i$1@dont-email.me> <mailman.425.1458526280.12893.python-list@python.org> <56ef9787$0$1516$c3e8da3$5496439d@news.astraweb.com> <mailman.433.1458546438.12893.python-list@python.org> <56f02196$0$1588$c3e8da3$5496439d@news.astraweb.com> <mailman.29.1458713374.2244.python-list@python.org> <nctrak$rbh$1@dont-email.me> <mailman.45.1458730161.2244.python-list@python.org> <ncu691$4aq$1@dont-email.me> <mailman.78.1458789868.2244.python-list@python.org> <nd0oaa$rsb$1@dont-email.me> <56f42d9f$0$1618$c3e8da3$5496439d@news.astraweb.com> <nd1ggm$v4q$1@dont-email.me> <56f55e2e$0$1619$c3e8da3$5496439d@news.astraweb.com> <87wpoq1omm.fsf@elektro.pacujo.net> <56f5f81d$0$1585$c3e8da3$5496439d@news.astraweb.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org; posting-host="ac130717aa033f117b1251f50cb4c61b"; logging-data="19424"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+DEn7u8P0XGjWryLQ2p0IY"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:fCjujIChhNr/ph4TyXR51r6MjcI= sha1:lokYqwA533FqlIPT1ZfrhU4ZUK0=
Xref: csiph.com comp.lang.python:105722

Steven D'Aprano <steve@pearwood.info> writes:
> Culturally, C compiler writers have a preference for using undefined
> behaviour to allow optimizations, even if it means changing the semantics
> of your code. 

If your code has UB then by definition it has no semantics to change.
Code with UB has no meaning.