Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1

[Bill Findlay]

Hi Simon,

Many thanks for the x86 macOS build of GNAT.
Does it incorporate front-end updates since the Sep 30 build of
gnat-12.2.0-1?

> which gnat
> /opt/gcc-13.1.0/bin/gnat

Using the command:

> gcc -c -I./ -I../Source -funwind-tables -gnatl12j96 -gnatw.e -gnatwD -gnatwH -gnatwP -gnatwT -gnatw.W -gnatw.B -gnatwC -gnatw.u -gnatyO -gnatw.Y -gnatw.N
-fdata-sections -ffunction-sections -gnatfn -mtune=native -Ofast
-fno-stack-check -fomit-frame-pointer -flto -I
/Users/wf/KDF9/emulation/Source/ee9.adb

I got:

> clang (LLVM option parsing): Unknown command line argument '-x86-pad-for-align=false'. Try: 'clang (LLVM option parsing) --help'
> clang (LLVM option parsing): Did you mean '--x86-slh-loads=false'?
> gnatmake: "/Users/wf/KDF9/emulation/Source/ee9.adb" compilation error

--

Bill Findlay

[Simon Wright]

Bill Findlay <findl...@blueyonder.co.uk> writes:

> Many thanks for the x86 macOS build of GNAT.
> Does it incorporate front-end updates since the Sep 30 build of
> gnat-12.2.0-1?

It includes whatever changes Adacore & fellow maintainers have made!
From here <https://gcc.gnu.org/gcc-13/changes.html>,

Ada

Traceback support added in RTEMS for the PPC ELF and ARM
architectures.
Support for versions older than VxWorks 7 has been removed.
General improvements to the contracts in the standard libraries.
Addition of GNAT.Binary_Search.
Further additions and fixes for the Ada 2022 specification.
The Pragma SPARK_Mode=>Auto is now accepted. Contract analysis has
been further improved.
Documentation improvements.

> Using the command:
>
>> gcc -c -I./ -I../Source -funwind-tables -gnatl12j96 -gnatw.e -gnatwD
>> -gnatwH -gnatwP -gnatwT -gnatw.W -gnatw.B -gnatwC -gnatw.u -gnatyO
>> -gnatw.Y -gnatw.N
> -fdata-sections -ffunction-sections -gnatfn -mtune=native -Ofast
> -fno-stack-check -fomit-frame-pointer -flto -I
> /Users/wf/KDF9/emulation/Source/ee9.adb
>
> I got:
>
>> clang (LLVM option parsing): Unknown command line argument
>> '-x86-pad-for-align=false'. Try: 'clang (LLVM option parsing)
>> --help'
>> clang (LLVM option parsing): Did you mean '--x86-slh-loads=false'?
>> gnatmake: "/Users/wf/KDF9/emulation/Source/ee9.adb" compilation error

gcc -c -I./ -I../Source -funwind-tables -gnatl12j96 -gnatw.e -gnatwD
-gnatwH -gnatwP -gnatwT -gnatw.W -gnatw.B -gnatwC -gnatw.u -gnatyO
-gnatw.Y -gnatw.N -fdata-sections -ffunction-sections -gnatfn

-mtune=native -O3 -flto -I-
/Users/simon/tmp/ee9/emulation/Source/ee9.adb

worked without complaint.

The command lines are different: I used V9p0p_for_Intel_macOS.zip,
command mk9.

This is on Darwin 21.6.0, with Command Line Tools 14.2, as reported by
$ pkgutil --pkg-info=com.apple.pkg.CLTools_Executables

[Bill Findlay]

On 29 Apr 2023, Simon Wright wrote
(in article <ly8reai...@pushface.org>):

> Bill Findlay<findl...@blueyonder.co.uk> writes:
>
> > Many thanks for the x86 macOS build of GNAT.
> > Does it incorporate front-end updates since the Sep 30 build of
> > gnat-12.2.0-1?
>
> It includes whatever changes Adacore & fellow maintainers have made!
> From here<https://gcc.gnu.org/gcc-13/changes.html>,

Thanks for that pointer.
I guess I am wondering about this:

> Further additions and fixes for the Ada 2022 specification.

Where would AdaCore enumerate those updates?

> This is on Darwin 21.6.0, with Command Line Tools 14.2, as reported by
> $ pkgutil --pkg-info=com.apple.pkg.CLTools_Executables

As usual, you immediately put your finger on the problem:
out of date Command Line Tools (sigh).
I have installed 14.3 and all is now well.

Thanks again!
--
Bill Findlay

[Maxim Reznik]

суббота, 29 апреля 2023 г. в 19:35:50 UTC+3, Bill Findlay:

> I guess I am wondering about this:
>> Further additions and fixes for the Ada 2022 specification.
> Where would AdaCore enumerate those updates?

I can't speak for AdaCore, but I tried to search in ChangeLog and

Regarding the improvement of Ada 2022 support, I only found two cases. The 'Index attribute has been implemented for use in the preconditions and postconditions of input families. Containers have received versions of cursor operations where the first argument is the container object. These include Has_Element, Element, Next, and so on, i.e. we can write My_Set.Has_Element (Cursor).

https://forum.ada-lang.io/t/gcc-13-1-released/374/3?u=max