https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065
Nicolas Boulenguez <nicolas at debian dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #58060|0 |1
is obsolete| |
Attachment #58181|0 |1
is obsolete| |
--- Comment #27 from Nicolas Boulenguez <nicolas at debian dot org> ---
Created attachment 58252
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58252&action=edit
Version 10, tarball with 8 commits + tests
Hello.
Version 10
* restores support for time_t in System.OS_Lib, with a comment saying that the
type is now unrelated with C (patch 4/8).
* restores support for timespec in Ada.Calendar.Conversions and timeval in
GNAT.Calendar, via wrappers delegating to C_Time. The subtype ranges for the
parameters are tighter, but that only makes preexisting pre- and
post-conditions explicit.
* unsuppresses the Overflow_Check
* replaces pre- and post-conditions with subtype ranges
* fixes a type name in docs (patch 3/8)
* fixes a typo on android
* roughly sorts the patches by decreasing importance (only 1-2 fix bugs)
The restorations hopefully answer the concerns expressed by Arnaud Charlet at
https://gcc.gnu.org/pipermail/gcc-patches/2024-May/651794.html. In
Ada.Calendar, the changes only affect the private part.
