~ubuntu-branches/debian/lenny/elfutils/lenny

« back to all changes in this revision

Viewing changes to libdw/dwarf_getscopes.c

  • Committer: Bazaar Package Importer
  • Author(s): Kurt Roeckx
  • Date: 2006-08-27 15:48:23 UTC
  • Revision ID: james.westby@ubuntu.com-20060827154823-mjwd7ydlbxgwqn4u
Tags: upstream-0.123
ImportĀ upstreamĀ versionĀ 0.123

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
/* Return scope DIEs containing PC address.
 
2
   Copyright (C) 2005 Red Hat, Inc.
 
3
   This file is part of Red Hat elfutils.
 
4
 
 
5
   Red Hat elfutils is free software; you can redistribute it and/or modify
 
6
   it under the terms of the GNU General Public License as published by the
 
7
   Free Software Foundation; version 2 of the License.
 
8
 
 
9
   Red Hat elfutils is distributed in the hope that it will be useful, but
 
10
   WITHOUT ANY WARRANTY; without even the implied warranty of
 
11
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 
12
   General Public License for more details.
 
13
 
 
14
   You should have received a copy of the GNU General Public License along
 
15
   with Red Hat elfutils; if not, write to the Free Software Foundation,
 
16
   Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
 
17
 
 
18
   In addition, as a special exception, Red Hat, Inc. gives You the
 
19
   additional right to link the code of Red Hat elfutils with code licensed
 
20
   under any Open Source Initiative certified open source license
 
21
   (http://www.opensource.org/licenses/index.php) which requires the
 
22
   distribution of source code with any binary distribution and to
 
23
   distribute linked combinations of the two.  Non-GPL Code permitted under
 
24
   this exception must only link to the code of Red Hat elfutils through
 
25
   those well defined interfaces identified in the file named EXCEPTION
 
26
   found in the source code files (the "Approved Interfaces").  The files
 
27
   of Non-GPL Code may instantiate templates or use macros or inline
 
28
   functions from the Approved Interfaces without causing the resulting
 
29
   work to be covered by the GNU General Public License.  Only Red Hat,
 
30
   Inc. may make changes or additions to the list of Approved Interfaces.
 
31
   Red Hat's grant of this exception is conditioned upon your not adding
 
32
   any new exceptions.  If you wish to add a new Approved Interface or
 
33
   exception, please contact Red Hat.  You must obey the GNU General Public
 
34
   License in all respects for all of the Red Hat elfutils code and other
 
35
   code used in conjunction with Red Hat elfutils except the Non-GPL Code
 
36
   covered by this exception.  If you modify this file, you may extend this
 
37
   exception to your version of the file, but you are not obligated to do
 
38
   so.  If you do not wish to provide this exception without modification,
 
39
   you must delete this exception statement from your version and license
 
40
   this file solely under the GPL without exception.
 
41
 
 
42
   Red Hat elfutils is an included package of the Open Invention Network.
 
43
   An included package of the Open Invention Network is a package for which
 
44
   Open Invention Network licensees cross-license their patents.  No patent
 
45
   license is granted, either expressly or impliedly, by designation as an
 
46
   included package.  Should you wish to participate in the Open Invention
 
47
   Network licensing program, please visit www.openinventionnetwork.com
 
48
   <http://www.openinventionnetwork.com>.  */
 
49
 
 
50
#ifdef HAVE_CONFIG_H
 
51
# include <config.h>
 
52
#endif
 
53
 
 
54
#include <assert.h>
 
55
#include <stdlib.h>
 
56
#include "libdwP.h"
 
57
#include <dwarf.h>
 
58
 
 
59
 
 
60
struct args
 
61
{
 
62
  Dwarf_Addr pc;
 
63
  Dwarf_Die *scopes;
 
64
  unsigned int inlined, nscopes;
 
65
  Dwarf_Die inlined_origin;
 
66
};
 
67
 
 
68
/* Preorder visitor: prune the traversal if this DIE does not contain PC.  */
 
69
static int
 
70
pc_match (unsigned int depth, struct Dwarf_Die_Chain *die, void *arg)
 
71
{
 
72
  struct args *a = arg;
 
73
 
 
74
  if (a->scopes != NULL || INTUSE(dwarf_haspc) (&die->die, a->pc) <= 0)
 
75
    die->prune = true;
 
76
  else if (INTUSE (dwarf_tag) (&die->die) == DW_TAG_inlined_subroutine)
 
77
    a->inlined = depth;
 
78
 
 
79
  return 0;
 
80
}
 
81
 
 
82
/* Preorder visitor for second partial traversal after finding a
 
83
   concrete inlined instance.  */
 
84
static int
 
85
origin_match (unsigned int depth, struct Dwarf_Die_Chain *die, void *arg)
 
