Re: subtilité Ada ou bug GNAT ?

merci à tous pour vos réponses rapides, précises, et efficaces.
J'aime bien cette liste :-)

Hugues.

----- "Jean-Pierre Rosen" <[email protected]> a écrit :

| De: "Jean-Pierre Rosen" <[email protected]>
| À: "Hugues Bonnin" <[email protected]>
| Envoyé: Jeudi 6 Janvier 2011 09:34:40 GMT +01:00 Amsterdam / Berlin / Berne / Rome / Stockholm / Vienne
| Objet: Re: [ada-france] subtilité Ada ou bug GNAT ?
|
| Le 06/01/2011 08:06, Hugues Bonnin a écrit :
| 
| > donc pour vous, il s'agirait plutôt d'un bug du compilo, et non
| d'une
| > subtilité du genre "dans l'instruction 'V:=F(V);' le V de gauche et
| > le V de droite ne possèdent pas le même sous-type (T1 et T2) donc
| > sont considérés différents, donc comportement non défini du
| > compilo....." c'est du n'importe quoi, ça, hein ?
| Ben oui, en Ada, ou ça compile et ça marche, ou ça ne compile pas.
| Sinon, a quoi ça sert que le compilo y se décarquasse ;-) ? OK, il y
| les
| cas "erroneous", mais il faut vraiment les chercher du côté du bas
| niveau.
| 
| > j'avoue que le bug me semble tellement gros, que j'ai du mal à m'en
| > contenter...
| >
| Je viens d'essayer avec gpl-2009 sous Linux (j'ai déjà désinstallé ma
| version Windows). Résultat:
| Erreur de segmentation
| 
| Ouch! Clairement un bug compilo corrigé dans la nouvelle version,
| donc
| une seule chose à faire: upgrader.
| 
| PS: à vue de nez, et sans connaître les tripes du compilo, je pense
| que
| cela vient du fait que tu retournes une valeur non-contrainte pour un
| sous-type contraint; le compilateur doit s'emmèler dans la
| reconstruction du descripteur de bornes.
| -- 
| ---------------------------------------------------------
|            J-P. Rosen ([email protected])
| Adalog a déménagé / Adalog has moved:
| 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
| Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
_______________________________________________
Site WWW de l'association Ada-France: http://www.ada-france.org/
[email protected]
http://www.ada-france.org/mailman/listinfo/ada-france