[Bug ada/110898] New: compilation of adacl-assert-integer.ads failed

[Bug ada/110898] New: compilation of adacl-assert-integer.ads failed

[krischik at users dot sourceforge.net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110898

            Bug ID: 110898
           Summary: compilation of adacl-assert-integer.ads failed
           Product: gcc
           Version: 12.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: krischik at users dot sourceforge.net
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

Created attachment 55685
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55685&action=edit
Source code

# the exact version of GCC, as shown by "gcc -v";

> >alr exec -P1 -- gcc --version
> ⓘ Synchronizing workspace...
> Dependencies automatically updated as follows:                           
> 
>    +♼ gnat 12.1.2 (new,installed,gnat_native)
> 
> gcc (GCC) 12.1.0
> Copyright (C) 2022 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.  There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

# the system type;

macOS 12.6.7

# the options when GCC was configured/built;

# the exact version of GCC, as shown by "gcc -v";

> >alr exec -P1 -- gcc --version
> ⓘ Synchronizing workspace...
> Dependencies automatically updated as follows:                           
> 
>    +♼ gnat 12.1.2 (new,installed,gnat_native)
> 
> gcc (GCC) 12.1.0
> Copyright (C) 2022 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.  There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

# the system type;

macOS 12.6.7

# the options when GCC was configured/built;

> >alr exec -P1 -- gcc -v       
> Using built-in specs.
> COLLECT_GCC=/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc
> COLLECT_LTO_WRAPPER=/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../libexec/gcc/x86_64-apple-darwin19.6.0/12.1.0/lto-wrapper
> Target: x86_64-apple-darwin19.6.0
> Configured with: ../src/configure --prefix=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/gcc/install --enable-languages=c,ada,c++ --enable-libstdcxx --enable-libstdcxx-threads --enable-libada --disable-nls --without-libiconv-prefix --disable-libstdcxx-pch --enable-lto --disable-multilib --disable-libcilkrts --without-build-config --with-build-sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk --with-specs='%{!sysroot=*:--sysroot=%:if-exists-else(/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk)}' --with-mpfr=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/mpfr/install --with-gmp=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/gmp/install --with-mpc=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/mpc/install --build=x86_64-apple-darwin19.6.0
> Thread model: posix
> Supported LTO compression algorithms: zlib
> gcc version 12.1.0 (GCC) 
> COMPILER_PATH=/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../libexec/gcc/x86_64-apple-darwin19.6.0/12.1.0/:/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../libexec/gcc/
> LIBRARY_PATH=/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../lib/gcc/x86_64-apple-darwin19.6.0/12.1.0/:/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../lib/gcc/:/usr/local/lib/:/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../lib/gcc/x86_64-apple-darwin19.6.0/12.1.0/../../../
> COLLECT_GCC_OPTIONS='-P' '-v' '-mmacosx-version-min=12.5.0' '-asm_macosx_version_min=12.5' '-nodefaultexport' '-mtune=core2' '--sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk' '-dumpdir' 'a.'
>  /Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../libexec/gcc/x86_64-apple-darwin19.6.0/12.1.0/collect2 -syslibroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/ -dynamic -arch x86_64 -macosx_version_min 12.5.0 -o a.out -L/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../lib/gcc/x86_64-apple-darwin19.6.0/12.1.0 -L/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../lib/gcc -L/usr/local/lib -L/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/../lib/gcc/x86_64-apple-darwin19.6.0/12.1.0/../../.. adacl.gpr -lemutls_w -lgcc -lSystem -no_compact_unwind
> ld: warning: ignoring file adacl.gpr, building for macOS-x86_64 but attempting to link with file built for unknown-unsupported file format ( 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D 0x2D )
> Undefined symbols for architecture x86_64:
>   "_main", referenced from:
>      implicit entry/start for main executable
> ld: symbol(s) not found for architecture x86_64
> collect2: error: ld returned 1 exit status
> error: Command ["gcc", "-P", "adacl.gpr", "-v"] exited with code 1

# the exact command line passed to the gcc program triggering the bug

> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000009.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-assert-integer.ads

# a collection of source files for reproducing the bug, preferably a minimal
set (see below);

Attached below.

# a description of the expected behavior;

Source compiles without error with a helpful error message.

# a description of actual behavior.

Non descriptive error message shown:

> >alr -v build
> -> Config file is not readable or doesn't exist: '/Volumes/Samsung/Work/Projects/AdaCL/adacl/alire/config.toml'
> -> Using default value for configuration 'distribution.disable_detection': 'FALSE'
> Detail: Found 2 indexes
> Detail: Loading index found at /Users/martin/.config/alire/indexes/community/repo/index
> Detail: Loading full catalog from /Users/martin/.config/alire/indexes/community/repo/index
> Detail: Using default value for configuration 'warning.old_index': 'TRUE'
> Detail: Spawning: ["git", "branch"] > GNAT-TEMP-000001.TMP
> Detail: Spawning: ["uname", "-m"] > GNAT-TEMP-000002.TMP
> Detail: Loading index found at /Users/martin/.config/alire/indexes/krischik/repo/index
> Detail: Loading full catalog from /Users/martin/.config/alire/indexes/krischik/repo/index
> Detail: Using default value for configuration 'warning.old_index': 'TRUE'
> Detail: Using default value for configuration 'update-manually-only': 'FALSE'
> Detail: Index already loaded, loading skipped
> Info: ⓘ Synchronizing workspace...
> Detail: Cannot look for system packages for crate gprbuild in unknown distribution
> Detail: Solving dependencies with options: Age order: NEWEST; Completeness: FIRST_COMPLETE; Externals: DETECT; Hinting: HINT
> Detail: Root dependency tree is: gnat>=12 & <2000
> Detail: No user pins to apply
> Detail: Dependencies solvable in 1 ways (complete: 1; partial: 0; dupes: 0)
> Detail: Dependencies solved with 1 releases                   
> Info: Dependencies automatically updated as follows:          
> Info: 
> Info:    +♼ gnat 12.1.2 (new,installed,gnat_native)
> Detail: Env: Crate prefix for resources location sets '/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f' to 'GNAT_NATIVE_ALIRE_PREFIX'
> Detail: Env: Crate prefix for resources location sets '/Users/martin/.config/alire/cache/dependencies/gprbuild_22.0.1_b1220e2b' to 'GPRBUILD_ALIRE_PREFIX'
> Detail: Env: gnat_native (env) prepends '/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin' to 'PATH'
> Detail: Env: gprbuild (env) prepends '/Users/martin/.config/alire/cache/dependencies/gprbuild_22.0.1_b1220e2b/bin' to 'PATH'
> Detail: Env: crates prepends '/Volumes/Samsung/Work/Projects/AdaCL/adacl' to 'GPR_PROJECT_PATH'
> Detail: Env: crates prepends '/Users/martin/.config/alire/cache/dependencies/gprbuild_22.0.1_b1220e2b' to 'GPR_PROJECT_PATH'
> Detail: Env: crates prepends '/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f' to 'GPR_PROJECT_PATH'
> Detail: Env: Crate prefix for resources location sets '/Volumes/Samsung/Work/Projects/AdaCL/adacl' to 'ADACL_ALIRE_PREFIX'
> Detail: Env: Alire sets 'True' to 'ALIRE'
> Detail: Skipping installation of already available release: gnat_native=12.1.2
> Detail: Generating crate config files
> Detail: Config file is not readable or doesn't exist: '/Volumes/Samsung/Work/Projects/AdaCL/adacl/alire/aaa-birs.tmp'
> Detail: Using default value for configuration 'distribution.disable_detection': 'FALSE'
> Detail: Using default value for configuration 'warning.caret': 'TRUE'
> Detail: Generating crate config files
> Detail: Using default value for configuration 'distribution.disable_detection': 'FALSE'
> Detail: Update completed
> Info: 
> Detail: Env: Crate prefix for resources location sets '/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f' to 'GNAT_NATIVE_ALIRE_PREFIX'
> Detail: Env: Crate prefix for resources location sets '/Users/martin/.config/alire/cache/dependencies/gprbuild_22.0.1_b1220e2b' to 'GPRBUILD_ALIRE_PREFIX'
> Detail: Env: gnat_native (env) prepends '/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin' to 'PATH'
> Detail: Env: gprbuild (env) prepends '/Users/martin/.config/alire/cache/dependencies/gprbuild_22.0.1_b1220e2b/bin' to 'PATH'
> Detail: Env: crates prepends '/Volumes/Samsung/Work/Projects/AdaCL/adacl' to 'GPR_PROJECT_PATH'
> Detail: Env: crates prepends '/Users/martin/.config/alire/cache/dependencies/gprbuild_22.0.1_b1220e2b' to 'GPR_PROJECT_PATH'
> Detail: Env: crates prepends '/Users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f' to 'GPR_PROJECT_PATH'
> Detail: Env: Crate prefix for resources location sets '/Volumes/Samsung/Work/Projects/AdaCL/adacl' to 'ADACL_ALIRE_PREFIX'
> Detail: Env: Alire sets 'True' to 'ALIRE'
> Detail: ⓘ Not pre-building gnat_native (auto with disabled)
> Info: ⓘ Building adacl/adacl.gpr...
> Detail: Spawning: ["gprbuild", "-v", "-s", "-j0", "-p", "-P", "/Volumes/Samsung/Work/Projects/AdaCL/adacl/adacl.gpr"]
> Object directory "/Volumes/Samsung/Work/Projects/AdaCL/adacl/obj/development" created for project AdaCL
> Library directory "/Volumes/Samsung/Work/Projects/AdaCL/adacl/lib" created for project AdaCL
> Changing to object directory of "AdaCL": "/Volumes/Samsung/Work/Projects/AdaCL/adacl/obj/development/"
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000004.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/config/adacl_config.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000005.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/macos/adacl-os-low_level.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000006.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000007.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-trace.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000008.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-trace-assert.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000009.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-strings.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000010.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-strings-hex.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000011.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000004.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer-unique_with_delete.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000006.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer-unique.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000011.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer-shared_with_delete.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000005.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer-shared.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000009.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer-holder.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000008.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-pointer-element.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000010.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-os.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000004.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-limited_base.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000006.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-command_line.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000005.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-command_line-getopt.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000006.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-base.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000010.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-assert.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000011.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-assert-pointer.adb
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000009.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-assert-integer.ads
> /users/martin/.config/alire/cache/dependencies/gnat_native_12.1.2_587b912f/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatp -gnato -gnatwa -gnatw.X -gnatVa -gnata -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatE -gnatef -gnaty-I -gnatyM120 -gnatec=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/n2/873wlv9533l314jzbrgv13wh0000gq/T/GNAT-TEMP-000004.TMP /Volumes/Samsung/Work/Projects/AdaCL/adacl/src/adacl-assert-discrete.adb
> 
>    compilation of adacl-assert-integer.ads failed
> 
> Gprbuild: *** compilation phase failed
> Error: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/Volumes/Samsung/Work/Projects/AdaCL/adacl/adacl.gpr"] exited with code 4
> Error: Compilation failed.
> Detail: alr build unsuccessful

[Bug ada/110898] compilation of adacl-assert-integer.ads failed

[dkm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110898

--- Comment #1 from Marc Poulhiès <dkm at gcc dot gnu.org> ---
I get the following error when compiling the adacl-assert-integer.ads file:

```
src/adacl-assert-integer.ads:21:10: warning: unit "GNAT.Source_Info" is not
referenced [-gnatwu]
src/adacl-assert-integer.ads:25:34: (style) trailing spaces not permitted
[-gnatyb]
src/adacl-assert-integer.ads:31:01: error: child of a generic package must be a
generic unit
```

I've checked and I also get the same errors with gcc 11.x, so that's not
something new. I think your code should be fixed here.

[Bug ada/110898] compilation of adacl-assert-integer.ads failed

[krischik at users dot sourceforge.net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110898

Martin Krischik <krischik at users dot sourceforge.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #2 from Martin Krischik <krischik at users dot sourceforge.net> ---
@(In reply to Marc Poulhiès from comment #1)

> I've checked and I also get the same errors with gcc 11.x, so that's not
> something new. I think your code should be fixed here.

Yes, those error messages make sense. Especially the „error: child of a generic
package must be a generic unit“. That is indeed a problem on my side.

Thanks for checking. What confuse me was the not at all helpful “compilation of
adacl-assert-integer.ads failed” and the proper error message is no where to be
seen.

But is probably an Alire problem. I'll close the bug.

[Bug ada/110898] compilation of adacl-assert-integer.ads failed

[dkm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110898

--- Comment #3 from Marc Poulhiès <dkm at gcc dot gnu.org> ---
Yes, I was confused also, as I've never seen this issue when using alire.
Maybe check that your alr install is up to date, and if it's the case, report
an issue in the corresponding project:
https://github.com/alire-project/alire/issues