On 16.07.2025 23:23, Volodymyr Babchuk wrote:
> By default GCC uses "simple" coverage counter update
> mechanism. It is perfectly fine for single-threaded (or single CPU in
> our case) setups, but will cause race conditions on SMP systems.
>
> For example, I observed that counters are going backwa
By default GCC uses "simple" coverage counter update
mechanism. It is perfectly fine for single-threaded (or single CPU in
our case) setups, but will cause race conditions on SMP systems.
For example, I observed that counters are going backwards when running
Xen inside QEMU.
GCC starting from ver
