Commit | Line | Data |
---|---|---|
bb2ec1b3 TT |
1 | /* Call module for 'compile' command. |
2 | ||
618f726f | 3 | Copyright (C) 2014-2016 Free Software Foundation, Inc. |
bb2ec1b3 TT |
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" | |
83d3415e | 27 | #include "block.h" |
36de76f9 JK |
28 | #include "valprint.h" |
29 | #include "compile.h" | |
bb2ec1b3 TT |
30 | |
31 | /* Helper for do_module_cleanup. */ | |
32 | ||
33 | struct do_module_cleanup | |
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 | ||
5c65b58a JK |
42 | /* Copy from struct compile_module. */ |
43 | enum compile_i_scope_types scope; | |
44 | void *scope_data; | |
45 | ||
36de76f9 JK |
46 | /* Copy from struct compile_module. */ |
47 | struct type *out_value_type; | |
48 | CORE_ADDR out_value_addr; | |
49 | ||
7f361056 JK |
50 | /* Copy from struct compile_module. */ |
51 | struct munmap_list *munmap_list_head; | |
52 | ||
bb2ec1b3 TT |
53 | /* objfile_name of our objfile. */ |
54 | char objfile_name_string[1]; | |
55 | }; | |
56 | ||
57 | /* Cleanup everything after the inferior function dummy frame gets | |
58 | discarded. */ | |
59 | ||
60 | static dummy_frame_dtor_ftype do_module_cleanup; | |
61 | static void | |
5e970501 | 62 | do_module_cleanup (void *arg, int registers_valid) |
bb2ec1b3 | 63 | { |
9a3c8263 | 64 | struct do_module_cleanup *data = (struct do_module_cleanup *) arg; |
bb2ec1b3 TT |
65 | struct objfile *objfile; |
66 | ||
67 | if (data->executedp != NULL) | |
36de76f9 JK |
68 | { |
69 | *data->executedp = 1; | |
70 | ||
71 | /* This code cannot be in compile_object_run as OUT_VALUE_TYPE | |
72 | no longer exists there. */ | |
73 | if (data->scope == COMPILE_I_PRINT_ADDRESS_SCOPE | |
74 | || data->scope == COMPILE_I_PRINT_VALUE_SCOPE) | |
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 | } | |
bb2ec1b3 TT |
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. */ | |
93 | clear_symtab_users (0); | |
94 | ||
95 | break; | |
96 | } | |
97 | ||
98 | /* Delete the .c file. */ | |
99 | unlink (data->source_file); | |
100 | xfree (data->source_file); | |
101 | ||
7f361056 JK |
102 | munmap_list_free (data->munmap_list_head); |
103 | ||
bb2ec1b3 TT |
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 | |
116 | compile_object_run (struct compile_module *module) | |
117 | { | |
118 | struct value *func_val; | |
119 | struct frame_id dummy_id; | |
120 | struct cleanup *cleanups; | |
121 | struct do_module_cleanup *data; | |
bb2ec1b3 TT |
122 | const char *objfile_name_s = objfile_name (module->objfile); |
123 | int dtor_found, executed = 0; | |
83d3415e | 124 | struct symbol *func_sym = module->func_sym; |
bb2ec1b3 | 125 | CORE_ADDR regs_addr = module->regs_addr; |
83d3415e | 126 | struct objfile *objfile = module->objfile; |
bb2ec1b3 | 127 | |
224c3ddb SM |
128 | data = (struct do_module_cleanup *) xmalloc (sizeof (*data) |
129 | + strlen (objfile_name_s)); | |
bb2ec1b3 TT |
130 | data->executedp = &executed; |
131 | data->source_file = xstrdup (module->source_file); | |
132 | strcpy (data->objfile_name_string, objfile_name_s); | |
5c65b58a JK |
133 | data->scope = module->scope; |
134 | data->scope_data = module->scope_data; | |
36de76f9 JK |
135 | data->out_value_type = module->out_value_type; |
136 | data->out_value_addr = module->out_value_addr; | |
7f361056 | 137 | data->munmap_list_head = module->munmap_list_head; |
bb2ec1b3 TT |
138 | |
139 | xfree (module->source_file); | |
140 | xfree (module); | |
83d3415e | 141 | module = NULL; |
bb2ec1b3 | 142 | |
492d29ea | 143 | TRY |
bb2ec1b3 | 144 | { |
83d3415e JK |
145 | struct type *func_type = SYMBOL_TYPE (func_sym); |
146 | htab_t copied_types; | |
147 | int current_arg = 0; | |
148 | struct value **vargs; | |
149 | ||
150 | /* OBJFILE may disappear while FUNC_TYPE still will be in use. */ | |
151 | copied_types = create_copied_types_hash (objfile); | |
152 | func_type = copy_type_recursive (objfile, func_type, copied_types); | |
153 | htab_delete (copied_types); | |
154 | ||
155 | gdb_assert (TYPE_CODE (func_type) == TYPE_CODE_FUNC); | |
156 | func_val = value_from_pointer (lookup_pointer_type (func_type), | |
157 | BLOCK_START (SYMBOL_BLOCK_VALUE (func_sym))); | |
158 | ||
8d749320 | 159 | vargs = XALLOCAVEC (struct value *, TYPE_NFIELDS (func_type)); |
83d3415e | 160 | if (TYPE_NFIELDS (func_type) >= 1) |
bb2ec1b3 | 161 | { |
83d3415e JK |
162 | gdb_assert (regs_addr != 0); |
163 | vargs[current_arg] = value_from_pointer | |
164 | (TYPE_FIELD_TYPE (func_type, current_arg), regs_addr); | |
165 | ++current_arg; | |
bb2ec1b3 | 166 | } |
36de76f9 JK |
167 | if (TYPE_NFIELDS (func_type) >= 2) |
168 | { | |
169 | gdb_assert (data->out_value_addr != 0); | |
170 | vargs[current_arg] = value_from_pointer | |
171 | (TYPE_FIELD_TYPE (func_type, current_arg), data->out_value_addr); | |
172 | ++current_arg; | |
173 | } | |
83d3415e JK |
174 | gdb_assert (current_arg == TYPE_NFIELDS (func_type)); |
175 | call_function_by_hand_dummy (func_val, TYPE_NFIELDS (func_type), vargs, | |
176 | do_module_cleanup, data); | |
bb2ec1b3 | 177 | } |
492d29ea | 178 | CATCH (ex, RETURN_MASK_ERROR) |
bb2ec1b3 | 179 | { |
7556d4a4 | 180 | /* In the case of DTOR_FOUND or in the case of EXECUTED nothing |
bb2ec1b3 | 181 | needs to be done. */ |
7556d4a4 PA |
182 | dtor_found = find_dummy_frame_dtor (do_module_cleanup, data); |
183 | if (!executed) | |
184 | data->executedp = NULL; | |
bb2ec1b3 TT |
185 | gdb_assert (!(dtor_found && executed)); |
186 | if (!dtor_found && !executed) | |
5e970501 | 187 | do_module_cleanup (data, 0); |
bb2ec1b3 TT |
188 | throw_exception (ex); |
189 | } | |
492d29ea | 190 | END_CATCH |
7556d4a4 PA |
191 | |
192 | dtor_found = find_dummy_frame_dtor (do_module_cleanup, data); | |
193 | gdb_assert (!dtor_found && executed); | |
bb2ec1b3 | 194 | } |