public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: Gabriel Dos Reis <gdr@cs.tamu.edu> To: gcc-bugzilla@gcc.gnu.org Cc: gcc-bugs@gcc.gnu.org Subject: Re: [Bug libstdc++/29286] [4.0/4.1/4.2/4.3 Regression] placement new does not change the dynamic type as it should Date: Tue, 22 May 2007 16:25:00 -0000 [thread overview] Message-ID: <871wh8ddvd.fsf@soliton.cs.tamu.edu> (raw) In-Reply-To: <20070522161952.4454.qmail@sourceware.org> "mark at codesourcery dot com" <gcc-bugzilla@gcc.gnu.org> writes: | > Indeed, consider this: | > | > // tu-2.C | > void f(int*); | > void g() { | > union { | > int i; | > double d; | > } t; | > | > t.i = 42; | > f(&t); | > cout << t.d << endl; | > } | > | > I believe we can all agree the definition of g is valid. | | No, I do not. And GCC historically has not; you are only allowed to use | the union for type-punning if the accesses are through the union | directly. I am not talking of the GCC's historical behaviour here, but what the standard actually says. For the object "t", above the last write was to the double field, therefore the read is well-defined. -- Gaby
next prev parent reply other threads:[~2007-05-22 16:25 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 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 [this message] 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=871wh8ddvd.fsf@soliton.cs.tamu.edu \ --to=gdr@cs.tamu.edu \ --cc=gcc-bugs@gcc.gnu.org \ --cc=gcc-bugzilla@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).