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);
> > +
* 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
Routines in Ada.Real_Time are already annotated with Global => null
contracts to suppress spurious warnings from the flow analysis in
GNATprove. This patch adds such contracts to Ada.Calendar. No change in
runtime behavior expected.
Tested on x86_64-pc-linux-gnu, committed on trunk
2018-12-11 Pi
