[Bug ada/15799] Legal program rejected, using 'Base

[Bug ada/15799] Legal program rejected, using 'Base

[nicolas.boulenguez at free dot fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

nicolas.boulenguez at free dot fr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nicolas.boulenguez at free
                   |                            |dot fr

--- Comment #8 from nicolas.boulenguez at free dot fr 2011-08-31 00:18:27 UTC ---
confirmed 4.6.1

[Bug ada/15799] Legal program rejected, using 'Base

[nicolas.boulenguez at free dot fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

--- Comment #9 from nicolas.boulenguez at free dot fr ---
Fixed in 4.9-20140218

[Bug ada/15799] Legal program rejected, using 'Base

[ludovic at ludovic-brenta dot org]

------- Comment #7 from ludovic at ludovic-brenta dot org  2009-08-06 20:39 -------
Confirmed in 4.4.1.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[ludovic at ludovic-brenta dot org]

------- Comment #6 from ludovic at ludovic-brenta dot org  2007-12-04 20:35 -------
The fact that Boolean'Base is unconstrained _doesn't_ imply
that we don't have a discrete_subtype_indication.  Discreteness
and constrainedness aren't the same thing, and one doesn't
imply the other.  Boolean'Base is discrete because all Boolean
types are discrete.  A discrete_subtype_indication is a
subtype_indication that happens to be discrete, and a subtype_indication
is defined in RM 3.2.2(3) as a subtype_mark with an optional
constraint, and a subtype_mark is defined in 3.2.2(4) as
a subtype_name, which is a name that denotes a subtype, and
a name is defined in RM 4.1(2) as including an attribute_reference.

So this is still a bug.


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[sam at gcc dot gnu dot org]

------- Comment #5 from sam at gcc dot gnu dot org  2007-12-04 18:55 -------
Ludovic, 

in RM 3.6:

(2)
       array_type_definition ::=
          unconstrained_array_definition | constrained_array_definition
(3)
       unconstrained_array_definition ::=
          array(index_subtype_definition {, index_subtype_definition}) of
component_definition
(4)
       index_subtype_definition ::= subtype_mark range <>
(5)
       constrained_array_definition ::=
          array (discrete_subtype_definition {, discrete_subtype_definition})
of component_definition
(6)
       discrete_subtype_definition ::= discrete_subtype_indication | range
(7)
       component_definition ::= [aliased] subtype_indication

As you said, Boolean'Base is unconstrained, so we are obviously in the
unconstrained_array_definition case as we do not have a
discrete_subtype_indication. Which means that "range <>" is mandatory.

Indeed, if you use

  type a3 is array (Boolean'Base range <>) of Integer;

then GNAT will be happy.

Do we agree that this is not a bug after all?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[sam at gcc dot gnu dot org]

------- Comment #4 from sam at gcc dot gnu dot org  2007-11-30 21:32 -------
I checked in the RM. "subtype_mark" is defined as a "/subtype/_name" which is
equivalent to a "name" which is not specifically defined. And "subtype_mark" is
used in "relation" which accepts T'Base after the "in" keyword, so I guess you
are right here.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-06-14 04:55:55         |2007-11-30 21:32:34
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[ludovic at ludovic-brenta dot org]

------- Comment #3 from ludovic at ludovic-brenta dot org  2007-11-30 21:22 -------
But Boolean'Base is not an expression, since it does not define "the
computation or retrieval of a value" (4.4(1)) but instead "denotes an
unconstrained subtype" (3.5(15)).  So, it really is a subtype_name.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2007-11-26 21:02 -------
Ludovic,

I don't think this is correct. You can use a subtype_mark here, but it is
defined as being a subtype_/name/, not any expression returning a type. See RM
3.2.2 and RM 3.5.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gcc dot gnu dot org
             Status|NEW                         |WAITING


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-29 14:45 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-29 14:45:18
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.0.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15799] Legal program rejected, using 'Base

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799