1 /****************************************************************************
7 * C Implementation File *
9 * Copyright (C) 2000-2003 Free Software Foundation, Inc. *
11 * GNAT is free software; you can redistribute it and/or modify it under *
12 * terms of the GNU General Public License as published by the Free Soft- *
13 * ware Foundation; either version 2, or (at your option) any later ver- *
14 * sion. GNAT is distributed in the hope that it will be useful, but WITH- *
15 * OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
16 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License *
17 * for more details. You should have received a copy of the GNU General *
18 * Public License distributed with GNAT; see file COPYING. If not, write *
19 * to the Free Software Foundation, 51 Franklin Street, Fifth Floor, *
20 * Boston, MA 02110-1301, USA. *
22 * As a special exception, if you link this file with other files to *
23 * produce an executable, this file does not by itself cause the resulting *
24 * executable to be covered by the GNU General Public License. This except- *
25 * ion does not however invalidate any other reasons why the executable *
26 * file might be covered by the GNU Public License. *
28 * GNAT was originally developed by the GNAT team at New York University. *
29 * Extensive contributions were provided by Ada Core Technologies Inc. *
31 ****************************************************************************/
33 /* This unit reads the allocation tracking log produced by augmented
34 __gnat_malloc and __gnat_free procedures (see file a-raise.c) and
35 provides GNATMEM tool with gdb-compliant output. The output is
36 processed by GNATMEM to detect dynamic memory allocation errors.
38 See GNATMEM section in GNAT User's Guide for more information.
40 NOTE: This capability is currently supported on the following targets:
44 Solaris (sparc and x86) (*)
45 Windows 98/95/NT (x86)
47 (*) on these targets, the compilation must be done with -funwind-tables to
48 be able to build the stack backtrace.
53 static FILE *gmemfile
;
55 /* tb_len is the number of call level supported by this module */
57 static char * tracebk
[tb_len
];
58 static int cur_tb_len
, cur_tb_pos
;
64 struct struct_storage_elmt
{
71 convert_addresses (char *addrs
[], int n_addr
, void *buf
, int *len
);
73 /* reads backtrace information from gmemfile placing them in tracebk
74 array. cur_tb_len is the size of this array
78 gmem_read_backtrace (void)
80 fread (&cur_tb_len
, sizeof (int), 1, gmemfile
);
81 fread (tracebk
, sizeof (char *), cur_tb_len
, gmemfile
);
85 /* initialize gmem feature from the dumpname file. It returns 1 if the
86 dumpname has been generated by GMEM (instrumented malloc/free) and 0 if not
87 (i.e. probably a GDB generated file).
90 int __gnat_gmem_initialize (char *dumpname
)
94 gmemfile
= fopen (dumpname
, "rb");
95 fread (header
, 10, 1, gmemfile
);
97 /* check for GMEM magic-tag */
98 if (memcmp (header
, "GMEM DUMP\n", 10))
107 /* initialize addr2line library */
109 void __gnat_gmem_a2l_initialize (char *exename
)
111 extern char **gnat_argv
;
115 gnat_argv
[0] = exename
;
116 convert_addresses (tracebk
, 1, s
, &l
);
119 /* Read next allocation of deallocation information from the GMEM file and
120 write an alloc/free information in buf to be processed by gnatmem */
123 __gnat_gmem_read_next (struct struct_storage_elmt
*buf
)
129 j
= fgetc (gmemfile
);
140 buf
->Elmt
= LOG_ALLOC
;
141 fread (&(buf
->Address
), sizeof (void *), 1, gmemfile
);
142 fread (&(buf
->Size
), sizeof (size_t), 1, gmemfile
);
145 buf
->Elmt
= LOG_DEALL
;
146 fread (&(buf
->Address
), sizeof (void *), 1, gmemfile
);
149 puts ("GNATMEM dump file corrupt");
153 gmem_read_backtrace ();
157 /* Read the next frame from the current traceback, and move the cursor to the
160 void __gnat_gmem_read_next_frame (void** addr
)
162 if (cur_tb_pos
>= cur_tb_len
) {
165 *addr
= (void*)*(tracebk
+ cur_tb_pos
);
170 /* Converts addr into a symbolic traceback, and stores the result in buf
171 with a format suitable for gnatmem */
173 void __gnat_gmem_symbolic (void * addr
, char* buf
, int* length
)
175 char* addresses
[] = { (char*)addr
};
176 extern char** gnat_argv
;
178 convert_addresses (addresses
, 1, buf
, length
);