[Bug middle-end/100685] #pragma GCC push_options ineffective for optimize options

2021-07-01 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100685 --- Comment #6 from Martin Sebor --- Yes, thanks.

[Bug middle-end/100685] #pragma GCC push_options ineffective for optimize options

2021-07-01 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100685 --- Comment #5 from Martin Liška --- Good. So all is fine, right?

[Bug middle-end/100685] #pragma GCC push_options ineffective for optimize options

2021-06-01 Thread msebor at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100685 --- Comment #4 from Martin Sebor --- Thanks. I belatedly realized that the test case didn't reproduce the problem I was seeing. The one below demonstrates that the -O1 option does override the -O2 set earlier. Sorry for the noise! $ cat pr10

[Bug middle-end/100685] #pragma GCC push_options ineffective for optimize options

2021-06-01 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100685 Martin Liška changed: What|Removed |Added Resolution|--- |INVALID Status|ASSIGNED

[Bug middle-end/100685] #pragma GCC push_options ineffective for optimize options

2021-05-20 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100685 Martin Liška changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot gnu.org Ev

[Bug middle-end/100685] #pragma GCC push_options ineffective for optimize options

2021-05-19 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100685 Richard Biener changed: What|Removed |Added CC||marxin at gcc dot gnu.org --- Comment