[Bug c++/106389] [11/12/13 Regression] IPA modref breaks Safe Bitfields in C++

2022-07-24 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106389 --- Comment #6 from Richard Biener --- (In reply to Marek Polacek from comment #4) > (In reply to Richard Biener from comment #3) > > For the rule to take effect the frontend needs to mark each access that > > falls under the rule as to have ali

[Bug c++/106389] [11/12/13 Regression] IPA modref breaks Safe Bitfields in C++

2022-07-24 Thread hubicka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106389 --- Comment #5 from Jan Hubicka --- I agree with Richi that this is not modref bug. It merely exposes the fact that we intentionally ignore this rule. For single compilation unit this rule is already problematic since one can not determine alia

[Bug c++/106389] [11/12/13 Regression] IPA modref breaks Safe Bitfields in C++

2022-07-22 Thread mpolacek at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106389 --- Comment #4 from Marek Polacek --- (In reply to Richard Biener from comment #3) > For the rule to take effect the frontend needs to mark each access that > falls under the rule as to have alias-set zero. Something like: make c_common_get_ali

[Bug c++/106389] [11/12/13 Regression] IPA modref breaks Safe Bitfields in C++

2022-07-22 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106389 Richard Biener changed: What|Removed |Added CC||rguenth at gcc dot gnu.org Co