subject:"\[Bug tree\-optimization\/80794\] constant objects can be assumed to be immutable"

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2020-09-14 Thread matthijs at stdin dot nl

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 --- Comment #10 from Matthijs Kooijman --- Also note that pr96996, that was marked as a duplicate of this report, talks about a notable subcase of the case presented in this report. While this report talks about constant complete objects (e.g. a

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2020-09-14 Thread msebor at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 Martin Sebor changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2020-09-14 Thread msebor at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 Martin Sebor changed: What|Removed |Added CC||matthijs at stdin dot nl --- Comment #8 f

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2017-05-17 Thread pinskia at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 --- Comment #7 from Andrew Pinski --- (In reply to Martin Sebor from comment #6) > (In reply to Martin Sebor from comment #5) > > S::i cannot change during the lifetime of an S object because S::i is > > declared const. This holds regardless of

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2017-05-17 Thread msebor at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 --- Comment #6 from Martin Sebor --- (In reply to Martin Sebor from comment #5) > S::i cannot change during the lifetime of an S object because S::i is > declared const. This holds regardless of whether the S object itself is > const. To be cle

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2017-05-17 Thread msebor at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 --- Comment #5 from Martin Sebor --- S::i cannot change during the lifetime of an S object because S::i is declared const. This holds regardless of whether the S object itself is const. [basic.life] outlines the restrictions on creating a new o

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2017-05-17 Thread matz at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 Michael Matz changed: What|Removed |Added CC||matz at gcc dot gnu.org --- Comment #4 fr

[Bug tree-optimization/80794] constant objects can be assumed to be immutable

2017-05-17 Thread pinskia at gcc dot gnu.org

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80794 --- Comment #3 from Andrew Pinski --- Can't S::f call inplace operator new changing the value of *this for the call in bar?