[Ada] Assert_Failure vs Assertion_Error
commit7367cd5949ec066811979dbb60b51cbcc6c123b3
authorArnaud Charlet <charlet@adacore.com>
Wed, 6 Jan 2021 09:41:54 +0000 (6 04:41 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 4 May 2021 09:17:33 +0000 (4 05:17 -0400)
tree4f92dbe4db0e64f588d2136fcfc9d0b3bc657537
parent716e7c15aba61327712f90c11afb766e9c69dbba
[Ada] Assert_Failure vs Assertion_Error

gcc/ada/

* libgnat/s-assert.ads (Assert_Failure): Now a renaming of
Assertion_Error.
* libgnat/a-assert.ads (Assertion_Error): Now a first class
citizen.  Remove dependency on System.Assertions.
* gcc-interface/a-assert.ads, gcc-interface/a-assert.adb: New.
* gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS): Add
a-assert.o from gcc-interface.
gcc/ada/gcc-interface/Make-lang.in
gcc/ada/gcc-interface/a-assert.adb [copied from gcc/ada/libgnat/s-assert.ads with 69% similarity]
gcc/ada/gcc-interface/a-assert.ads [copied from gcc/ada/libgnat/a-assert.ads with 72% similarity]
gcc/ada/libgnat/a-assert.ads
gcc/ada/libgnat/s-assert.ads