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.

> +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
>

Reply via email to