https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93623
--- Comment #6 from calixte <cdenizet at mozilla dot com> --- (In reply to Alexander Monakov from comment #5) > (In reply to calixte from comment #2) > > I think the reset is useless in the case of exec** functions since the > > counters are lost when an exec** is called. So it can probably be removed > > too. > > exec can fail; resetting only after an (unsuccessful) exec may be ok, but > eliding the reset entirely does not seem so. +1
