[m-rev.] for review 1/4: Disable GCC Labels on RISC-V

[Julien Fischer]

Hi Paul,

On Fri, 17 Mar 2023, Paul Bone wrote:

> The configure test runs an infinite loop on RISC-V, disable it.

Aarch64 had the same issue, the solution there was to disable the GCC
option -ftree-dominator-opts.

> configure.ac:
>    As above.
> ---
> configure.ac | 7 +++++++
> 1 file changed, 7 insertions(+)
>
> diff --git a/configure.ac b/configure.ac
> index 6fc12e0cc..9b1285862 100644
> --- a/configure.ac
> +++ b/configure.ac
> @@ -2437,6 +2437,13 @@ case "$ac_cv_c_compiler_gnu" in yes)
>                     ;;
>             esac
>             ;;
> +        riscv*)
> +            # Attempting to detect gcc label support on RISC-V hits an
> +            # infinite loop.
> +            MERCURY_MSG("gcc labels do not work on RISC-V")
> +            mercury_cv_asm_labels=no
> +            mercury_cv_gcc_labels=no
> +            ;;
>     esac
>     ;;
> esac

That's fine, although I suggest you try the above first in case
it solves the problem here as well.

Julien.