GDB (xrefs)
compile-object-run.c
Go to the documentation of this file.
1 /* Call module for 'compile' command.
2 
3  Copyright (C) 2014-2015 Free Software Foundation, Inc.
4 
5  This file is part of GDB.
6 
7  This program is free software; you can redistribute it and/or modify
8  it under the terms of the GNU General Public License as published by
9  the Free Software Foundation; either version 3 of the License, or
10  (at your option) any later version.
11 
12  This program is distributed in the hope that it will be useful,
13  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  GNU General Public License for more details.
16 
17  You should have received a copy of the GNU General Public License
18  along with this program. If not, see <http://www.gnu.org/licenses/>. */
19 
20 #include "defs.h"
21 #include "compile-object-run.h"
22 #include "value.h"
23 #include "infcall.h"
24 #include "objfiles.h"
25 #include "compile-internal.h"
26 #include "dummy-frame.h"
27 #include "block.h"
28 #include "valprint.h"
29 #include "compile.h"
30 
31 /* Helper for do_module_cleanup. */
32 
34 {
35  /* Boolean to set true upon a call of do_module_cleanup.
36  The pointer may be NULL. */
37  int *executedp;
38 
39  /* .c file OBJFILE was built from. It needs to be xfree-d. */
40  char *source_file;
41 
42  /* Copy from struct compile_module. */
44  void *scope_data;
45 
46  /* Copy from struct compile_module. */
49 
50  /* Copy from struct compile_module. */
52 
53  /* objfile_name of our objfile. */
55 };
56 
57 /* Cleanup everything after the inferior function dummy frame gets
58  discarded. */
59 
61 static void
62 do_module_cleanup (void *arg, int registers_valid)
63 {
64  struct do_module_cleanup *data = arg;
65  struct objfile *objfile;
66 
67  if (data->executedp != NULL)
68  {
69  *data->executedp = 1;
70 
71  /* This code cannot be in compile_object_run as OUT_VALUE_TYPE
72  no longer exists there. */
75  {
76  struct value *addr_value;
77  struct type *ptr_type = lookup_pointer_type (data->out_value_type);
78 
79  addr_value = value_from_pointer (ptr_type, data->out_value_addr);
80 
81  /* SCOPE_DATA would be stale unlesse EXECUTEDP != NULL. */
82  compile_print_value (value_ind (addr_value), data->scope_data);
83  }
84  }
85 
86  ALL_OBJFILES (objfile)
87  if ((objfile->flags & OBJF_USERLOADED) == 0
88  && (strcmp (objfile_name (objfile), data->objfile_name_string) == 0))
89  {
90  free_objfile (objfile);
91 
92  /* It may be a bit too pervasive in this dummy_frame dtor callback. */
94 
95  break;
96  }
97 
98  /* Delete the .c file. */
99  unlink (data->source_file);
100  xfree (data->source_file);
101 
103 
104  /* Delete the .o file. */
105  unlink (data->objfile_name_string);
106  xfree (data);
107 }
108 
109 /* Perform inferior call of MODULE. This function may throw an error.
110  This function may leave files referenced by MODULE on disk until
111  the inferior call dummy frame is discarded. This function may throw errors.
112  Thrown errors and left MODULE files are unrelated events. Caller must no
113  longer touch MODULE's memory after this function has been called. */
114 
115 void
117 {
118  struct value *func_val;
119  struct frame_id dummy_id;
120  struct cleanup *cleanups;
121  struct do_module_cleanup *data;
122  const char *objfile_name_s = objfile_name (module->objfile);
123  int dtor_found, executed = 0;
124  struct symbol *func_sym = module->func_sym;
125  CORE_ADDR regs_addr = module->regs_addr;
126  struct objfile *objfile = module->objfile;
127 
128  data = xmalloc (sizeof (*data) + strlen (objfile_name_s));
129  data->executedp = &executed;
130  data->source_file = xstrdup (module->source_file);
131  strcpy (data->objfile_name_string, objfile_name_s);
132  data->scope = module->scope;
133  data->scope_data = module->scope_data;
134  data->out_value_type = module->out_value_type;
135  data->out_value_addr = module->out_value_addr;
136  data->munmap_list_head = module->munmap_list_head;
137 
138  xfree (module->source_file);
139  xfree (module);
140  module = NULL;
141 
142  TRY
143  {
144  struct type *func_type = SYMBOL_TYPE (func_sym);
145  htab_t copied_types;
146  int current_arg = 0;
147  struct value **vargs;
148 
149  /* OBJFILE may disappear while FUNC_TYPE still will be in use. */
150  copied_types = create_copied_types_hash (objfile);
151  func_type = copy_type_recursive (objfile, func_type, copied_types);
152  htab_delete (copied_types);
153 
154  gdb_assert (TYPE_CODE (func_type) == TYPE_CODE_FUNC);
155  func_val = value_from_pointer (lookup_pointer_type (func_type),
156  BLOCK_START (SYMBOL_BLOCK_VALUE (func_sym)));
157 
158  vargs = alloca (sizeof (*vargs) * TYPE_NFIELDS (func_type));
159  if (TYPE_NFIELDS (func_type) >= 1)
160  {
161  gdb_assert (regs_addr != 0);
162  vargs[current_arg] = value_from_pointer
163  (TYPE_FIELD_TYPE (func_type, current_arg), regs_addr);
164  ++current_arg;
165  }
166  if (TYPE_NFIELDS (func_type) >= 2)
167  {
168  gdb_assert (data->out_value_addr != 0);
169  vargs[current_arg] = value_from_pointer
170  (TYPE_FIELD_TYPE (func_type, current_arg), data->out_value_addr);
171  ++current_arg;
172  }
173  gdb_assert (current_arg == TYPE_NFIELDS (func_type));
174  call_function_by_hand_dummy (func_val, TYPE_NFIELDS (func_type), vargs,
175  do_module_cleanup, data);
176  }
178  {
179  /* In the case of DTOR_FOUND or in the case of EXECUTED nothing
180  needs to be done. */
181  dtor_found = find_dummy_frame_dtor (do_module_cleanup, data);
182  if (!executed)
183  data->executedp = NULL;
184  gdb_assert (!(dtor_found && executed));
185  if (!dtor_found && !executed)
186  do_module_cleanup (data, 0);
187  throw_exception (ex);
188  }
189  END_CATCH
190 
191  dtor_found = find_dummy_frame_dtor (do_module_cleanup, data);
192  gdb_assert (!dtor_found && executed);
193 }
#define OBJF_USERLOADED
Definition: objfiles.h:445
bfd_vma CORE_ADDR
Definition: common-types.h:41
void xfree(void *)
Definition: common-utils.c:97
struct munmap_list * munmap_list_head
CORE_ADDR out_value_addr
struct value * value_ind(struct value *arg1)
Definition: valops.c:1533
compile_i_scope_types
Definition: defs.h:60
#define BLOCK_START(bl)
Definition: block.h:116
struct value * call_function_by_hand_dummy(struct value *function, int nargs, struct value **args, dummy_frame_dtor_ftype *dummy_dtor, void *dummy_dtor_data)
Definition: infcall.c:602
#define END_CATCH
#define TYPE_FIELD_TYPE(thistype, n)
Definition: gdbtypes.h:1368
#define TRY
#define ALL_OBJFILES(obj)
Definition: objfiles.h:579
#define CATCH(EXCEPTION, MASK)
enum compile_i_scope_types scope
void free_objfile(struct objfile *objfile)
Definition: objfiles.c:540
struct type * copy_type_recursive(struct objfile *objfile, struct type *type, htab_t copied_types)
Definition: gdbtypes.c:4353
Definition: gdbtypes.h:749
void( dummy_frame_dtor_ftype)(void *data, int registers_valid)
Definition: dummy-frame.h:59
#define gdb_assert(expr)
Definition: gdb_assert.h:33
htab_t create_copied_types_hash(struct objfile *objfile)
Definition: gdbtypes.c:4315
struct munmap_list * munmap_list_head
const char * objfile_name(const struct objfile *objfile)
Definition: objfiles.c:1499
void * xmalloc(YYSIZE_T)
Definition: value.c:172
void clear_symtab_users(int add_flags)
Definition: symfile.c:2996
void throw_exception(struct gdb_exception exception)
enum compile_i_scope_types scope
struct value * value_from_pointer(struct type *type, CORE_ADDR addr)
Definition: value.c:3490
struct symbol * func_sym
#define SYMBOL_BLOCK_VALUE(symbol)
Definition: symtab.h:185
#define TYPE_CODE(thistype)
Definition: gdbtypes.h:1240
void compile_print_value(struct value *val, void *data_voidp)
Definition: compile.c:170
void munmap_list_free(struct munmap_list *head)
#define TYPE_NFIELDS(thistype)
Definition: gdbtypes.h:1241
void compile_object_run(struct compile_module *module)
static dummy_frame_dtor_ftype do_module_cleanup
#define SYMBOL_TYPE(symbol)
Definition: symtab.h:799
Definition: symtab.h:703
unsigned short flags
Definition: objfiles.h:282
struct type * out_value_type
struct objfile * objfile
int find_dummy_frame_dtor(dummy_frame_dtor_ftype *dtor, void *dtor_data)
Definition: dummy-frame.c:254
struct type * lookup_pointer_type(struct type *type)
Definition: gdbtypes.c:368
struct type * out_value_type