This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [Ada] Add "Global => null" contracts to Ada.Calendar routines


* 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?

Thanks,
Florian


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]