On Mon, Oct 13, 2025 at 11:05 PM Jose E. Marchesi
<[email protected]> wrote:
>
>
> >> On Sun, Oct 12, 2025 at 12:41 PM Jose E. Marchesi
> >> <[email protected]> wrote:
> >>>
> >>> This commit adds a new common command-line option to the compiler
> >>> driver (-static-libga68) as well as several other front-end specific
> >>> options.
> >>>
> >>> Signed-off-by: Jose E. Marchesi <[email protected]>
> >>
> >> LGTM, some bikeshedding below.
> >>
> >>> gcc/ChangeLog
> >>>
> >>> * algol68/lang.opt: New file.
> >>> * algol68/lang.opt.urls: Generate.
> >>> * common.opt: New option -static-libga68.
> >>> * common.opt.urls: Generate.
> >>> * gcc.cc: Handle OPT_static_libga68.
> >>> * regenerate-opt-urls.py (PER_LANGUAGE_OPTION_INDEXES): Add
> >>> Algol68.
> >>> ---
> >>> gcc/algol68/lang.opt | 122 +++++++++++++++++++++++++++++++++++++
> >>> gcc/algol68/lang.opt.urls | 41 +++++++++++++
> >>> gcc/common.opt | 3 +
> >>> gcc/common.opt.urls | 3 +
> >>> gcc/gcc.cc | 2 +
> >>> gcc/regenerate-opt-urls.py | 3 +-
> >>> 6 files changed, 173 insertions(+), 1 deletion(-)
> >>> create mode 100644 gcc/algol68/lang.opt
> >>> create mode 100644 gcc/algol68/lang.opt.urls
> >>>
> >>> diff --git a/gcc/algol68/lang.opt b/gcc/algol68/lang.opt
> >>> new file mode 100644
> >>> index 00000000000..bbc0a06a530
> >>> --- /dev/null
> >>> +++ b/gcc/algol68/lang.opt
> >>> @@ -0,0 +1,122 @@
> >>> +; Options for the Algol 68 front end.
> >>> +; Copyright (C) 2025 Free Software Foundation, Inc.
> >>> +;
> >>> +; GCC is free software; you can redistribute it and/or modify it under
> >>> +; the terms of the GNU General Public License as published by the Free
> >>> +; Software Foundation; either version 3, or (at your option) any later
> >>> +; version.
> >>> +;
> >>> +; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
> >>> +; WARRANTY; without even the implied warranty of MERCHANTABILITY or
> >>> +; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
> >>> +; for more details.
> >>> +;
> >>> +; You should have received a copy of the GNU General Public License
> >>> +; along with GCC; see the file COPYING3. If not see
> >>> +; <http://www.gnu.org/licenses/>.
> >>> +
> >>> +; See the GCC internals manual for a description of this file's format.
> >>> +
> >>> +; Please try to keep this file in ASCII collating order.
> >>> +
> >>> +; Describes command-line options used by this frontend
> >>> +
> >>> +Language
> >>> +Algol68
> >>> +
> >>> +I
> >>> +Algol68 Joined Separate
> >>> +; Documented in c-family/c.opt
> >>> +
> >>> +Wextensions
> >>> +Algol68 Warning Var(warn_algol68_extensions) LangEnabledBy(Algol68,
> >>> Wextra)
> >>> +Warn for usage of non-portable extensions of Algol 68.
> >>> +
> >>> +Wvoiding
> >>> +Algol68 Warning Var(warn_algol68_voiding) LangEnabledBy(Algol68, Wextra)
> >>> +Warn when voiding occurs.
> >>> +
> >>> +Wextra
> >>> +Algol68 Warning
> >>> +; Documented in common.opt
> >>> +
> >>> +Wscope
> >>> +Algol68 Warning Var(warn_algol68_scope)
> >>> +Warn for potential name scope violations.
> >>> +
> >>> +Whidden-declarations
> >>> +Algol68 Warning Var(warn_algol68_hidden_declarations)
> >>> +Warn for hidden declarations in inner scopes.
> >>> +
> >>> +fa68-safe
> >>> +Algol68 Var(flag_a68_safe)
> >>> +-fa68-safe Compile code only known to be memory safe.
> >>> +
> >>> +fa68-safe-bounds
> >>> +Algol68 Var(flag_a68_safe_bounds)
> >>> +-fa68-safe-bounds Error out if not all bounds are known to be legal.
> >>> +
> >>
> >> Since users know they are working with algol68, is prefixing
> >> with 'a68-' really necessary? I don't think there's precedence for this
> >> in other frontends.
> >
> > It isn't necessary, and in fact it is much better without the prefix.
> >
> > Will change the backend to _consistently_ use options with no prefix of
> > any kind.
>
> There is a difficulty.
>
> Removing the a68- prefix from the front-end specific options causes two
> collisions with options also defined by the D front-end:
>
> -fassert
> -fdebug
>
> Facing this, the current infrastructure causes cpp errors in the
> generated options.cc due to differences in the help strings:
>
> #error Multiple different help strings for fassert:
> #error Generate code for ASSERT constructs.
> #error Generate code for assert contracts.
> #error Multiple different help strings for fdebug:
> #error -fdebug Enable debugging traces of the Algol 68 front
> end.
> #error Compile in debug code.
>
> As Ian has mentioned, the Rust and Go front-ends consistently use
> -frust- and -fgo- prefixes respectively.
>
> So at this point I would be inclined to continue using the -fa68-
> prefixes, the alternative being to move these options to common.opt and
> come with generic enough help strings.
>
> WDYT?
Works for me, that said, I'm not too worried about consistency with debugging
options. Other than that, consistency wins.
Richard.
> > Thanks!
> >
> >>> +fa68-brackets
> >>> +Algol68 Var(flag_a68_brackets)
> >>> +-fa68-brackets Consider [ .. ] and { .. } as being equivalent to
> >>> ( .. ).
> >>> +
> >>> +fa68-debug
> >>> +Algol68 Var(flag_a68_debug)
> >>> +-fa68-debug Enable debugging traces of the Algol 68 front end.
> >>> +
> >>> +fa68-portcheck
> >>> +Algol68 Var(flag_a68_portcheck)
> >>> +-fa68-portcheck Emit portability warnings.
> >>> +
> >>> +fa68-assert
> >>> +Algol68 Var(flag_a68_assert)
> >>> +Generate code for ASSERT constructs.
> >>> +
> >>> +fa68-nil-checking
> >>> +Algol68 Var(flag_a68_nil_checking)
> >>> +Generate code to perform NIL checking while dereferencing.
> >>> +
> >>> +fa68-bounds-checking
> >>> +Algol68 Var(flag_a68_bounds_checking)
> >>> +Generate code to perform run-time bounds checking on array accesses.
> >>> +
> >>> +fdump-algol68-modes
> >>
> >> ... and here we're using 'algol68' instead of 'a68'.
> >>
> >>> +Algol68 Var(flag_dump_algol68_modes)
> >>> +Dump Algol 68 modes after parsing.
> >>> +
> >>> +fdump-algol68-tree
> >>> +Algol68 Var(flag_dump_algol68_tree)
> >>> +Dump Algol 68 parse tree after parsing.
> >>> +
> >>> +static-libga68
> >>> +Driver
> >>> +Link the GNU Algol run-time library statically in the compilation.
> >>> +
> >>> +shared-libga68
> >>> +Driver
> >>> +Link the GNU Algol 68 run-time library dynamically in the compilation.
> >>> +
> >>> +std=algol68
> >>> +Algol68
> >>> +Conform to the Algol 68 Revised Report
> >>> +
> >>> +std=gnu68
> >>> +Algol68
> >>> +Accept GNU extensions to Algol 68
> >>> +
> >>> +; Stropping regimes.
> >>> +
> >>> +fstropping=
> >>> +Algol68 Joined RejectNegative Enum(stropping_regime)
> >>> Var(flag_stropping_regime)
> >>> +-fstropping=[upper|supper] Stropping regime to expect in
> >>> Algol 68 programs.
> >>
> >> and this is without a 'a68-' prefix.
> >>
> >> Richard.
> >>
> >>> +
> >>> +Enum
> >>> +Name(stropping_regime) Type(int) UnknownError(unknown stropping_regime
> >>> setting %qs)
> >>> +
> >>> +EnumValue
> >>> +Enum(stropping_regime) String(upper) Value(0)
> >>> +
> >>> +EnumValue
> >>> +Enum(stropping_regime) String(supper) Value(1)
> >>> +
> >>> +; This comment is to ensure we retain the blank line above.
> >>> diff --git a/gcc/algol68/lang.opt.urls b/gcc/algol68/lang.opt.urls
> >>> new file mode 100644
> >>> index 00000000000..3eb2fd0cc61
> >>> --- /dev/null
> >>> +++ b/gcc/algol68/lang.opt.urls
> >>> @@ -0,0 +1,41 @@
> >>> +; Autogenerated by regenerate-opt-urls.py from gcc/algol68/lang.opt and
> >>> generated HTML
> >>> +
> >>> +I
> >>> +UrlSuffix(gcc/Directory-Options.html#index-I)
> >>> LangUrlSuffix_D(gdc/Directory-Options.html#index-I)
> >>> LangUrlSuffix_Algol68(ga68/Directory-options.html#index-I)
> >>> +
> >>> +Wextensions
> >>> +LangUrlSuffix_Algol68(ga68/Warnings-options.html#index-Wextensions)
> >>> +
> >>> +Wvoiding
> >>> +LangUrlSuffix_Algol68(ga68/Warnings-options.html#index-Wno-voiding)
> >>> +
> >>> +Wextra
> >>> +UrlSuffix(gcc/Warning-Options.html#index-Wextra)
> >>> LangUrlSuffix_D(gdc/Warnings.html#index-Wextra)
> >>> LangUrlSuffix_Fortran(gfortran/Error-and-Warning-Options.html#index-Wextra)
> >>> +
> >>> +Wscope
> >>> +LangUrlSuffix_Algol68(ga68/Warnings-options.html#index-Wno-scope)
> >>> +
> >>> +Whidden-declarations
> >>> +LangUrlSuffix_Algol68(ga68/Warnings-options.html#index-Whidden-declarations)
> >>> +
> >>> +fa68-assert
> >>> +LangUrlSuffix_Algol68(ga68/Runtime-options.html#index-fa68-assert)
> >>> +
> >>> +fa68-nil-checking
> >>> +LangUrlSuffix_Algol68(ga68/Runtime-options.html#index-fa68-nil-checking)
> >>> +
> >>> +fa68-bounds-checking
> >>> +LangUrlSuffix_Algol68(ga68/Runtime-options.html#index-fa68-bounds-checking)
> >>> +
> >>> +fdump-algol68-modes
> >>> +LangUrlSuffix_Algol68(ga68/Developer-options.html#index-fdump-algol68-modes)
> >>> +
> >>> +fdump-algol68-tree
> >>> +LangUrlSuffix_Algol68(ga68/Developer-options.html#index-fdump-algol68-tree)
> >>> +
> >>> +static-libga68
> >>> +LangUrlSuffix_Algol68(ga68/Linking-options.html#index-static-libga68)
> >>> +
> >>> +shared-libga68
> >>> +LangUrlSuffix_Algol68(ga68/Linking-options.html#index-shared-libga68)
> >>> +
> >>> diff --git a/gcc/common.opt b/gcc/common.opt
> >>> index 6c993a8a6d3..cb69b07cab9 100644
> >>> --- a/gcc/common.opt
> >>> +++ b/gcc/common.opt
> >>> @@ -3964,6 +3964,9 @@ Driver Joined
> >>> static
> >>> Driver
> >>>
> >>> +static-libga68
> >>> +Driver
> >>> +
> >>> static-libgcc
> >>> Driver
> >>>
> >>> diff --git a/gcc/common.opt.urls b/gcc/common.opt.urls
> >>> index ab6b4316df9..4619aac2855 100644
> >>> --- a/gcc/common.opt.urls
> >>> +++ b/gcc/common.opt.urls
> >>> @@ -1931,6 +1931,9 @@ UrlSuffix(gcc/Overall-Options.html#index-specs)
> >>> ; duplicate: 'gcc/Darwin-Options.html#index-static-1'
> >>> ; duplicate: 'gcc/Link-Options.html#index-static'
> >>>
> >>> +static-libga68
> >>> +LangUrlSuffix_Algol68(ga68/Linking-options.html#index-static-libga68)
> >>> +
> >>> static-libgcc
> >>> UrlSuffix(gcc/Link-Options.html#index-static-libgcc)
> >>>
> >>> diff --git a/gcc/gcc.cc b/gcc/gcc.cc
> >>> index eae7f07d962..540958de797 100644
> >>> --- a/gcc/gcc.cc
> >>> +++ b/gcc/gcc.cc
> >>> @@ -4645,11 +4645,13 @@ driver_handle_option (struct gcc_options *opts,
> >>> case OPT_static_libgfortran:
> >>> case OPT_static_libquadmath:
> >>> case OPT_static_libphobos:
> >>> + case OPT_static_libga68:
> >>> case OPT_static_libgm2:
> >>> case OPT_static_libstdc__:
> >>> /* These are always valid; gcc.cc itself understands the first two
> >>> gfortranspec.cc understands -static-libgfortran,
> >>> libgfortran.spec handles -static-libquadmath,
> >>> + a68spec.cc understands -static-libga68,
> >>> d-spec.cc understands -static-libphobos,
> >>> gm2spec.cc understands -static-libgm2,
> >>> and g++spec.cc understands -static-libstdc++. */
> >>> diff --git a/gcc/regenerate-opt-urls.py b/gcc/regenerate-opt-urls.py
> >>> index 2daa1d603f0..bda91905ace 100755
> >>> --- a/gcc/regenerate-opt-urls.py
> >>> +++ b/gcc/regenerate-opt-urls.py
> >>> @@ -361,7 +361,8 @@ def write_url_file(index, optfile, dstfile):
> >>> PER_LANGUAGE_OPTION_INDEXES = [
> >>> ('gcc/Option-Index.html', None),
> >>> ('gdc/Option-Index.html', 'D'),
> >>> - ('gfortran/Option-Index.html', 'Fortran')
> >>> + ('gfortran/Option-Index.html', 'Fortran'),
> >>> + ('ga68/Option-Index.html', 'Algol68'),
> >>> ]
> >>>
> >>> def main(args):
> >>> --
> >>> 2.30.2
> >>>
