blob: 9ca4f7b1434e8dd35b604d23f185ef9d304f7349 [file] [log] [blame]
njnd2b17112005-04-19 04:10:25 +00001/*--------------------------------------------------------------------*/
2/*--- ErrorMgr: management of errors and suppressions. ---*/
3/*--- pub_tool_errormgr.h ---*/
4/*--------------------------------------------------------------------*/
5
6/*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
9
sewardj4d474d02008-02-11 11:34:59 +000010 Copyright (C) 2000-2008 Julian Seward
njnd2b17112005-04-19 04:10:25 +000011 jseward@acm.org
12
13 This program is free software; you can redistribute it and/or
14 modify it under the terms of the GNU General Public License as
15 published by the Free Software Foundation; either version 2 of the
16 License, or (at your option) any later version.
17
18 This program is distributed in the hope that it will be useful, but
19 WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 General Public License for more details.
22
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, write to the Free Software
25 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26 02111-1307, USA.
27
28 The GNU General Public License is contained in the file COPYING.
29*/
30
31#ifndef __PUB_TOOL_ERRORMGR_H
32#define __PUB_TOOL_ERRORMGR_H
33
34#include "pub_tool_execontext.h"
35
36/* ------------------------------------------------------------------ */
37/* Error records contain enough info to generate an error report. The idea
38 is that (typically) the same few points in the program generate thousands
39 of errors, and we don't want to spew out a fresh error message for each
40 one. Instead, we use these structures to common up duplicates.
41*/
42
43typedef
44 Int /* Do not make this unsigned! */
45 ErrorKind;
46
47/* The tool-relevant parts of an Error are:
48 kind: what kind of error; must be in the range (0..)
49 addr: use is optional. 0 by default.
50 string: use is optional. NULL by default.
51 extra: use is optional. NULL by default. void* so it's extensible.
52*/
53typedef
54 struct _Error
55 Error;
56
njn51d827b2005-05-09 01:02:08 +000057/* Useful in VG_(tdict).tool_error_matches_suppression(),
58 * VG_(tdict).tool_pp_Error(), etc */
njnd2b17112005-04-19 04:10:25 +000059ExeContext* VG_(get_error_where) ( Error* err );
60ErrorKind VG_(get_error_kind) ( Error* err );
61Addr VG_(get_error_address) ( Error* err );
62Char* VG_(get_error_string) ( Error* err );
63void* VG_(get_error_extra) ( Error* err );
64
65/* Call this when an error occurs. It will be recorded if it hasn't been
66 seen before. If it has, the existing error record will have its count
67 incremented.
68
69 'tid' can be found as for VG_(record_ExeContext)(). The `extra' field can
70 be stack-allocated; it will be copied by the core if needed (but it
71 won't be copied if it's NULL).
72
73 If no 'a', 's' or 'extra' of interest needs to be recorded, just use
74 NULL for them. */
75extern void VG_(maybe_record_error) ( ThreadId tid, ErrorKind ekind,
76 Addr a, Char* s, void* extra );
77
78/* Similar to VG_(maybe_record_error)(), except this one doesn't record the
79 error -- useful for errors that can only happen once. The errors can be
80 suppressed, though. Return value is True if it was suppressed.
njn02977032005-05-17 04:00:11 +000081 'print_error' dictates whether to print the error, which is a bit of a
njnd2b17112005-04-19 04:10:25 +000082 hack that's useful sometimes if you just want to know if the error would
njn02977032005-05-17 04:00:11 +000083 be suppressed without possibly printing it. 'count_error' dictates
njnd2b17112005-04-19 04:10:25 +000084 whether to add the error in the error total count (another mild hack). */
85extern Bool VG_(unique_error) ( ThreadId tid, ErrorKind ekind,
86 Addr a, Char* s, void* extra,
87 ExeContext* where, Bool print_error,
88 Bool allow_GDB_attach, Bool count_error );
89
90/* Gets a non-blank, non-comment line of at most nBuf chars from fd.
91 Skips leading spaces on the line. Returns True if EOF was hit instead.
92 Useful for reading in extra tool-specific suppression lines. */
93extern Bool VG_(get_line) ( Int fd, Char* buf, Int nBuf );
94
95
96/* ------------------------------------------------------------------ */
97/* Suppressions describe errors which we want to suppress, ie, not
98 show the user, usually because it is caused by a problem in a library
99 which we can't fix, replace or work around. Suppressions are read from
100 a file at startup time. This gives flexibility so that new
101 suppressions can be added to the file as and when needed.
102*/
103typedef
104 Int /* Do not make this unsigned! */
105 SuppKind;
106
107/* The tool-relevant parts of a suppression are:
108 kind: what kind of suppression; must be in the range (0..)
109 string: use is optional. NULL by default.
110 extra: use is optional. NULL by default. void* so it's extensible.
111*/
112typedef
113 struct _Supp
114 Supp;
115
njn51d827b2005-05-09 01:02:08 +0000116/* Useful in VG_(tdict).tool_error_matches_suppression() */
njnd2b17112005-04-19 04:10:25 +0000117SuppKind VG_(get_supp_kind) ( Supp* su );
118Char* VG_(get_supp_string) ( Supp* su );
119void* VG_(get_supp_extra) ( Supp* su );
120
121/* Must be used in VG_(recognised_suppression)() */
122void VG_(set_supp_kind) ( Supp* su, SuppKind suppkind );
123/* May be used in VG_(read_extra_suppression_info)() */
124void VG_(set_supp_string) ( Supp* su, Char* string );
125void VG_(set_supp_extra) ( Supp* su, void* extra );
126
127
128#endif // __PUB_TOOL_ERRORMGR_H
129
130/*--------------------------------------------------------------------*/
131/*--- end ---*/
132/*--------------------------------------------------------------------*/