https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99512
Bug ID: 99512
Summary: Add counter annotation to allow store-data-races to be
introduced with -fprofile-update=single
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: gcov-profile
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
CC: marxin at gcc dot gnu.org
Target Milestone: ---
PR64928 shows that LIM when applying store-motion to profile counters with
-fprofile-update=single adds code to avoid introducing store-data-races.
But with -fprofile-update=single that's not required.
The proposal is to add means to control -fallow-store-data-races at the
decl level (also by users) by adding an attribute and in the middle-end
abstract the global flag check for a decl specific which can lookup the
attribute and coverage.c marking the profile counters this way for
-fprofile-update=single.
