13ad841b2Smrg /* GCOV interface routines. 2*4c3eb207Smrg Copyright (C) 2017-2020 Free Software Foundation, Inc. 33ad841b2Smrg 43ad841b2Smrg This file is part of GCC. 53ad841b2Smrg 63ad841b2Smrg GCC is free software; you can redistribute it and/or modify it under 73ad841b2Smrg the terms of the GNU General Public License as published by the Free 83ad841b2Smrg Software Foundation; either version 3, or (at your option) any later 93ad841b2Smrg version. 103ad841b2Smrg 113ad841b2Smrg GCC is distributed in the hope that it will be useful, but WITHOUT ANY 123ad841b2Smrg WARRANTY; without even the implied warranty of MERCHANTABILITY or 133ad841b2Smrg FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 143ad841b2Smrg for more details. 153ad841b2Smrg 163ad841b2Smrg Under Section 7 of GPL version 3, you are granted additional 173ad841b2Smrg permissions described in the GCC Runtime Library Exception, version 183ad841b2Smrg 3.1, as published by the Free Software Foundation. 193ad841b2Smrg 203ad841b2Smrg You should have received a copy of the GNU General Public License and 213ad841b2Smrg a copy of the GCC Runtime Library Exception along with this program; 223ad841b2Smrg see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 233ad841b2Smrg <http://www.gnu.org/licenses/>. */ 243ad841b2Smrg 253ad841b2Smrg #ifndef GCC_GCOV_H 263ad841b2Smrg #define GCC_GCOV_H 273ad841b2Smrg 283ad841b2Smrg /* Set all counters to zero. */ 293ad841b2Smrg 303ad841b2Smrg extern void __gcov_reset (void); 313ad841b2Smrg 323ad841b2Smrg /* Write profile information to a file. */ 333ad841b2Smrg 343ad841b2Smrg extern void __gcov_dump (void); 353ad841b2Smrg 363ad841b2Smrg /* Write profile information to a file and reset counters to zero. 373ad841b2Smrg The function does operations under a mutex. */ 383ad841b2Smrg 393ad841b2Smrg extern void __gcov_flush (void); 403ad841b2Smrg 413ad841b2Smrg #endif /* GCC_GCOV_H */ 42