[m-rev.] for review: avoid test failures in hlc grades with GCC 12

[Julien Fischer]

On Sat, 2 Jul 2022, Zoltan Somogyi wrote:

>
> 2022-07-01 23:04 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>> Five of the six tests mentioned below trigger the Mercury compiler's own
>> infinite recursion warning. The one test that does not do that but does
>> get a warning from GCC is tests/valid/higher_order5.m.
>
> This one of the six tests, but I do not see the names of the other five.
> Until I know what they are and can look at their code, I can't tell whether
> a global disabling of this flag is better than either (a) disabling -Winfinite-recursion
> just for these test cases, or even (b) rewriting the test cases to avoid triggering
> this flag. I think (b) is definitely the way to go for higher_order5.m.

The failing tests were the following (all from tests/valid):

     higher_order5
     loop_in_disj
     mode_syntax
     recursive_no_tag_type
     same_length_2
     stack_alloc

Julien.