[Bug ada/15843] New: Illegal program not detected, RM 3.7.2(2)

[Bug ada/15843] New: Illegal program not detected, RM 3.7.2(2)

[ludovic dot brenta at insalien dot org]

-- RM 3.7.2(2)
-- For a prefix A that is of a discriminated type ...
-- the following attribute [A'constrained] is defined
procedure Test_247017 is

    generic
       type T1 (<>) is private;
    procedure p1(x: out T1);

    procedure p1 (x: out T1) is
    b: boolean := x'constrained;   --ERROR: not a discriminated type
    begin
       null;
    end p1;

begin
   null;
end Test_247017;

I expect an error message like this:

test_247017.adb:11:20: "x" has no discriminants, Constraint attribute not defined

But the compiler says nothing.

-- 
           Summary: Illegal program not detected, RM 3.7.2(2)
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic dot brenta at insalien dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid


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

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-29 13:33 -------
I do get a warning on the mainline:
test_247017.adb:8:18: warning: "x" is never assigned a value


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


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

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[pinskia at gcc dot gnu dot org]

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

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


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

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[nicolas.boulenguez at free dot fr]

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

--- Comment #6 from nicolas.boulenguez at free dot fr ---
confirm 4.9-20140218

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[nicolas.boulenguez at free dot fr]

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

nicolas.boulenguez at free dot fr changed:

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

--- Comment #5 from nicolas.boulenguez at free dot fr 2011-08-31 00:57:13 UTC ---
confirmed 4.6.1

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[ludovic at ludovic-brenta dot org]

------- Comment #4 from ludovic at ludovic-brenta dot org  2009-08-06 20:44 -------
Confirmed on 4.4.1.


-- 

ludovic at ludovic-brenta dot org changed:

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


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

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

[sam at gcc dot gnu dot org]

------- Comment #3 from sam at gcc dot gnu dot org  2007-12-13 14:11 -------
Confirmed on 4.3.0 20071213


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gcc dot gnu dot org
   Last reconfirmed|2005-06-14 21:01:04         |2007-12-13 14:11:06
               date|                            |


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