]> git.ipfire.org Git - thirdparty/gcc.git/blame - libgcc/gcov.h
[Ada] Use new API when creating a special SPARK heap entity
[thirdparty/gcc.git] / libgcc / gcov.h
CommitLineData
46928a8f 1/* GCOV interface routines.
8d9254fc 2 Copyright (C) 2017-2020 Free Software Foundation, Inc.
46928a8f
ML
3
4 This file is part of GCC.
5
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16 Under Section 7 of GPL version 3, you are granted additional
17 permissions described in the GCC Runtime Library Exception, version
18 3.1, as published by the Free Software Foundation.
19
20 You should have received a copy of the GNU General Public License and
21 a copy of the GCC Runtime Library Exception along with this program;
22 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 <http://www.gnu.org/licenses/>. */
24
25#ifndef GCC_GCOV_H
26#define GCC_GCOV_H
27
28/* Set all counters to zero. */
29
30extern void __gcov_reset (void);
31
32/* Write profile information to a file. */
33
34extern void __gcov_dump (void);
35
46928a8f 36#endif /* GCC_GCOV_H */