From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: if-then-no-else Programming
Date: Wed, 20 Apr 2016 14:32:15 +0200
Organization: A noiseless patient Spider
Message-ID: <nf7sm4$dso$1@dont-email.me>
References: <1mlx1gf.ebrae11jak5tyN%csampson@inetworld.net>
 <nf6279$5r1$1@loke.gir.dk> <1mlzbr3.1ivik7416ts9sjN%csampson@inetworld.net>
 <rkpehbhpshpv4c5huklh1hmuh77at8nltk@4ax.com>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 20 Apr 2016 12:28:52 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="14232"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/rcG7dKyctntlmveGP9o1GCrnnF/5MFjo="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0)
 Gecko/20100101 Thunderbird/38.7.2
In-Reply-To: <rkpehbhpshpv4c5huklh1hmuh77at8nltk@4ax.com>
Cancel-Lock: sha1:/wuAGRuDDYO7A9xqQRGeOM6pIJI=
Xref: news.eternal-september.org comp.lang.ada:30208
Date: 2016-04-20T14:32:15+02:00
List-Id: <comp.lang.ada>

On 20.04.16 13:26, Dennis Lee Bieber wrote:

> 	Of course, it then contends with the other aspect of removing dead code
> (unless it can be demonstrated that the compiler always optimizes away the
> Null branch). <G>

Removing null branches might need justification in the
first place because both programmers and compilers might
be aware of the benefits that controlling processors'
activities in instruction pipelines might entail.
Disassembling today's programs reveals a fair amount of
instructions.

Perhaps, then, Ada should have an aspect for this,

    else
        null with Volatile;
    end if;