https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93623
--- Comment #2 from calixte <cdenizet at mozilla dot com> --- 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.
