https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87553
--- Comment #4 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> --- [...] > When the executable is executed, the *.gcda file should be created. Please > check why the file is not generated. Sorry, I've been doing too many things at once and not been paying close enough attention. Besides, the g++.log file lacks the "spawn ..." line for executing the binary, so I missed this (obvious) step. Whatever, when I run the executable, inline_mismatch_args.gcda *is* generated. Still, when I run the -fprofile-use step, I get the warnings reported.