Re: Tests in a software release

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 11/15/2017 01:06 AM, Randy Brukardt wrote:
> 
> I'd consider making an argument for a pragma to *require* an ELSE part for
> all IF statements.

I don't completely agree; I don't think there's a need for an else part for

if C then
    return;
end if;

The idea that the programmer should show that the else processing has been 
considered and deliberately ommitted is good for most if statemwents, though. I 
follow the rule that an if with an elsif part must have an else part. When 
there's multiple branches it's important to show that you've considered them all.

-- 
Jeff Carter
"Who wears beige to a bank robbery?"
Take the Money and Run
144