https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120188
Gaius Mulley <gaius at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2025-05-09
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
--- Comment #3 from Gaius Mulley <gaius at gcc dot gnu.org> ---
Looks like a bug in the documentation which should include the command line
option -fm2-plugin.
Admittedly I've checked gm2-16
$ gm2 --version
gm2 (GCC) 16.0.0 20250509 (experimental)
$ gm2 -v
...
../configure --prefix=/home/gaius/opt --libexecdir=/home/gaius/opt/lib
--enable-host-shared --enable-threads=posix --enable-clocale=gnu
--enable-checking --enable-long-longx --enable-languages=m2 --enable-multilib
--enable-plugin
$ gm2 assignvalue.mod -O2 -fsoft-check-all -c -fm2-plugin
assignvalue.mod:16:8: error: In program module assignvalue
runtime error will occur, assignment will cause a range error, as the runtime
instance value of ‘CARDINAL’ does not overlap with the type ‘INTEGER’
16 | foo := bad ()
| ~~~~^~~~~~
But I suspect gm2-15.1 is the same.
Thanks will fix on both branches.
