This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Add "Global => null" contracts to Ada.Calendar routines
- From: Piotr Trojanek <trojanek at adacore dot com>
- To: Florian Weimer <fweimer at redhat dot com>
- Cc: Pierre-Marie de Rodat <derodat at adacore dot com>, gcc-patches at gcc dot gnu dot org, Piotr Trojanek <trojanek at adacore dot com>
- Date: Tue, 11 Dec 2018 13:16:40 +0100
- Subject: Re: [Ada] Add "Global => null" contracts to Ada.Calendar routines
- References: <20181211113724.GA106120@adacore.com> <871s6oxp1c.fsf@oldenburg2.str.redhat.com>
On Tue, 11 Dec 2018 12:48:15 +0100, Florian Weimer wrote:
> * Pierre-Marie de Rodat:
>
> > procedure Split
> > (Date : Time;
> > Year : out Year_Number;
> > Month : out Month_Number;
> > Day : out Day_Number;
> > - Seconds : out Day_Duration);
> > + Seconds : out Day_Duration)
> > + with
> > + Global => null;
>
> Is this really correct? Doesn't this call UTC_Time_Offset eventually, via
> Formatting_Operations.Split with Use_TZ => False?
You are right. I will remove the Global contracts from non-arithmetic routines.
Thanks for noticing this!