Re: if-then-no-else Programming

["G.B." <bauhaus@futureapps.invalid>]

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;