[Bug ada/33988] New: Warning when converting between C compatible pointers

[Bug ada/33988] New: Warning when converting between C compatible pointers

[sam at rfc1149 dot net]

The RM95 B.3.1 contains: "The type chars_ptr is C-compatible and
corresponds to the use of C's ``char *'' for a pointer to the first char
in a char array terminated by nul.".

Doesn't it imply that it has a C convention, or at least that it can be
converted to an access type with convention C without warranting a
warning? When compiling the following test with GCC trunk and -Wall, I get:

t.ads:10:04: warning: conversion between pointers with different conventions

(I know the following code looks strange, but it is a specially built
test case following a more complex case found in AdaSockets)

--
with Ada.Unchecked_Conversion;
with Interfaces.C.Strings;

package T is

   type P is access Integer;
   pragma Convention (C, P);

   function Convert is
      new Ada.Unchecked_Conversion (Interfaces.C.Strings.chars_ptr, P);

end T;


-- 
           Summary: Warning when converting between C compatible pointers
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sam at rfc1149 dot net
  GCC host triplet: i386-linux


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

[Bug ada/33988] Warning when converting between C compatible pointers

[sam at rfc1149 dot net]

------- Comment #1 from sam at rfc1149 dot net  2007-11-11 12:35 -------
(compiled with -O on gcc 4.3.0 20071111)


-- 


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

[Bug ada/33988] Warning when converting between C compatible pointers

[sam at rfc1149 dot net]

------- Comment #2 from sam at rfc1149 dot net  2007-11-14 22:15 -------
Fixed by commit 130180


-- 

sam at rfc1149 dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


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

[Bug ada/33988] Warning when converting between C compatible pointers

[sam at gcc dot gnu dot org]

-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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