86
{
 
87
  struct args *a = arg;
 
88
 
 
89
  if (die->die.addr != a->inlined_origin.addr)
 
90
    return 0;
 
91
 
 
92
  /* We have a winner!  This is the abstract definition of the inline
 
93
     function of which A->scopes[A->nscopes - 1] is a concrete instance.
 
94
  */
 
95
 
 
96
  unsigned int nscopes = a->nscopes + depth;
 
97
  Dwarf_Die *scopes = realloc (a->scopes, nscopes * sizeof scopes[0]);
 
98
  if (scopes == NULL)
 
99
    {
 
100
      free (a->scopes);
 
101
      __libdw_seterrno (DWARF_E_NOMEM);
 
102
      return -1;
 
103
    }
 
104
 
 
105
  a->scopes = scopes;
 
106
  do
 
107
    {
 
108
      die = die->parent;
 
109
      scopes[a->nscopes++] = die->die;
 
110
    }
 
111
  while (a->nscopes < nscopes);
 
112
  assert (die->parent == NULL);
 
113
  return a->nscopes;
 
114
}
 
115
 
 
116
/* Postorder visitor: first (innermost) call wins.  */
 
117
static int
 
118
pc_record (unsigned int depth, struct Dwarf_Die_Chain *die, void *arg)
 
119
{
 
120
  struct args *a = arg;
 
121
 
 
122
  if (a->scopes == NULL)
 
123
    {
 
124
      if (die->prune)
 
125
        return 0;
 
126
 
 
127
      /* We have hit the innermost DIE that contains the target PC.  */
 
128
 
 
129
      a->nscopes = depth + 1 - a->inlined;
 
130
      a->scopes = malloc (a->nscopes * sizeof a->scopes[0]);
 
131
      if (a->scopes == NULL)
 
132
        {
 
133
          __libdw_seterrno (DWARF_E_NOMEM);
 
134
          return -1;
 
135
        }
 
136
 
 
137
      for (unsigned int i = 0; i < a->nscopes; ++i)
 
138
        {
 
139
          a->scopes[i] = die->die;
 
140
          die = die->parent;
 
141
        }
 
142
 
 
143
      if (a->inlined == 0)
 
144
        {
 
145
          assert (die == NULL);
 
146
          return a->nscopes;
 
147
        }
 
148
 
 
149
      /* This is the concrete inlined instance itself.
 
150
         Record its abstract_origin pointer.  */
 
151
      Dwarf_Die *const inlinedie = &a->scopes[depth - a->inlined];
 
152
 
 
153
      assert (INTUSE (dwarf_tag) (inlinedie) == DW_TAG_inlined_subroutine);
 
154
      Dwarf_Attribute attr_mem;
 
155
      Dwarf_Attribute *attr = INTUSE (dwarf_attr) (inlinedie,
 
156
                                                   DW_AT_abstract_origin,
 
157
                                                   &attr_mem);
 
158
      if (INTUSE (dwarf_formref_die) (attr, &a->inlined_origin) == NULL)
 
159
        return -1;
 
160
      return 0;
 
161
    }
 
162
 
 
163
 
 
164
  /* We've recorded the scopes back to one that is a concrete inlined
 
165
     instance.  Now return out of the traversal back to the scope
 
166
     containing that instance.  */
 
167
 
 
168
  assert (a->inlined);
 
169
  if (depth >= a->inlined)
 
170
    /* Not there yet.  */
 
171
    return 0;
 
172
 
 
173
  /* Now we are in a scope that contains the concrete inlined instance.
 
174
     Search it for the inline function's abstract definition.
 
175
     If we don't find it, return to search the containing scope.
 
176
     If we do find it, the nonzero return value will bail us out
 
177
     of the postorder traversal.  */
 
178
  return __libdw_visit_scopes (depth, die, &origin_match, NULL, &a);
 
179
}
 
180
 
 
181
 
 
182
int
 
183
dwarf_getscopes (Dwarf_Die *cudie, Dwarf_Addr pc, Dwarf_Die **scopes)
 
184
{
 
185
  if (cudie == NULL)
 
186
    return -1;
 
187
 
 
188
  struct Dwarf_Die_Chain cu = { .parent = NULL, .die = *cudie };
 
189
  struct args a = { .pc = pc };
 
190
 
 
191
  int result = __libdw_visit_scopes (0, &cu, &pc_match, &pc_record, &a);
 
192
 
 
193
  if (result == 0 && a.scopes != NULL)
 
194
    result = __libdw_visit_scopes (0, &cu, &origin_match, NULL, &a);
 
195
 
 
196
  if (result > 0)
 
197
    *scopes = a.scopes;
 
198
 
 
199
  return result;
 
200
}