[Bug middle-end/115802] Non-atomic load of static variable moved out of loop despite atomic fences

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115802 --- Comment #9 from Ivan Bodrov --- Created attachment 58598 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58598&action=edit Minimal program to reproduce the issue (no condvar) To further simplify the original code, the condition variabl

[Bug middle-end/115802] Non-atomic load of static variable moved out of loop despite atomic fences

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115802 --- Comment #8 from Ivan Bodrov --- The 2nd example is only intended to show changes in code generation after the fence is moved to the function that is visible, but is not inlined, which is the cause of this issue. The code is not supposed to

[Bug middle-end/115802] Non-atomic load of static variable moved out of loop despite atomic fences

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115802 --- Comment #6 from Ivan Bodrov --- Created attachment 58597 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58597&action=edit Smaller, but non runnable example. Full demo code for the above (can't be run, only shows code generation). Can

[Bug middle-end/115802] Non-atomic load of static variable moved out of loop despite atomic fences

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115802 --- Comment #5 from Ivan Bodrov --- Without the mutex threads would race for the first access to non-atomic variable. Seq-Cst ordering is only used to simplify the example, it can be relaxed to acquire/release/relaxed for different operations.

[Bug middle-end/115802] Non-atomic load of static variable moved out of loop despite atomic fences

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115802 --- Comment #3 from Ivan Bodrov --- Yes, but "wait" operation is not supposed to touch anything. The example shows typical usage of condition variable, except "real" code usually accesses data through some pointer, not as a static variable. Or

[Bug rtl-optimization/115802] New: Non-atomic load of static variable moved out of loop despite atomic fences

: normal Priority: P3 Component: rtl-optimization Assignee: unassigned at gcc dot gnu.org Reporter: securesneakers at gmail dot com Target Milestone: --- Created attachment 58595 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58595&action=edit

[Bug target/110184] [x86] Missed optimisation: atomic operations should use PF, ZF and SF

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110184 --- Comment #3 from Ivan Bodrov --- Created attachment 56646 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56646&action=edit Fails to apply optimization for __atomic_fetch_and ZF-flag with separate literals

[Bug target/110184] [x86] Missed optimisation: atomic operations should use PF, ZF and SF

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110184 Ivan Bodrov changed: What|Removed |Added CC||securesneakers at gmail dot com

[Bug sanitizer/83780] False positive alignment error with -fsanitize=undefined with virtual base

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83780 --- Comment #2 from Ivan Bodrov --- I have reported the same bug for Clang: https://bugs.llvm.org/show_bug.cgi?id=35902 Unlike GCC, Clang is also eager to generate unaligned "movaps" instructions, crashing the program. Afaik GCC does not generat

[Bug c++/83780] New: False positive alignment error with -fsanitize=undefined with virtual base

: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: securesneakers at gmail dot com Target Milestone: --- Created attachment 43091 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43091&action=edit Minimal examp