[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-12-16 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 --- Comment #7 from Richard Biener --- Author: rguenth Date: Fri Dec 16 09:40:03 2016 New Revision: 243738 URL: https://gcc.gnu.org/viewcvs?rev=243738&root=gcc&view=rev Log: 2016-12-16 Richard Biener PR c++/71694 * langhooks-

[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-12-16 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Known to work|

[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-12-14 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-07-21 Thread jason at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 --- Comment #4 from Jason Merrill --- (In reply to Richard Biener from comment #3) > The C++ FE identifies such types with > > CLASSTYPE_NON_LAYOUT_POD_P (t) || CLASSTYPE_EMPTY_P (t) > > where only CLASSTYPE_NON_LAYOUT_POD_P is interesting to

[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-06-29 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 --- Comment #3 from Richard Biener --- The C++ FE identifies such types with CLASSTYPE_NON_LAYOUT_POD_P (t) || CLASSTYPE_EMPTY_P (t) where only CLASSTYPE_NON_LAYOUT_POD_P is interesting to us. Only available in struct lang_type. Possibly ab

[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-06-29 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 --- Comment #2 from Richard Biener --- I guess even if not obviously used as a base we need to consider it being a base. Thus for void foo (B *b) { b->c = 1; } we may not access tail padding either. So stor-layout.c needs to be conservative

[Bug c++/71694] store-data race with bitfields and tail-padding in C++

2016-06-29 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71694 Richard Biener changed: What|Removed |Added CC||jason at gcc dot gnu.org --- Comment #1