Re: is_universal_constant() assumes that gen

Jeroen Demeyer on Tue, 04 Oct 2016 21:55:11 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: is_universal_constant() assumes that gen_0 <= ghalf

To: pari-dev@pari.math.u-bordeaux.fr
Subject: Re: is_universal_constant() assumes that gen_0 <= ghalf
From: Jeroen Demeyer <jdemeyer@cage.ugent.be>
Date: Tue, 4 Oct 2016 21:55:03 +0200
Delivery-date: Tue, 04 Oct 2016 21:55:11 +0200
In-reply-to: <20161004154811.GA15000@math.u-bordeaux.fr>
References: <57F3C1AD.6090801@cage.ugent.be> <20161004154811.GA15000@math.u-bordeaux.fr>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0

On 2016-10-04 17:48, Karim Belabas wrote:

2) I don't think that we can rely on the address of 'readonly_constants'
to be already fixed within its initializer

Actually, I think you can. The object has "static storage duration", soa pointer to it is legal to use as initializer expression. Seehttp://publications.gbdirect.co.uk/c_book/chapter6/initialization.html

Also, "gcc -std=c89 -pedantic -Wall -Wextra" doesn't give any warningswhen doing that.

References:
- is_universal_constant() assumes that gen_0 <= ghalf
  - From: Jeroen Demeyer <jdemeyer@cage.ugent.be>
- Re: is_universal_constant() assumes that gen_0 <= ghalf
  - From: Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>

Prev by Date: Re: is_universal_constant() assumes that gen_0 <= ghalf
Next by Date: Re: is_universal_constant() assumes that gen_0 <= ghalf
Previous by thread: Re: is_universal_constant() assumes that gen_0 <= ghalf
Next by thread: Re: is_universal_constant() assumes that gen_0 <= ghalf
Index(es):
- Date
- Thread