[m-rev.] for review: fix mantis bug 572

[Zoltan Somogyi]

On 2024-02-20 11:08 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
>>          else
>>              set_of_var.union(DeadnessCond, DeadnessElse, Deadness),
>>              set_of_var.intersect(Deadness, CompletedNonLocals,
>>                  CompletedNonLocalDeadness),
>> -            InstmapReachable = no,
>> +            % If the end of the if-then-else as a whole is not reachable,
>> +            % then neither branch's end is reachable.
>> +            BranchEndReachable = this_branch_end_is_not_reachable,
>> +            % ZZZ
> 
> What's the ZZZ for?

I sometimes add these when editing two parts of a files as search targets
to allow me to go from one to the other and vice versa. It seems I forgot
to delete one, but it is deleted now.

I have followed your other suggestions. Thanks for the review.

Zoltan.