public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "mmitchel at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug libstdc++/29286] [4.0/4.1/4.2 Regression] placement new does not change the dynamic type as it should Date: Mon, 02 Oct 2006 17:48:00 -0000 [thread overview] Message-ID: <20061002174809.11294.qmail@sourceware.org> (raw) In-Reply-To: <bug-29286-10053@http.gcc.gnu.org/bugzilla/> ------- Comment #17 from mmitchel at gcc dot gnu dot org 2006-10-02 17:48 ------- I disagree with Mike's analysis. I certainly understand the goals of placement new, but I don't think that anyone intended this code: int i; *(float *)&i = 7.0; to be valid. I don't even think people intended this variant: int i; new (&i) float(7.0); to be valid. Note that a consequence of allowing this is that: int f() { int i = 3; new (&i) float(7.0); return i; } is undefined -- not because of the overwriting of i, but because the return statement reads memory of the wrong type. Mike's position is that accessing a variable using its static type is not always safe; I find this bizarre. My personal opinion is that the authors of the standard just didn't think of all the possible interactions of the various aspects. I believe placement new was intended to handle only arrays of characters, consistent with the special dispensation given to character pointers. However, I don't think my differences with Mike can be resolved without going directly to the standards committee. Fortunately, from the compiler point of view, I'm saying "punt" and Mike is saying "punt harder". So, it's probably just a question of in how many cases we decide to disable type-based alias analysis. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286
next prev parent reply other threads:[~2006-10-02 17:48 UTC|newest] Thread overview: 190+ messages / expand[flat|nested] mbox.gz Atom feed top 2006-09-29 14:14 [Bug libstdc++/29286] New: placement new does not provide required side-effects rguenth at gcc dot gnu dot org 2006-09-29 14:15 ` [Bug libstdc++/29286] " rguenth at gcc dot gnu dot org 2006-09-29 14:17 ` [Bug libstdc++/29286] [4.2 Regression] " rguenth at gcc dot gnu dot org 2006-09-29 14:30 ` pcarlini at suse dot de 2006-09-29 14:38 ` rguenth at gcc dot gnu dot org 2006-09-29 14:52 ` pcarlini at suse dot de 2006-09-29 15:49 ` pinskia at gcc dot gnu dot org 2006-09-29 15:51 ` [Bug libstdc++/29286] [4.2 Regression] placement new does not change the dynamic type as it should pinskia at gcc dot gnu dot org 2006-09-29 16:08 ` pcarlini at suse dot de 2006-09-29 16:19 ` pinskia at gcc dot gnu dot org 2006-09-29 16:23 ` pcarlini at suse dot de 2006-09-29 16:25 ` rguenth at gcc dot gnu dot org 2006-09-29 16:25 ` rguenth at gcc dot gnu dot org 2006-09-29 16:58 ` [Bug libstdc++/29286] [4.0/4.1/4.2 " pinskia at gcc dot gnu dot org 2006-09-29 17:01 ` pinskia at gcc dot gnu dot org 2006-10-01 18:39 ` mmitchel at gcc dot gnu dot org 2006-10-01 23:05 ` mmitchel at gcc dot gnu dot org 2006-10-02 9:32 ` mrs at apple dot com 2006-10-02 17:48 ` mmitchel at gcc dot gnu dot org [this message] 2006-10-02 19:28 ` mrs at apple dot com 2006-10-03 16:03 ` ian at airs dot com 2006-10-03 16:13 ` mark at codesourcery dot com 2006-10-03 23:44 ` ian at airs dot com 2006-10-04 5:39 ` mark at codesourcery dot com 2006-10-24 6:53 ` Gabriel Dos Reis 2006-10-09 8:22 ` rguenth at gcc dot gnu dot org 2006-10-24 6:53 ` [Bug libstdc++/29286] [4.0/4.1/4.2/4.3 " gdr at integrable-solutions dot net 2006-12-29 20:28 ` dberlin at gcc dot gnu dot org 2007-01-01 0:41 ` mark at codesourcery dot com 2007-01-02 3:01 ` Daniel Berlin 2007-01-02 3:01 ` dberlin at dberlin dot org 2007-01-02 3:24 ` mark at codesourcery dot com 2007-05-02 15:57 ` ian at airs dot com 2007-05-02 16:11 ` pinskia at gcc dot gnu dot org 2007-05-02 16:14 ` pinskia at gcc dot gnu dot org 2007-05-02 20:41 ` mark at codesourcery dot com 2007-05-03 19:33 ` ian at airs dot com 2007-05-03 20:45 ` pcarlini at suse dot de 2007-05-03 20:49 ` pinskia at gcc dot gnu dot org 2007-05-03 20:59 ` rguenth at gcc dot gnu dot org 2007-05-03 21:25 ` pcarlini at suse dot de 2007-05-04 2:47 ` mark at codesourcery dot com 2007-05-04 3:54 ` bangerth at dealii dot org 2007-05-04 6:37 ` ian at airs dot com 2007-05-04 8:41 ` pcarlini at suse dot de 2007-05-04 10:45 ` rguenth at gcc dot gnu dot org 2007-05-04 11:04 ` pcarlini at suse dot de 2007-05-04 11:08 ` pcarlini at suse dot de 2007-05-04 12:03 ` rguenth at gcc dot gnu dot org 2007-05-04 14:31 ` rguenth at gcc dot gnu dot org 2007-05-04 15:55 ` ian at airs dot com 2007-05-04 15:57 ` rguenth at gcc dot gnu dot org 2007-05-11 23:22 ` ian at airs dot com 2007-05-12 0:36 ` dberlin at dberlin dot org 2007-05-12 9:48 ` rguenth at gcc dot gnu dot org 2007-05-12 11:11 ` rguenth at gcc dot gnu dot org 2007-05-12 13:29 ` dberlin at dberlin dot org 2007-05-12 18:41 ` ian at airs dot com 2007-05-12 18:44 ` ian at airs dot com 2007-05-12 21:48 ` rguenth at gcc dot gnu dot org 2007-05-13 10:04 ` rguenth at gcc dot gnu dot org 2007-05-14 3:45 ` ian at airs dot com 2007-05-14 4:00 ` dberlin at dberlin dot org 2007-05-14 8:25 ` rguenth at gcc dot gnu dot org 2007-05-14 11:44 ` Daniel Berlin 2007-05-14 11:44 ` dberlin at dberlin dot org 2007-05-14 15:20 ` rguenth at gcc dot gnu dot org 2007-05-14 15:38 ` dberlin at dberlin dot org 2007-05-14 16:42 ` ian at airs dot com 2007-05-14 17:14 ` ian at airs dot com 2007-05-14 21:25 ` mmitchel at gcc dot gnu dot org 2007-05-14 21:36 ` ian at airs dot com 2007-05-14 21:37 ` pinskia at gcc dot gnu dot org 2007-05-14 21:40 ` dberlin at dberlin dot org 2007-05-16 5:33 ` ian at airs dot com 2007-05-16 9:57 ` rguenth at gcc dot gnu dot org 2007-05-16 12:06 ` rguenth at gcc dot gnu dot org 2007-05-16 13:49 ` rguenth at gcc dot gnu dot org 2007-05-16 14:02 ` rguenth at gcc dot gnu dot org 2007-05-16 14:37 ` rguenth at gcc dot gnu dot org 2007-05-16 16:08 ` rguenth at gcc dot gnu dot org 2007-05-16 17:02 ` ian at airs dot com 2007-05-16 23:42 ` mark at codesourcery dot com 2007-05-18 6:15 ` ian at airs dot com 2007-05-18 6:25 ` ian at airs dot com 2007-05-18 6:27 ` mark at codesourcery dot com 2007-05-18 8:46 ` rguenth at gcc dot gnu dot org 2007-05-18 8:47 ` rguenth at gcc dot gnu dot org 2007-05-18 13:26 ` gdr at cs dot tamu dot edu 2007-05-18 13:30 ` gdr at cs dot tamu dot edu 2007-05-18 13:46 ` rguenth at gcc dot gnu dot org 2007-05-18 16:25 ` ian at airs dot com 2007-05-18 16:28 ` ian at airs dot com 2007-05-18 21:04 ` Gabriel Dos Reis 2007-05-18 16:36 ` ian at airs dot com 2007-05-18 16:44 ` mark at codesourcery dot com 2007-05-18 17:38 ` ian at airs dot com 2007-05-18 21:12 ` Gabriel Dos Reis 2007-05-18 17:46 ` pcarlini at suse dot de 2007-05-18 17:55 ` pinskia at gcc dot gnu dot org 2007-05-18 18:01 ` mark at codesourcery dot com 2007-05-18 18:03 ` ian at airs dot com 2007-05-18 19:55 ` rguenth at gcc dot gnu dot org 2007-05-18 20:12 ` pcarlini at suse dot de 2007-05-18 20:17 ` mark at codesourcery dot com 2007-05-18 20:27 ` pcarlini at suse dot de 2007-05-18 20:38 ` pcarlini at suse dot de 2007-05-18 21:04 ` gdr at cs dot tamu dot edu 2007-05-18 21:12 ` gdr at cs dot tamu dot edu 2007-05-18 21:16 ` gdr at cs dot tamu dot edu 2007-05-18 21:17 ` gdr at cs dot tamu dot edu 2007-05-18 21:44 ` pcarlini at suse dot de 2007-05-22 9:50 ` rguenth at gcc dot gnu dot org 2007-05-22 15:05 ` mark at codesourcery dot com 2007-05-22 15:54 ` Gabriel Dos Reis 2007-05-22 15:20 ` rguenther at suse dot de 2007-05-22 15:55 ` gdr at cs dot tamu dot edu 2007-05-22 16:20 ` mark at codesourcery dot com 2007-05-22 16:25 ` Gabriel Dos Reis 2007-05-22 16:25 ` gdr at cs dot tamu dot edu 2007-05-22 16:38 ` mark at codesourcery dot com 2007-05-22 16:46 ` Gabriel Dos Reis 2007-05-22 16:47 ` gdr at cs dot tamu dot edu 2007-05-22 16:54 ` mark at codesourcery dot com 2007-05-22 17:02 ` gdr at cs dot tamu dot edu 2007-05-22 17:11 ` dberlin at dberlin dot org 2007-05-22 17:13 ` dberlin at dberlin dot org 2007-05-22 17:20 ` gdr at cs dot tamu dot edu 2007-05-22 17:34 ` mark at codesourcery dot com 2007-05-22 17:41 ` gdr at cs dot tamu dot edu 2007-05-22 17:55 ` mark at codesourcery dot com 2007-05-22 19:13 ` gdr at cs dot tamu dot edu 2007-05-22 19:42 ` mrs at apple dot com 2007-05-22 19:53 ` gdr at cs dot tamu dot edu 2007-05-23 8:35 ` rguenther at suse dot de 2007-05-23 13:23 ` gdr at cs dot tamu dot edu 2007-05-23 13:43 ` rguenther at suse dot de 2007-05-23 14:24 ` ian at airs dot com 2007-05-23 14:38 ` rguenther at suse dot de 2007-05-23 15:00 ` gdr at cs dot tamu dot edu 2007-05-23 15:43 ` ian at airs dot com 2007-05-23 15:55 ` rguenther at suse dot de 2007-05-23 18:03 ` dberlin at dberlin dot org 2007-05-23 18:44 ` mark at codesourcery dot com 2007-05-23 18:54 ` rguenth at gcc dot gnu dot org 2007-05-23 18:57 ` rguenth at gcc dot gnu dot org 2007-05-23 19:10 ` mark at codesourcery dot com 2007-05-23 19:46 ` rguenth at gcc dot gnu dot org 2007-05-23 19:57 ` rguenth at gcc dot gnu dot org 2007-05-23 20:01 ` joseph at codesourcery dot com 2007-05-23 20:07 ` mark at codesourcery dot com 2007-05-23 20:13 ` mark at codesourcery dot com 2007-05-23 20:16 ` rguenther at suse dot de 2007-05-23 20:27 ` mark at codesourcery dot com 2007-05-23 20:48 ` rguenther at suse dot de 2007-05-23 21:02 ` dberlin at dberlin dot org 2007-05-23 21:13 ` mark at codesourcery dot com 2007-05-23 22:42 ` gdr at cs dot tamu dot edu 2007-05-23 22:50 ` gdr at cs dot tamu dot edu 2007-05-23 22:56 ` gdr at cs dot tamu dot edu 2007-05-23 22:58 ` gdr at cs dot tamu dot edu 2007-05-23 23:58 ` gdr at cs dot tamu dot edu 2007-05-24 0:07 ` gdr at cs dot tamu dot edu 2007-05-24 8:04 ` rguenther at suse dot de 2007-05-24 9:08 ` rguenther at suse dot de 2007-05-24 9:11 ` rguenther at suse dot de 2007-05-24 9:29 ` gdr at cs dot tamu dot edu 2007-05-24 9:33 ` rguenther at suse dot de 2007-05-24 9:47 ` gdr at cs dot tamu dot edu 2007-05-25 23:22 ` ian at airs dot com 2007-05-27 14:57 ` rguenther at suse dot de 2007-05-28 11:14 ` rguenther at suse dot de 2007-05-28 11:24 ` dberlin at dberlin dot org 2007-05-28 17:30 ` ian at airs dot com 2007-05-30 23:19 ` ian at airs dot com 2007-06-04 14:02 ` rguenth at gcc dot gnu dot org 2007-06-05 16:20 ` rguenth at gcc dot gnu dot org 2007-06-05 20:48 ` ian at airs dot com 2007-06-05 21:17 ` rguenther at suse dot de 2007-06-06 5:33 ` ian at airs dot com 2007-06-06 8:41 ` rguenther at suse dot de 2007-06-08 7:50 ` ian at airs dot com 2007-06-08 13:47 ` rguenther at suse dot de 2007-06-09 9:48 ` rguenth at gcc dot gnu dot org 2007-06-09 9:55 ` pcarlini at suse dot de 2007-06-09 12:03 ` bkoz at gcc dot gnu dot org 2007-06-09 19:29 ` mark at codesourcery dot com 2007-06-12 17:48 ` ian at gcc dot gnu dot org 2007-06-12 18:11 ` ian at airs dot com 2010-06-20 0:01 ` schaub-johannes at web dot de
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20061002174809.11294.qmail@sourceware.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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).