Re: C time_t 2038 problem s-os_lib.ads

Newsgroups	comp.lang.ada
Date	2021-09-23 08:08 -0700
References	<8936f386-3fdb-43b3-b912-317906d59631n@googlegroups.com> <sii2q2$fcn$1@dont-email.me> <4431fad9-d297-4d68-8c0f-fa771c6710f6n@googlegroups.com>
Message-ID	<cd4a94de-e8b9-4194-8d80-24a009a558ban@googlegroups.com> (permalink)
Subject	Re: C time_t 2038 problem s-os_lib.ads
From	Joakim Strandberg <joakimds@kth.se>

Show all headers | View raw

torsdag 23 september 2021 kl. 17:01:04 UTC+2 skrev m8il...@gmail.com:
> On Thursday, September 23, 2021 at 2:26:11 PM UTC, Jeffrey R. Carter wrote: 
> > On 9/23/21 12:42 PM, Kevin Chadwick wrote: 
> > > I have noticed that C time_t appears to be Long_integer in Gnat s-os_lib.ads. 
> > > 
> > > Just wondering if it should be 64bit long long as OpenBSD has already moved to long long? 
> > GNAT defines 
> > 
> > type Long_Integer is range -(2 **63) .. +(2 **63 - 1); 
> > for Long_Integer'Size use 64; 
> >
> I see, thank you. 
> 
> GPS doesn't seem to jump to declaration for Long_Integer and grep hasn't turned it up, 
> so I will just take your word for it.

Well, yes Long_Integer is 64-bits, but long long in cpp is 128 bits which sounds like a discrepancy to me. On OpenBSD it indicates C time_t should be changed from Long_Integer to somethinge else that is 128-bits.  All packages in Ada has "with Standard; use Standard;" which brings Integer etc. into scope. Long_Integer should be defined in the Standard package. Under help in GPS it should be possible to find the Standard package.

Best regards,
Joakim

Back to comp.lang.ada | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

C time_t 2038 problem s-os_lib.ads Kevin Chadwick <m8il1ists@gmail.com> - 2021-09-23 03:42 -0700
  Re: C time_t 2038 problem s-os_lib.ads "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> - 2021-09-23 16:26 +0200
    Re: C time_t 2038 problem s-os_lib.ads Kevin Chadwick <m8il1ists@gmail.com> - 2021-09-23 08:01 -0700
      Re: C time_t 2038 problem s-os_lib.ads Joakim Strandberg <joakimds@kth.se> - 2021-09-23 08:08 -0700
        Re: C time_t 2038 problem s-os_lib.ads Kevin Chadwick <m8il1ists@gmail.com> - 2021-09-23 08:39 -0700
          Re: C time_t 2038 problem s-os_lib.ads Kevin Chadwick <m8il1ists@gmail.com> - 2021-09-23 08:57 -0700
        Re: C time_t 2038 problem s-os_lib.ads Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2021-09-23 12:52 -0700
          Re: C time_t 2038 problem s-os_lib.ads Joakim Strandberg <joakimds@kth.se> - 2021-09-24 02:32 -0700
            Re: C time_t 2038 problem s-os_lib.ads Niklas Holsti <niklas.holsti@tidorum.invalid> - 2021-09-24 12:44 +0300
            Re: C time_t 2038 problem s-os_lib.ads Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2021-09-24 15:54 -0700
              Re: C time_t 2038 problem s-os_lib.ads "G.B." <bauhaus@notmyhomepage.invalid> - 2021-09-25 12:22 +0200
              Re: C time_t 2038 problem s-os_lib.ads Simon Wright <simon@pushface.org> - 2021-09-25 12:23 +0100

csiph-web