public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug ada/33988] New: Warning when converting between C compatible pointers @ 2007-11-03 16:37 sam at rfc1149 dot net 2007-11-11 12:35 ` [Bug ada/33988] " sam at rfc1149 dot net ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: sam at rfc1149 dot net @ 2007-11-03 16:37 UTC (permalink / raw) To: gcc-bugs 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/33988] Warning when converting between C compatible pointers 2007-11-03 16:37 [Bug ada/33988] New: Warning when converting between C compatible pointers sam at rfc1149 dot net @ 2007-11-11 12:35 ` sam at rfc1149 dot net 2007-11-14 22:15 ` sam at rfc1149 dot net 2007-12-05 12:38 ` sam at gcc dot gnu dot org 2 siblings, 0 replies; 4+ messages in thread From: sam at rfc1149 dot net @ 2007-11-11 12:35 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/33988] Warning when converting between C compatible pointers 2007-11-03 16:37 [Bug ada/33988] New: Warning when converting between C compatible pointers sam at rfc1149 dot net 2007-11-11 12:35 ` [Bug ada/33988] " sam at rfc1149 dot net @ 2007-11-14 22:15 ` sam at rfc1149 dot net 2007-12-05 12:38 ` sam at gcc dot gnu dot org 2 siblings, 0 replies; 4+ messages in thread From: sam at rfc1149 dot net @ 2007-11-14 22:15 UTC (permalink / raw) To: gcc-bugs ------- 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/33988] Warning when converting between C compatible pointers 2007-11-03 16:37 [Bug ada/33988] New: Warning when converting between C compatible pointers sam at rfc1149 dot net 2007-11-11 12:35 ` [Bug ada/33988] " sam at rfc1149 dot net 2007-11-14 22:15 ` sam at rfc1149 dot net @ 2007-12-05 12:38 ` sam at gcc dot gnu dot org 2 siblings, 0 replies; 4+ messages in thread From: sam at gcc dot gnu dot org @ 2007-12-05 12:38 UTC (permalink / raw) To: gcc-bugs -- 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2007-12-05 12:38 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2007-11-03 16:37 [Bug ada/33988] New: Warning when converting between C compatible pointers sam at rfc1149 dot net 2007-11-11 12:35 ` [Bug ada/33988] " sam at rfc1149 dot net 2007-11-14 22:15 ` sam at rfc1149 dot net 2007-12-05 12:38 ` sam 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).