https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108552
--- Comment #32 from Linus Torvalds <torva...@linux-foundation.org> --- Brw, where does the -fprofile-update=single/atomic come from? The kernel just uses CFLAGS_GCOV := -fprofile-arcs -ftest-coverage for this case. So I guess 'single' is just the default value?