public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/16081] New: Illegal program not detected, ambiguous call to "="
@ 2004-06-19 14:59 ludovic dot brenta at insalien dot org
  2004-06-19 16:42 ` [Bug ada/16081] " pinskia at gcc dot gnu dot org
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-06-19 14:59 UTC (permalink / raw)
  To: gcc-bugs

procedure Test_248166 is
   package pak1 is
      type T1 is tagged null record;
   end pak1;

   package body pak1 is
      -- type T1 is tagged null record;  -- line 7

      function "=" (x, y : T1'class) return boolean is -- line 9
      begin
         return true;
      end "=";

      procedure proc (x, y : T1'class) is
         b : boolean;
      begin
         b := x = y;     --ERROR: ambiguous "="
      end proc;

   end pak1;

begin
   null;
end Test_248166;


I expect several error messages:
test_248166.adb:17:17: ambiguous expression (cannot resolve ""="")
test_248166.adb:17:17: possible interpretation at line 9
test_248166.adb:17:17: possible interpretation at line 3
gnatmake: "test_248166.adb" compilation error


Instead, the compiler is silent.

-- 
           Summary: Illegal program not detected, ambiguous call to "="
           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=16081


^ permalink raw reply	[flat|nested] 4+ messages in thread
* [Bug ada/16081] Illegal program not detected, ambiguous call to "="
  2004-06-19 14:59 [Bug ada/16081] New: Illegal program not detected, ambiguous call to "=" ludovic dot brenta at insalien dot org
@ 2004-06-19 16:42 ` pinskia at gcc dot gnu dot org
  2004-10-29 14:33 ` pinskia at gcc dot gnu dot org
  2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
  2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-06-19 16:42 UTC (permalink / raw)
  To: gcc-bugs



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


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


^ permalink raw reply	[flat|nested] 4+ messages in thread
* [Bug ada/16081] Illegal program not detected, ambiguous call to "="
  2004-06-19 14:59 [Bug ada/16081] New: Illegal program not detected, ambiguous call to "=" ludovic dot brenta at insalien dot org
  2004-06-19 16:42 ` [Bug ada/16081] " pinskia at gcc dot gnu dot org
@ 2004-10-29 14:33 ` pinskia at gcc dot gnu dot org
  2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
  2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 14:33 UTC (permalink / raw)
  To: gcc-bugs



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


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


^ permalink raw reply	[flat|nested] 4+ messages in thread
* [Bug ada/16081] Illegal program not detected, ambiguous call to "="
  2004-06-19 14:59 [Bug ada/16081] New: Illegal program not detected, ambiguous call to "=" ludovic dot brenta at insalien dot org
  2004-06-19 16:42 ` [Bug ada/16081] " pinskia at gcc dot gnu dot org
  2004-10-29 14:33 ` pinskia at gcc dot gnu dot org
@ 2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
  2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 14:46 UTC (permalink / raw)
  To: gcc-bugs


------- 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:14
               date|                            |


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


^ permalink raw reply	[flat|nested] 4+ messages in thread
end of thread, other threads:[~2004-10-29 14:46 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-06-19 14:59 [Bug ada/16081] New: Illegal program not detected, ambiguous call to "=" ludovic dot brenta at insalien dot org
2004-06-19 16:42 ` [Bug ada/16081] " pinskia at gcc dot gnu dot org
2004-10-29 14:33 ` pinskia at gcc dot gnu dot org
2004-10-29 14:46 ` pinskia at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).