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);