[DBGHELP]
[reactos.git] / reactos / dll / win32 / dbghelp / msc.c
1 /*
2 * File msc.c - read VC++ debug information from COFF and eventually
3 * from PDB files.
4 *
5 * Copyright (C) 1996, Eric Youngdale.
6 * Copyright (C) 1999-2000, Ulrich Weigand.
7 * Copyright (C) 2004-2009, Eric Pouech.
8 *
9 * This library is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU Lesser General Public
11 * License as published by the Free Software Foundation; either
12 * version 2.1 of the License, or (at your option) any later version.
13 *
14 * This library is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 * Lesser General Public License for more details.
18 *
19 * You should have received a copy of the GNU Lesser General Public
20 * License along with this library; if not, write to the Free Software
21 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
22 */
23
24 /*
25 * Note - this handles reading debug information for 32 bit applications
26 * that run under Windows-NT for example. I doubt that this would work well
27 * for 16 bit applications, but I don't think it really matters since the
28 * file format is different, and we should never get in here in such cases.
29 *
30 * TODO:
31 * Get 16 bit CV stuff working.
32 * Add symbol size to internal symbol table.
33 */
34
35 #include "dbghelp_private.h"
36
37 #include <wine/exception.h>
38
39 WINE_DEFAULT_DEBUG_CHANNEL(dbghelp_msc);
40
41 #define MAX_PATHNAME_LEN 1024
42
43 struct pdb_stream_name
44 {
45 const char* name;
46 unsigned index;
47 };
48
49 struct pdb_file_info
50 {
51 enum pdb_kind kind;
52 DWORD age;
53 HANDLE hMap;
54 const char* image;
55 struct pdb_stream_name* stream_dict;
56 unsigned fpoext_stream;
57 union
58 {
59 struct
60 {
61 DWORD timestamp;
62 struct PDB_JG_TOC* toc;
63 } jg;
64 struct
65 {
66 GUID guid;
67 struct PDB_DS_TOC* toc;
68 } ds;
69 } u;
70 };
71
72 /* FIXME: don't make it static */
73 #define CV_MAX_MODULES 32
74 struct pdb_module_info
75 {
76 unsigned used_subfiles;
77 struct pdb_file_info pdb_files[CV_MAX_MODULES];
78 };
79
80 /*========================================================================
81 * Debug file access helper routines
82 */
83
84 static void dump(const void* ptr, unsigned len)
85 {
86 unsigned int i, j;
87 char msg[128];
88 const char* hexof = "0123456789abcdef";
89 const BYTE* x = ptr;
90
91 for (i = 0; i < len; i += 16)
92 {
93 sprintf(msg, "%08x: ", i);
94 memset(msg + 10, ' ', 3 * 16 + 1 + 16);
95 for (j = 0; j < min(16, len - i); j++)
96 {
97 msg[10 + 3 * j + 0] = hexof[x[i + j] >> 4];
98 msg[10 + 3 * j + 1] = hexof[x[i + j] & 15];
99 msg[10 + 3 * j + 2] = ' ';
100 msg[10 + 3 * 16 + 1 + j] = (x[i + j] >= 0x20 && x[i + j] < 0x7f) ?
101 x[i + j] : '.';
102 }
103 msg[10 + 3 * 16] = ' ';
104 msg[10 + 3 * 16 + 1 + 16] = '\0';
105 FIXME("%s\n", msg);
106 }
107 }
108
109 /*========================================================================
110 * Process CodeView type information.
111 */
112
113 #define MAX_BUILTIN_TYPES 0x06FF
114 #define FIRST_DEFINABLE_TYPE 0x1000
115
116 static struct symt* cv_basic_types[MAX_BUILTIN_TYPES];
117
118 struct cv_defined_module
119 {
120 BOOL allowed;
121 unsigned int num_defined_types;
122 struct symt** defined_types;
123 };
124 /* FIXME: don't make it static */
125 #define CV_MAX_MODULES 32
126 static struct cv_defined_module cv_zmodules[CV_MAX_MODULES];
127 static struct cv_defined_module*cv_current_module;
128
129 static void codeview_init_basic_types(struct module* module)
130 {
131 /*
132 * These are the common builtin types that are used by VC++.
133 */
134 cv_basic_types[T_NOTYPE] = NULL;
135 cv_basic_types[T_ABS] = NULL;
136 cv_basic_types[T_VOID] = &symt_new_basic(module, btVoid, "void", 0)->symt;
137 cv_basic_types[T_CHAR] = &symt_new_basic(module, btChar, "char", 1)->symt;
138 cv_basic_types[T_SHORT] = &symt_new_basic(module, btInt, "short int", 2)->symt;
139 cv_basic_types[T_LONG] = &symt_new_basic(module, btInt, "long int", 4)->symt;
140 cv_basic_types[T_QUAD] = &symt_new_basic(module, btInt, "long long int", 8)->symt;
141 cv_basic_types[T_UCHAR] = &symt_new_basic(module, btUInt, "unsigned char", 1)->symt;
142 cv_basic_types[T_USHORT] = &symt_new_basic(module, btUInt, "unsigned short", 2)->symt;
143 cv_basic_types[T_ULONG] = &symt_new_basic(module, btUInt, "unsigned long", 4)->symt;
144 cv_basic_types[T_UQUAD] = &symt_new_basic(module, btUInt, "unsigned long long", 8)->symt;
145 cv_basic_types[T_BOOL08] = &symt_new_basic(module, btBool, "BOOL08", 1)->symt;
146 cv_basic_types[T_BOOL16] = &symt_new_basic(module, btBool, "BOOL16", 2)->symt;
147 cv_basic_types[T_BOOL32] = &symt_new_basic(module, btBool, "BOOL32", 4)->symt;
148 cv_basic_types[T_BOOL64] = &symt_new_basic(module, btBool, "BOOL64", 8)->symt;
149 cv_basic_types[T_REAL32] = &symt_new_basic(module, btFloat, "float", 4)->symt;
150 cv_basic_types[T_REAL64] = &symt_new_basic(module, btFloat, "double", 8)->symt;
151 cv_basic_types[T_REAL80] = &symt_new_basic(module, btFloat, "long double", 10)->symt;
152 cv_basic_types[T_RCHAR] = &symt_new_basic(module, btInt, "signed char", 1)->symt;
153 cv_basic_types[T_WCHAR] = &symt_new_basic(module, btWChar, "wchar_t", 2)->symt;
154 cv_basic_types[T_INT2] = &symt_new_basic(module, btInt, "INT2", 2)->symt;
155 cv_basic_types[T_UINT2] = &symt_new_basic(module, btUInt, "UINT2", 2)->symt;
156 cv_basic_types[T_INT4] = &symt_new_basic(module, btInt, "INT4", 4)->symt;
157 cv_basic_types[T_UINT4] = &symt_new_basic(module, btUInt, "UINT4", 4)->symt;
158 cv_basic_types[T_INT8] = &symt_new_basic(module, btInt, "INT8", 8)->symt;
159 cv_basic_types[T_UINT8] = &symt_new_basic(module, btUInt, "UINT8", 8)->symt;
160 cv_basic_types[T_HRESULT]= &symt_new_basic(module, btUInt, "HRESULT", 4)->symt;
161
162 cv_basic_types[T_32PVOID] = &symt_new_pointer(module, cv_basic_types[T_VOID], 4)->symt;
163 cv_basic_types[T_32PCHAR] = &symt_new_pointer(module, cv_basic_types[T_CHAR], 4)->symt;
164 cv_basic_types[T_32PSHORT] = &symt_new_pointer(module, cv_basic_types[T_SHORT], 4)->symt;
165 cv_basic_types[T_32PLONG] = &symt_new_pointer(module, cv_basic_types[T_LONG], 4)->symt;
166 cv_basic_types[T_32PQUAD] = &symt_new_pointer(module, cv_basic_types[T_QUAD], 4)->symt;
167 cv_basic_types[T_32PUCHAR] = &symt_new_pointer(module, cv_basic_types[T_UCHAR], 4)->symt;
168 cv_basic_types[T_32PUSHORT] = &symt_new_pointer(module, cv_basic_types[T_USHORT], 4)->symt;
169 cv_basic_types[T_32PULONG] = &symt_new_pointer(module, cv_basic_types[T_ULONG], 4)->symt;
170 cv_basic_types[T_32PUQUAD] = &symt_new_pointer(module, cv_basic_types[T_UQUAD], 4)->symt;
171 cv_basic_types[T_32PBOOL08] = &symt_new_pointer(module, cv_basic_types[T_BOOL08], 4)->symt;
172 cv_basic_types[T_32PBOOL16] = &symt_new_pointer(module, cv_basic_types[T_BOOL16], 4)->symt;
173 cv_basic_types[T_32PBOOL32] = &symt_new_pointer(module, cv_basic_types[T_BOOL32], 4)->symt;
174 cv_basic_types[T_32PBOOL64] = &symt_new_pointer(module, cv_basic_types[T_BOOL64], 4)->symt;
175 cv_basic_types[T_32PREAL32] = &symt_new_pointer(module, cv_basic_types[T_REAL32], 4)->symt;
176 cv_basic_types[T_32PREAL64] = &symt_new_pointer(module, cv_basic_types[T_REAL64], 4)->symt;
177 cv_basic_types[T_32PREAL80] = &symt_new_pointer(module, cv_basic_types[T_REAL80], 4)->symt;
178 cv_basic_types[T_32PRCHAR] = &symt_new_pointer(module, cv_basic_types[T_RCHAR], 4)->symt;
179 cv_basic_types[T_32PWCHAR] = &symt_new_pointer(module, cv_basic_types[T_WCHAR], 4)->symt;
180 cv_basic_types[T_32PINT2] = &symt_new_pointer(module, cv_basic_types[T_INT2], 4)->symt;
181 cv_basic_types[T_32PUINT2] = &symt_new_pointer(module, cv_basic_types[T_UINT2], 4)->symt;
182 cv_basic_types[T_32PINT4] = &symt_new_pointer(module, cv_basic_types[T_INT4], 4)->symt;
183 cv_basic_types[T_32PUINT4] = &symt_new_pointer(module, cv_basic_types[T_UINT4], 4)->symt;
184 cv_basic_types[T_32PINT8] = &symt_new_pointer(module, cv_basic_types[T_INT8], 4)->symt;
185 cv_basic_types[T_32PUINT8] = &symt_new_pointer(module, cv_basic_types[T_UINT8], 4)->symt;
186 cv_basic_types[T_32PHRESULT]= &symt_new_pointer(module, cv_basic_types[T_HRESULT], 4)->symt;
187
188 cv_basic_types[T_64PVOID] = &symt_new_pointer(module, cv_basic_types[T_VOID], 8)->symt;
189 cv_basic_types[T_64PCHAR] = &symt_new_pointer(module, cv_basic_types[T_CHAR], 8)->symt;
190 cv_basic_types[T_64PSHORT] = &symt_new_pointer(module, cv_basic_types[T_SHORT], 8)->symt;
191 cv_basic_types[T_64PLONG] = &symt_new_pointer(module, cv_basic_types[T_LONG], 8)->symt;
192 cv_basic_types[T_64PQUAD] = &symt_new_pointer(module, cv_basic_types[T_QUAD], 8)->symt;
193 cv_basic_types[T_64PUCHAR] = &symt_new_pointer(module, cv_basic_types[T_UCHAR], 8)->symt;
194 cv_basic_types[T_64PUSHORT] = &symt_new_pointer(module, cv_basic_types[T_USHORT], 8)->symt;
195 cv_basic_types[T_64PULONG] = &symt_new_pointer(module, cv_basic_types[T_ULONG], 8)->symt;
196 cv_basic_types[T_64PUQUAD] = &symt_new_pointer(module, cv_basic_types[T_UQUAD], 8)->symt;
197 cv_basic_types[T_64PBOOL08] = &symt_new_pointer(module, cv_basic_types[T_BOOL08], 8)->symt;
198 cv_basic_types[T_64PBOOL16] = &symt_new_pointer(module, cv_basic_types[T_BOOL16], 8)->symt;
199 cv_basic_types[T_64PBOOL32] = &symt_new_pointer(module, cv_basic_types[T_BOOL32], 8)->symt;
200 cv_basic_types[T_64PBOOL64] = &symt_new_pointer(module, cv_basic_types[T_BOOL64], 8)->symt;
201 cv_basic_types[T_64PREAL32] = &symt_new_pointer(module, cv_basic_types[T_REAL32], 8)->symt;
202 cv_basic_types[T_64PREAL64] = &symt_new_pointer(module, cv_basic_types[T_REAL64], 8)->symt;
203 cv_basic_types[T_64PREAL80] = &symt_new_pointer(module, cv_basic_types[T_REAL80], 8)->symt;
204 cv_basic_types[T_64PRCHAR] = &symt_new_pointer(module, cv_basic_types[T_RCHAR], 8)->symt;
205 cv_basic_types[T_64PWCHAR] = &symt_new_pointer(module, cv_basic_types[T_WCHAR], 8)->symt;
206 cv_basic_types[T_64PINT2] = &symt_new_pointer(module, cv_basic_types[T_INT2], 8)->symt;
207 cv_basic_types[T_64PUINT2] = &symt_new_pointer(module, cv_basic_types[T_UINT2], 8)->symt;
208 cv_basic_types[T_64PINT4] = &symt_new_pointer(module, cv_basic_types[T_INT4], 8)->symt;
209 cv_basic_types[T_64PUINT4] = &symt_new_pointer(module, cv_basic_types[T_UINT4], 8)->symt;
210 cv_basic_types[T_64PINT8] = &symt_new_pointer(module, cv_basic_types[T_INT8], 8)->symt;
211 cv_basic_types[T_64PUINT8] = &symt_new_pointer(module, cv_basic_types[T_UINT8], 8)->symt;
212 cv_basic_types[T_64PHRESULT]= &symt_new_pointer(module, cv_basic_types[T_HRESULT], 8)->symt;
213 }
214
215 static int leaf_as_variant(VARIANT* v, const unsigned short int* leaf)
216 {
217 unsigned short int type = *leaf++;
218 int length = 2;
219
220 if (type < LF_NUMERIC)
221 {
222 v->n1.n2.vt = VT_UINT;
223 v->n1.n2.n3.uintVal = type;
224 }
225 else
226 {
227 switch (type)
228 {
229 case LF_CHAR:
230 length += 1;
231 v->n1.n2.vt = VT_I1;
232 v->n1.n2.n3.cVal = *(const char*)leaf;
233 break;
234
235 case LF_SHORT:
236 length += 2;
237 v->n1.n2.vt = VT_I2;
238 v->n1.n2.n3.iVal = *(const short*)leaf;
239 break;
240
241 case LF_USHORT:
242 length += 2;
243 v->n1.n2.vt = VT_UI2;
244 v->n1.n2.n3.uiVal = *leaf;
245 break;
246
247 case LF_LONG:
248 length += 4;
249 v->n1.n2.vt = VT_I4;
250 v->n1.n2.n3.lVal = *(const int*)leaf;
251 break;
252
253 case LF_ULONG:
254 length += 4;
255 v->n1.n2.vt = VT_UI4;
256 v->n1.n2.n3.uiVal = *(const unsigned int*)leaf;
257 break;
258
259 case LF_QUADWORD:
260 length += 8;
261 v->n1.n2.vt = VT_I8;
262 v->n1.n2.n3.llVal = *(const long long int*)leaf;
263 break;
264
265 case LF_UQUADWORD:
266 length += 8;
267 v->n1.n2.vt = VT_UI8;
268 v->n1.n2.n3.ullVal = *(const long long unsigned int*)leaf;
269 break;
270
271 case LF_REAL32:
272 length += 4;
273 v->n1.n2.vt = VT_R4;
274 v->n1.n2.n3.fltVal = *(const float*)leaf;
275 break;
276
277 case LF_REAL48:
278 FIXME("Unsupported numeric leaf type %04x\n", type);
279 length += 6;
280 v->n1.n2.vt = VT_EMPTY; /* FIXME */
281 break;
282
283 case LF_REAL64:
284 length += 8;
285 v->n1.n2.vt = VT_R8;
286 v->n1.n2.n3.fltVal = *(const double*)leaf;
287 break;
288
289 case LF_REAL80:
290 FIXME("Unsupported numeric leaf type %04x\n", type);
291 length += 10;
292 v->n1.n2.vt = VT_EMPTY; /* FIXME */
293 break;
294
295 case LF_REAL128:
296 FIXME("Unsupported numeric leaf type %04x\n", type);
297 length += 16;
298 v->n1.n2.vt = VT_EMPTY; /* FIXME */
299 break;
300
301 case LF_COMPLEX32:
302 FIXME("Unsupported numeric leaf type %04x\n", type);
303 length += 4;
304 v->n1.n2.vt = VT_EMPTY; /* FIXME */
305 break;
306
307 case LF_COMPLEX64:
308 FIXME("Unsupported numeric leaf type %04x\n", type);
309 length += 8;
310 v->n1.n2.vt = VT_EMPTY; /* FIXME */
311 break;
312
313 case LF_COMPLEX80:
314 FIXME("Unsupported numeric leaf type %04x\n", type);
315 length += 10;
316 v->n1.n2.vt = VT_EMPTY; /* FIXME */
317 break;
318
319 case LF_COMPLEX128:
320 FIXME("Unsupported numeric leaf type %04x\n", type);
321 length += 16;
322 v->n1.n2.vt = VT_EMPTY; /* FIXME */
323 break;
324
325 case LF_VARSTRING:
326 FIXME("Unsupported numeric leaf type %04x\n", type);
327 length += 2 + *leaf;
328 v->n1.n2.vt = VT_EMPTY; /* FIXME */
329 break;
330
331 default:
332 FIXME("Unknown numeric leaf type %04x\n", type);
333 v->n1.n2.vt = VT_EMPTY; /* FIXME */
334 break;
335 }
336 }
337
338 return length;
339 }
340
341 static int numeric_leaf(int* value, const unsigned short int* leaf)
342 {
343 unsigned short int type = *leaf++;
344 int length = 2;
345
346 if (type < LF_NUMERIC)
347 {
348 *value = type;
349 }
350 else
351 {
352 switch (type)
353 {
354 case LF_CHAR:
355 length += 1;
356 *value = *(const char*)leaf;
357 break;
358
359 case LF_SHORT:
360 length += 2;
361 *value = *(const short*)leaf;
362 break;
363
364 case LF_USHORT:
365 length += 2;
366 *value = *leaf;
367 break;
368
369 case LF_LONG:
370 length += 4;
371 *value = *(const int*)leaf;
372 break;
373
374 case LF_ULONG:
375 length += 4;
376 *value = *(const unsigned int*)leaf;
377 break;
378
379 case LF_QUADWORD:
380 case LF_UQUADWORD:
381 FIXME("Unsupported numeric leaf type %04x\n", type);
382 length += 8;
383 *value = 0; /* FIXME */
384 break;
385
386 case LF_REAL32:
387 FIXME("Unsupported numeric leaf type %04x\n", type);
388 length += 4;
389 *value = 0; /* FIXME */
390 break;
391
392 case LF_REAL48:
393 FIXME("Unsupported numeric leaf type %04x\n", type);
394 length += 6;
395 *value = 0; /* FIXME */
396 break;
397
398 case LF_REAL64:
399 FIXME("Unsupported numeric leaf type %04x\n", type);
400 length += 8;
401 *value = 0; /* FIXME */
402 break;
403
404 case LF_REAL80:
405 FIXME("Unsupported numeric leaf type %04x\n", type);
406 length += 10;
407 *value = 0; /* FIXME */
408 break;
409
410 case LF_REAL128:
411 FIXME("Unsupported numeric leaf type %04x\n", type);
412 length += 16;
413 *value = 0; /* FIXME */
414 break;
415
416 case LF_COMPLEX32:
417 FIXME("Unsupported numeric leaf type %04x\n", type);
418 length += 4;
419 *value = 0; /* FIXME */
420 break;
421
422 case LF_COMPLEX64:
423 FIXME("Unsupported numeric leaf type %04x\n", type);
424 length += 8;
425 *value = 0; /* FIXME */
426 break;
427
428 case LF_COMPLEX80:
429 FIXME("Unsupported numeric leaf type %04x\n", type);
430 length += 10;
431 *value = 0; /* FIXME */
432 break;
433
434 case LF_COMPLEX128:
435 FIXME("Unsupported numeric leaf type %04x\n", type);
436 length += 16;
437 *value = 0; /* FIXME */
438 break;
439
440 case LF_VARSTRING:
441 FIXME("Unsupported numeric leaf type %04x\n", type);
442 length += 2 + *leaf;
443 *value = 0; /* FIXME */
444 break;
445
446 default:
447 FIXME("Unknown numeric leaf type %04x\n", type);
448 *value = 0;
449 break;
450 }
451 }
452
453 return length;
454 }
455
456 /* convert a pascal string (as stored in debug information) into
457 * a C string (null terminated).
458 */
459 static const char* terminate_string(const struct p_string* p_name)
460 {
461 static char symname[256];
462
463 memcpy(symname, p_name->name, p_name->namelen);
464 symname[p_name->namelen] = '\0';
465
466 return (!*symname || strcmp(symname, "__unnamed") == 0) ? NULL : symname;
467 }
468
469 static struct symt* codeview_get_type(unsigned int typeno, BOOL quiet)
470 {
471 struct symt* symt = NULL;
472
473 /*
474 * Convert Codeview type numbers into something we can grok internally.
475 * Numbers < FIRST_DEFINABLE_TYPE are all fixed builtin types.
476 * Numbers from FIRST_DEFINABLE_TYPE and up are all user defined (structs, etc).
477 */
478 if (typeno < FIRST_DEFINABLE_TYPE)
479 {
480 if (typeno < MAX_BUILTIN_TYPES)
481 symt = cv_basic_types[typeno];
482 }
483 else
484 {
485 unsigned mod_index = typeno >> 24;
486 unsigned mod_typeno = typeno & 0x00FFFFFF;
487 struct cv_defined_module* mod;
488
489 mod = (mod_index == 0) ? cv_current_module : &cv_zmodules[mod_index];
490
491 if (mod_index >= CV_MAX_MODULES || !mod->allowed)
492 FIXME("Module of index %d isn't loaded yet (%x)\n", mod_index, typeno);
493 else
494 {
495 if (mod_typeno - FIRST_DEFINABLE_TYPE < mod->num_defined_types)
496 symt = mod->defined_types[mod_typeno - FIRST_DEFINABLE_TYPE];
497 }
498 }
499 if (!quiet && !symt && typeno) FIXME("Returning NULL symt for type-id %x\n", typeno);
500 return symt;
501 }
502
503 struct codeview_type_parse
504 {
505 struct module* module;
506 const BYTE* table;
507 const DWORD* offset;
508 DWORD num;
509 };
510
511 static inline const void* codeview_jump_to_type(const struct codeview_type_parse* ctp, DWORD idx)
512 {
513 if (idx < FIRST_DEFINABLE_TYPE) return NULL;
514 idx -= FIRST_DEFINABLE_TYPE;
515 return (idx >= ctp->num) ? NULL : (ctp->table + ctp->offset[idx]);
516 }
517
518 static int codeview_add_type(unsigned int typeno, struct symt* dt)
519 {
520 if (typeno < FIRST_DEFINABLE_TYPE)
521 FIXME("What the heck\n");
522 if (!cv_current_module)
523 {
524 FIXME("Adding %x to non allowed module\n", typeno);
525 return FALSE;
526 }
527 if ((typeno >> 24) != 0)
528 FIXME("No module index while inserting type-id assumption is wrong %x\n",
529 typeno);
530 if (typeno - FIRST_DEFINABLE_TYPE >= cv_current_module->num_defined_types)
531 {
532 if (cv_current_module->defined_types)
533 {
534 cv_current_module->num_defined_types = max( cv_current_module->num_defined_types * 2,
535 typeno - FIRST_DEFINABLE_TYPE + 1 );
536 cv_current_module->defined_types = HeapReAlloc(GetProcessHeap(),
537 HEAP_ZERO_MEMORY, cv_current_module->defined_types,
538 cv_current_module->num_defined_types * sizeof(struct symt*));
539 }
540 else
541 {
542 cv_current_module->num_defined_types = max( 256, typeno - FIRST_DEFINABLE_TYPE + 1 );
543 cv_current_module->defined_types = HeapAlloc(GetProcessHeap(),
544 HEAP_ZERO_MEMORY,
545 cv_current_module->num_defined_types * sizeof(struct symt*));
546 }
547 if (cv_current_module->defined_types == NULL) return FALSE;
548 }
549 if (cv_current_module->defined_types[typeno - FIRST_DEFINABLE_TYPE])
550 {
551 if (cv_current_module->defined_types[typeno - FIRST_DEFINABLE_TYPE] != dt)
552 FIXME("Overwriting at %x\n", typeno);
553 }
554 cv_current_module->defined_types[typeno - FIRST_DEFINABLE_TYPE] = dt;
555 return TRUE;
556 }
557
558 static void codeview_clear_type_table(void)
559 {
560 int i;
561
562 for (i = 0; i < CV_MAX_MODULES; i++)
563 {
564 if (cv_zmodules[i].allowed)
565 HeapFree(GetProcessHeap(), 0, cv_zmodules[i].defined_types);
566 cv_zmodules[i].allowed = FALSE;
567 cv_zmodules[i].defined_types = NULL;
568 cv_zmodules[i].num_defined_types = 0;
569 }
570 cv_current_module = NULL;
571 }
572
573 static struct symt* codeview_parse_one_type(struct codeview_type_parse* ctp,
574 unsigned curr_type,
575 const union codeview_type* type, BOOL details);
576
577 static void* codeview_cast_symt(struct symt* symt, enum SymTagEnum tag)
578 {
579 if (symt->tag != tag)
580 {
581 FIXME("Bad tag. Expected %d, but got %d\n", tag, symt->tag);
582 return NULL;
583 }
584 return symt;
585 }
586
587 static struct symt* codeview_fetch_type(struct codeview_type_parse* ctp,
588 unsigned typeno, BOOL details)
589 {
590 struct symt* symt;
591 const union codeview_type* p;
592
593 if (!typeno) return NULL;
594 if ((symt = codeview_get_type(typeno, TRUE))) return symt;
595
596 /* forward declaration */
597 if (!(p = codeview_jump_to_type(ctp, typeno)))
598 {
599 FIXME("Cannot locate type %x\n", typeno);
600 return NULL;
601 }
602 symt = codeview_parse_one_type(ctp, typeno, p, details);
603 if (!symt) FIXME("Couldn't load forward type %x\n", typeno);
604 return symt;
605 }
606
607 static struct symt* codeview_add_type_pointer(struct codeview_type_parse* ctp,
608 struct symt* existing,
609 unsigned int pointee_type)
610 {
611 struct symt* pointee;
612
613 if (existing)
614 {
615 existing = codeview_cast_symt(existing, SymTagPointerType);
616 return existing;
617 }
618 pointee = codeview_fetch_type(ctp, pointee_type, FALSE);
619 return &symt_new_pointer(ctp->module, pointee, sizeof(void *))->symt;
620 }
621
622 static struct symt* codeview_add_type_array(struct codeview_type_parse* ctp,
623 const char* name,
624 unsigned int elemtype,
625 unsigned int indextype,
626 unsigned int arr_len)
627 {
628 struct symt* elem = codeview_fetch_type(ctp, elemtype, FALSE);
629 struct symt* index = codeview_fetch_type(ctp, indextype, FALSE);
630
631 return &symt_new_array(ctp->module, 0, -arr_len, elem, index)->symt;
632 }
633
634 static BOOL codeview_add_type_enum_field_list(struct module* module,
635 struct symt_enum* symt,
636 const union codeview_reftype* ref_type)
637 {
638 const unsigned char* ptr = ref_type->fieldlist.list;
639 const unsigned char* last = (const BYTE*)ref_type + ref_type->generic.len + 2;
640 const union codeview_fieldtype* type;
641
642 while (ptr < last)
643 {
644 if (*ptr >= 0xf0) /* LF_PAD... */
645 {
646 ptr += *ptr & 0x0f;
647 continue;
648 }
649
650 type = (const union codeview_fieldtype*)ptr;
651
652 switch (type->generic.id)
653 {
654 case LF_ENUMERATE_V1:
655 {
656 int value, vlen = numeric_leaf(&value, &type->enumerate_v1.value);
657 const struct p_string* p_name = (const struct p_string*)((const unsigned char*)&type->enumerate_v1.value + vlen);
658
659 symt_add_enum_element(module, symt, terminate_string(p_name), value);
660 ptr += 2 + 2 + vlen + (1 + p_name->namelen);
661 break;
662 }
663 case LF_ENUMERATE_V3:
664 {
665 int value, vlen = numeric_leaf(&value, &type->enumerate_v3.value);
666 const char* name = (const char*)&type->enumerate_v3.value + vlen;
667
668 symt_add_enum_element(module, symt, name, value);
669 ptr += 2 + 2 + vlen + (1 + strlen(name));
670 break;
671 }
672
673 default:
674 FIXME("Unsupported type %04x in ENUM field list\n", type->generic.id);
675 return FALSE;
676 }
677 }
678 return TRUE;
679 }
680
681 static void codeview_add_udt_element(struct codeview_type_parse* ctp,
682 struct symt_udt* symt, const char* name,
683 int value, unsigned type)
684 {
685 struct symt* subtype;
686 const union codeview_reftype*cv_type;
687
688 if ((cv_type = codeview_jump_to_type(ctp, type)))
689 {
690 switch (cv_type->generic.id)
691 {
692 case LF_BITFIELD_V1:
693 symt_add_udt_element(ctp->module, symt, name,
694 codeview_fetch_type(ctp, cv_type->bitfield_v1.type, FALSE),
695 (value << 3) + cv_type->bitfield_v1.bitoff,
696 cv_type->bitfield_v1.nbits);
697 return;
698 case LF_BITFIELD_V2:
699 symt_add_udt_element(ctp->module, symt, name,
700 codeview_fetch_type(ctp, cv_type->bitfield_v2.type, FALSE),
701 (value << 3) + cv_type->bitfield_v2.bitoff,
702 cv_type->bitfield_v2.nbits);
703 return;
704 }
705 }
706 subtype = codeview_fetch_type(ctp, type, FALSE);
707
708 if (subtype)
709 {
710 DWORD64 elem_size = 0;
711 symt_get_info(ctp->module, subtype, TI_GET_LENGTH, &elem_size);
712 symt_add_udt_element(ctp->module, symt, name, subtype,
713 value << 3, (DWORD)elem_size << 3);
714 }
715 }
716
717 static int codeview_add_type_struct_field_list(struct codeview_type_parse* ctp,
718 struct symt_udt* symt,
719 unsigned fieldlistno)
720 {
721 const unsigned char* ptr;
722 const unsigned char* last;
723 int value, leaf_len;
724 const struct p_string* p_name;
725 const char* c_name;
726 const union codeview_reftype*type_ref;
727 const union codeview_fieldtype* type;
728
729 if (!fieldlistno) return TRUE;
730 type_ref = codeview_jump_to_type(ctp, fieldlistno);
731 ptr = type_ref->fieldlist.list;
732 last = (const BYTE*)type_ref + type_ref->generic.len + 2;
733
734 while (ptr < last)
735 {
736 if (*ptr >= 0xf0) /* LF_PAD... */
737 {
738 ptr += *ptr & 0x0f;
739 continue;
740 }
741
742 type = (const union codeview_fieldtype*)ptr;
743
744 switch (type->generic.id)
745 {
746 case LF_BCLASS_V1:
747 leaf_len = numeric_leaf(&value, &type->bclass_v1.offset);
748
749 /* FIXME: ignored for now */
750
751 ptr += 2 + 2 + 2 + leaf_len;
752 break;
753
754 case LF_BCLASS_V2:
755 leaf_len = numeric_leaf(&value, &type->bclass_v2.offset);
756
757 /* FIXME: ignored for now */
758
759 ptr += 2 + 2 + 4 + leaf_len;
760 break;
761
762 case LF_VBCLASS_V1:
763 case LF_IVBCLASS_V1:
764 {
765 const unsigned short int* p_vboff;
766 int vpoff, vplen;
767 leaf_len = numeric_leaf(&value, &type->vbclass_v1.vbpoff);
768 p_vboff = (const unsigned short int*)((const char*)&type->vbclass_v1.vbpoff + leaf_len);
769 vplen = numeric_leaf(&vpoff, p_vboff);
770
771 /* FIXME: ignored for now */
772
773 ptr += 2 + 2 + 2 + 2 + leaf_len + vplen;
774 }
775 break;
776
777 case LF_VBCLASS_V2:
778 case LF_IVBCLASS_V2:
779 {
780 const unsigned short int* p_vboff;
781 int vpoff, vplen;
782 leaf_len = numeric_leaf(&value, &type->vbclass_v2.vbpoff);
783 p_vboff = (const unsigned short int*)((const char*)&type->vbclass_v2.vbpoff + leaf_len);
784 vplen = numeric_leaf(&vpoff, p_vboff);
785
786 /* FIXME: ignored for now */
787
788 ptr += 2 + 2 + 4 + 4 + leaf_len + vplen;
789 }
790 break;
791
792 case LF_MEMBER_V1:
793 leaf_len = numeric_leaf(&value, &type->member_v1.offset);
794 p_name = (const struct p_string*)((const char*)&type->member_v1.offset + leaf_len);
795
796 codeview_add_udt_element(ctp, symt, terminate_string(p_name), value,
797 type->member_v1.type);
798
799 ptr += 2 + 2 + 2 + leaf_len + (1 + p_name->namelen);
800 break;
801
802 case LF_MEMBER_V2:
803 leaf_len = numeric_leaf(&value, &type->member_v2.offset);
804 p_name = (const struct p_string*)((const unsigned char*)&type->member_v2.offset + leaf_len);
805
806 codeview_add_udt_element(ctp, symt, terminate_string(p_name), value,
807 type->member_v2.type);
808
809 ptr += 2 + 2 + 4 + leaf_len + (1 + p_name->namelen);
810 break;
811
812 case LF_MEMBER_V3:
813 leaf_len = numeric_leaf(&value, &type->member_v3.offset);
814 c_name = (const char*)&type->member_v3.offset + leaf_len;
815
816 codeview_add_udt_element(ctp, symt, c_name, value, type->member_v3.type);
817
818 ptr += 2 + 2 + 4 + leaf_len + (strlen(c_name) + 1);
819 break;
820
821 case LF_STMEMBER_V1:
822 /* FIXME: ignored for now */
823 ptr += 2 + 2 + 2 + (1 + type->stmember_v1.p_name.namelen);
824 break;
825
826 case LF_STMEMBER_V2:
827 /* FIXME: ignored for now */
828 ptr += 2 + 4 + 2 + (1 + type->stmember_v2.p_name.namelen);
829 break;
830
831 case LF_STMEMBER_V3:
832 /* FIXME: ignored for now */
833 ptr += 2 + 4 + 2 + (strlen(type->stmember_v3.name) + 1);
834 break;
835
836 case LF_METHOD_V1:
837 /* FIXME: ignored for now */
838 ptr += 2 + 2 + 2 + (1 + type->method_v1.p_name.namelen);
839 break;
840
841 case LF_METHOD_V2:
842 /* FIXME: ignored for now */
843 ptr += 2 + 2 + 4 + (1 + type->method_v2.p_name.namelen);
844 break;
845
846 case LF_METHOD_V3:
847 /* FIXME: ignored for now */
848 ptr += 2 + 2 + 4 + (strlen(type->method_v3.name) + 1);
849 break;
850
851 case LF_NESTTYPE_V1:
852 /* FIXME: ignored for now */
853 ptr += 2 + 2 + (1 + type->nesttype_v1.p_name.namelen);
854 break;
855
856 case LF_NESTTYPE_V2:
857 /* FIXME: ignored for now */
858 ptr += 2 + 2 + 4 + (1 + type->nesttype_v2.p_name.namelen);
859 break;
860
861 case LF_NESTTYPE_V3:
862 /* FIXME: ignored for now */
863 ptr += 2 + 2 + 4 + (strlen(type->nesttype_v3.name) + 1);
864 break;
865
866 case LF_VFUNCTAB_V1:
867 /* FIXME: ignored for now */
868 ptr += 2 + 2;
869 break;
870
871 case LF_VFUNCTAB_V2:
872 /* FIXME: ignored for now */
873 ptr += 2 + 2 + 4;
874 break;
875
876 case LF_ONEMETHOD_V1:
877 /* FIXME: ignored for now */
878 switch ((type->onemethod_v1.attribute >> 2) & 7)
879 {
880 case 4: case 6: /* (pure) introducing virtual method */
881 ptr += 2 + 2 + 2 + 4 + (1 + type->onemethod_virt_v1.p_name.namelen);
882 break;
883
884 default:
885 ptr += 2 + 2 + 2 + (1 + type->onemethod_v1.p_name.namelen);
886 break;
887 }
888 break;
889
890 case LF_ONEMETHOD_V2:
891 /* FIXME: ignored for now */
892 switch ((type->onemethod_v2.attribute >> 2) & 7)
893 {
894 case 4: case 6: /* (pure) introducing virtual method */
895 ptr += 2 + 2 + 4 + 4 + (1 + type->onemethod_virt_v2.p_name.namelen);
896 break;
897
898 default:
899 ptr += 2 + 2 + 4 + (1 + type->onemethod_v2.p_name.namelen);
900 break;
901 }
902 break;
903
904 case LF_ONEMETHOD_V3:
905 /* FIXME: ignored for now */
906 switch ((type->onemethod_v3.attribute >> 2) & 7)
907 {
908 case 4: case 6: /* (pure) introducing virtual method */
909 ptr += 2 + 2 + 4 + 4 + (strlen(type->onemethod_virt_v3.name) + 1);
910 break;
911
912 default:
913 ptr += 2 + 2 + 4 + (strlen(type->onemethod_v3.name) + 1);
914 break;
915 }
916 break;
917
918 case LF_INDEX_V1:
919 if (!codeview_add_type_struct_field_list(ctp, symt, type->index_v1.ref))
920 return FALSE;
921 ptr += 2 + 2;
922 break;
923
924 case LF_INDEX_V2:
925 if (!codeview_add_type_struct_field_list(ctp, symt, type->index_v2.ref))
926 return FALSE;
927 ptr += 2 + 2 + 4;
928 break;
929
930 default:
931 FIXME("Unsupported type %04x in STRUCT field list\n", type->generic.id);
932 return FALSE;
933 }
934 }
935
936 return TRUE;
937 }
938
939 static struct symt* codeview_add_type_enum(struct codeview_type_parse* ctp,
940 struct symt* existing,
941 const char* name,
942 unsigned fieldlistno,
943 unsigned basetype)
944 {
945 struct symt_enum* symt;
946
947 if (existing)
948 {
949 if (!(symt = codeview_cast_symt(existing, SymTagEnum))) return NULL;
950 /* should also check that all fields are the same */
951 }
952 else
953 {
954 symt = symt_new_enum(ctp->module, name,
955 codeview_fetch_type(ctp, basetype, FALSE));
956 if (fieldlistno)
957 {
958 const union codeview_reftype* fieldlist;
959 fieldlist = codeview_jump_to_type(ctp, fieldlistno);
960 codeview_add_type_enum_field_list(ctp->module, symt, fieldlist);
961 }
962 }
963 return &symt->symt;
964 }
965
966 static struct symt* codeview_add_type_struct(struct codeview_type_parse* ctp,
967 struct symt* existing,
968 const char* name, int structlen,
969 enum UdtKind kind, unsigned property)
970 {
971 struct symt_udt* symt;
972
973 /* if we don't have an existing type, try to find one with same name
974 * FIXME: what to do when several types in different CUs have same name ?
975 */
976 if (!existing)
977 {
978 void* ptr;
979 struct symt_ht* type;
980 struct hash_table_iter hti;
981
982 hash_table_iter_init(&ctp->module->ht_types, &hti, name);
983 while ((ptr = hash_table_iter_up(&hti)))
984 {
985 type = GET_ENTRY(ptr, struct symt_ht, hash_elt);
986
987 if (type->symt.tag == SymTagUDT &&
988 type->hash_elt.name && !strcmp(type->hash_elt.name, name))
989 {
990 existing = &type->symt;
991 break;
992 }
993 }
994 }
995 if (existing)
996 {
997 if (!(symt = codeview_cast_symt(existing, SymTagUDT))) return NULL;
998 /* should also check that all fields are the same */
999 if (!(property & 0x80)) /* 0x80 = forward declaration */
1000 {
1001 if (!symt->size) /* likely prior forward declaration, set UDT size */
1002 symt_set_udt_size(ctp->module, symt, structlen);
1003 else /* different UDT with same name, create a new type */
1004 existing = NULL;
1005 }
1006 }
1007 if (!existing) symt = symt_new_udt(ctp->module, name, structlen, kind);
1008
1009 return &symt->symt;
1010 }
1011
1012 static struct symt* codeview_new_func_signature(struct codeview_type_parse* ctp,
1013 struct symt* existing,
1014 enum CV_call_e call_conv)
1015 {
1016 struct symt_function_signature* sym;
1017
1018 if (existing)
1019 {
1020 sym = codeview_cast_symt(existing, SymTagFunctionType);
1021 if (!sym) return NULL;
1022 }
1023 else
1024 {
1025 sym = symt_new_function_signature(ctp->module, NULL, call_conv);
1026 }
1027 return &sym->symt;
1028 }
1029
1030 static void codeview_add_func_signature_args(struct codeview_type_parse* ctp,
1031 struct symt_function_signature* sym,
1032 unsigned ret_type,
1033 unsigned args_list)
1034 {
1035 const union codeview_reftype* reftype;
1036
1037 sym->rettype = codeview_fetch_type(ctp, ret_type, FALSE);
1038 if (args_list && (reftype = codeview_jump_to_type(ctp, args_list)))
1039 {
1040 unsigned int i;
1041 switch (reftype->generic.id)
1042 {
1043 case LF_ARGLIST_V1:
1044 for (i = 0; i < reftype->arglist_v1.num; i++)
1045 symt_add_function_signature_parameter(ctp->module, sym,
1046 codeview_fetch_type(ctp, reftype->arglist_v1.args[i], FALSE));
1047 break;
1048 case LF_ARGLIST_V2:
1049 for (i = 0; i < reftype->arglist_v2.num; i++)
1050 symt_add_function_signature_parameter(ctp->module, sym,
1051 codeview_fetch_type(ctp, reftype->arglist_v2.args[i], FALSE));
1052 break;
1053 default:
1054 FIXME("Unexpected leaf %x for signature's pmt\n", reftype->generic.id);
1055 }
1056 }
1057 }
1058
1059 static struct symt* codeview_parse_one_type(struct codeview_type_parse* ctp,
1060 unsigned curr_type,
1061 const union codeview_type* type, BOOL details)
1062 {
1063 struct symt* symt;
1064 int value, leaf_len;
1065 const struct p_string* p_name;
1066 const char* c_name;
1067 struct symt* existing;
1068
1069 existing = codeview_get_type(curr_type, TRUE);
1070
1071 switch (type->generic.id)
1072 {
1073 case LF_MODIFIER_V1:
1074 /* FIXME: we don't handle modifiers,
1075 * but read previous type on the curr_type
1076 */
1077 WARN("Modifier on %x: %s%s%s%s\n",
1078 type->modifier_v1.type,
1079 type->modifier_v1.attribute & 0x01 ? "const " : "",
1080 type->modifier_v1.attribute & 0x02 ? "volatile " : "",
1081 type->modifier_v1.attribute & 0x04 ? "unaligned " : "",
1082 type->modifier_v1.attribute & ~0x07 ? "unknown " : "");
1083 symt = codeview_fetch_type(ctp, type->modifier_v1.type, details);
1084 break;
1085 case LF_MODIFIER_V2:
1086 /* FIXME: we don't handle modifiers, but readd previous type on the curr_type */
1087 WARN("Modifier on %x: %s%s%s%s\n",
1088 type->modifier_v2.type,
1089 type->modifier_v2.attribute & 0x01 ? "const " : "",
1090 type->modifier_v2.attribute & 0x02 ? "volatile " : "",
1091 type->modifier_v2.attribute & 0x04 ? "unaligned " : "",
1092 type->modifier_v2.attribute & ~0x07 ? "unknown " : "");
1093 symt = codeview_fetch_type(ctp, type->modifier_v2.type, details);
1094 break;
1095
1096 case LF_POINTER_V1:
1097 symt = codeview_add_type_pointer(ctp, existing, type->pointer_v1.datatype);
1098 break;
1099 case LF_POINTER_V2:
1100 symt = codeview_add_type_pointer(ctp, existing, type->pointer_v2.datatype);
1101 break;
1102
1103 case LF_ARRAY_V1:
1104 if (existing) symt = codeview_cast_symt(existing, SymTagArrayType);
1105 else
1106 {
1107 leaf_len = numeric_leaf(&value, &type->array_v1.arrlen);
1108 p_name = (const struct p_string*)((const unsigned char*)&type->array_v1.arrlen + leaf_len);
1109 symt = codeview_add_type_array(ctp, terminate_string(p_name),
1110 type->array_v1.elemtype,
1111 type->array_v1.idxtype, value);
1112 }
1113 break;
1114 case LF_ARRAY_V2:
1115 if (existing) symt = codeview_cast_symt(existing, SymTagArrayType);
1116 else
1117 {
1118 leaf_len = numeric_leaf(&value, &type->array_v2.arrlen);
1119 p_name = (const struct p_string*)((const unsigned char*)&type->array_v2.arrlen + leaf_len);
1120
1121 symt = codeview_add_type_array(ctp, terminate_string(p_name),
1122 type->array_v2.elemtype,
1123 type->array_v2.idxtype, value);
1124 }
1125 break;
1126 case LF_ARRAY_V3:
1127 if (existing) symt = codeview_cast_symt(existing, SymTagArrayType);
1128 else
1129 {
1130 leaf_len = numeric_leaf(&value, &type->array_v3.arrlen);
1131 c_name = (const char*)&type->array_v3.arrlen + leaf_len;
1132
1133 symt = codeview_add_type_array(ctp, c_name,
1134 type->array_v3.elemtype,
1135 type->array_v3.idxtype, value);
1136 }
1137 break;
1138
1139 case LF_STRUCTURE_V1:
1140 case LF_CLASS_V1:
1141 leaf_len = numeric_leaf(&value, &type->struct_v1.structlen);
1142 p_name = (const struct p_string*)((const unsigned char*)&type->struct_v1.structlen + leaf_len);
1143 symt = codeview_add_type_struct(ctp, existing, terminate_string(p_name), value,
1144 type->generic.id == LF_CLASS_V1 ? UdtClass : UdtStruct,
1145 type->struct_v1.property);
1146 if (details)
1147 {
1148 codeview_add_type(curr_type, symt);
1149 if (!(type->struct_v1.property & 0x80)) /* 0x80 = forward declaration */
1150 codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
1151 type->struct_v1.fieldlist);
1152 }
1153 break;
1154
1155 case LF_STRUCTURE_V2:
1156 case LF_CLASS_V2:
1157 leaf_len = numeric_leaf(&value, &type->struct_v2.structlen);
1158 p_name = (const struct p_string*)((const unsigned char*)&type->struct_v2.structlen + leaf_len);
1159 symt = codeview_add_type_struct(ctp, existing, terminate_string(p_name), value,
1160 type->generic.id == LF_CLASS_V2 ? UdtClass : UdtStruct,
1161 type->struct_v2.property);
1162 if (details)
1163 {
1164 codeview_add_type(curr_type, symt);
1165 if (!(type->struct_v2.property & 0x80)) /* 0x80 = forward declaration */
1166 codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
1167 type->struct_v2.fieldlist);
1168 }
1169 break;
1170
1171 case LF_STRUCTURE_V3:
1172 case LF_CLASS_V3:
1173 leaf_len = numeric_leaf(&value, &type->struct_v3.structlen);
1174 c_name = (const char*)&type->struct_v3.structlen + leaf_len;
1175 symt = codeview_add_type_struct(ctp, existing, c_name, value,
1176 type->generic.id == LF_CLASS_V3 ? UdtClass : UdtStruct,
1177 type->struct_v3.property);
1178 if (details)
1179 {
1180 codeview_add_type(curr_type, symt);
1181 if (!(type->struct_v3.property & 0x80)) /* 0x80 = forward declaration */
1182 codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
1183 type->struct_v3.fieldlist);
1184 }
1185 break;
1186
1187 case LF_UNION_V1:
1188 leaf_len = numeric_leaf(&value, &type->union_v1.un_len);
1189 p_name = (const struct p_string*)((const unsigned char*)&type->union_v1.un_len + leaf_len);
1190 symt = codeview_add_type_struct(ctp, existing, terminate_string(p_name),
1191 value, UdtUnion, type->union_v1.property);
1192 if (details)
1193 {
1194 codeview_add_type(curr_type, symt);
1195 codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
1196 type->union_v1.fieldlist);
1197 }
1198 break;
1199
1200 case LF_UNION_V2:
1201 leaf_len = numeric_leaf(&value, &type->union_v2.un_len);
1202 p_name = (const struct p_string*)((const unsigned char*)&type->union_v2.un_len + leaf_len);
1203 symt = codeview_add_type_struct(ctp, existing, terminate_string(p_name),
1204 value, UdtUnion, type->union_v2.property);
1205 if (details)
1206 {
1207 codeview_add_type(curr_type, symt);
1208 codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
1209 type->union_v2.fieldlist);
1210 }
1211 break;
1212
1213 case LF_UNION_V3:
1214 leaf_len = numeric_leaf(&value, &type->union_v3.un_len);
1215 c_name = (const char*)&type->union_v3.un_len + leaf_len;
1216 symt = codeview_add_type_struct(ctp, existing, c_name,
1217 value, UdtUnion, type->union_v3.property);
1218 if (details)
1219 {
1220 codeview_add_type(curr_type, symt);
1221 codeview_add_type_struct_field_list(ctp, (struct symt_udt*)symt,
1222 type->union_v3.fieldlist);
1223 }
1224 break;
1225
1226 case LF_ENUM_V1:
1227 symt = codeview_add_type_enum(ctp, existing,
1228 terminate_string(&type->enumeration_v1.p_name),
1229 type->enumeration_v1.fieldlist,
1230 type->enumeration_v1.type);
1231 break;
1232
1233 case LF_ENUM_V2:
1234 symt = codeview_add_type_enum(ctp, existing,
1235 terminate_string(&type->enumeration_v2.p_name),
1236 type->enumeration_v2.fieldlist,
1237 type->enumeration_v2.type);
1238 break;
1239
1240 case LF_ENUM_V3:
1241 symt = codeview_add_type_enum(ctp, existing, type->enumeration_v3.name,
1242 type->enumeration_v3.fieldlist,
1243 type->enumeration_v3.type);
1244 break;
1245
1246 case LF_PROCEDURE_V1:
1247 symt = codeview_new_func_signature(ctp, existing, type->procedure_v1.call);
1248 if (details)
1249 {
1250 codeview_add_type(curr_type, symt);
1251 codeview_add_func_signature_args(ctp,
1252 (struct symt_function_signature*)symt,
1253 type->procedure_v1.rvtype,
1254 type->procedure_v1.arglist);
1255 }
1256 break;
1257 case LF_PROCEDURE_V2:
1258 symt = codeview_new_func_signature(ctp, existing,type->procedure_v2.call);
1259 if (details)
1260 {
1261 codeview_add_type(curr_type, symt);
1262 codeview_add_func_signature_args(ctp,
1263 (struct symt_function_signature*)symt,
1264 type->procedure_v2.rvtype,
1265 type->procedure_v2.arglist);
1266 }
1267 break;
1268
1269 case LF_MFUNCTION_V1:
1270 /* FIXME: for C++, this is plain wrong, but as we don't use arg types
1271 * nor class information, this would just do for now
1272 */
1273 symt = codeview_new_func_signature(ctp, existing, type->mfunction_v1.call);
1274 if (details)
1275 {
1276 codeview_add_type(curr_type, symt);
1277 codeview_add_func_signature_args(ctp,
1278 (struct symt_function_signature*)symt,
1279 type->mfunction_v1.rvtype,
1280 type->mfunction_v1.arglist);
1281 }
1282 break;
1283 case LF_MFUNCTION_V2:
1284 /* FIXME: for C++, this is plain wrong, but as we don't use arg types
1285 * nor class information, this would just do for now
1286 */
1287 symt = codeview_new_func_signature(ctp, existing, type->mfunction_v2.call);
1288 if (details)
1289 {
1290 codeview_add_type(curr_type, symt);
1291 codeview_add_func_signature_args(ctp,
1292 (struct symt_function_signature*)symt,
1293 type->mfunction_v2.rvtype,
1294 type->mfunction_v2.arglist);
1295 }
1296 break;
1297
1298 case LF_VTSHAPE_V1:
1299 /* this is an ugly hack... FIXME when we have C++ support */
1300 if (!(symt = existing))
1301 {
1302 char buf[128];
1303 snprintf(buf, sizeof(buf), "__internal_vt_shape_%x\n", curr_type);
1304 symt = &symt_new_udt(ctp->module, buf, 0, UdtStruct)->symt;
1305 }
1306 break;
1307 default:
1308 FIXME("Unsupported type-id leaf %x\n", type->generic.id);
1309 dump(type, 2 + type->generic.len);
1310 return NULL;
1311 }
1312 return codeview_add_type(curr_type, symt) ? symt : NULL;
1313 }
1314
1315 static BOOL codeview_parse_type_table(struct codeview_type_parse* ctp)
1316 {
1317 unsigned int curr_type = FIRST_DEFINABLE_TYPE;
1318 const union codeview_type* type;
1319
1320 for (curr_type = FIRST_DEFINABLE_TYPE; curr_type < FIRST_DEFINABLE_TYPE + ctp->num; curr_type++)
1321 {
1322 type = codeview_jump_to_type(ctp, curr_type);
1323
1324 /* type records we're interested in are the ones referenced by symbols
1325 * The known ranges are (X mark the ones we want):
1326 * X 0000-0016 for V1 types
1327 * 0200-020c for V1 types referenced by other types
1328 * 0400-040f for V1 types (complex lists & sets)
1329 * X 1000-100f for V2 types
1330 * 1200-120c for V2 types referenced by other types
1331 * 1400-140f for V1 types (complex lists & sets)
1332 * X 1500-150d for V3 types
1333 * 8000-8010 for numeric leafes
1334 */
1335 if (!(type->generic.id & 0x8600) || (type->generic.id & 0x0100))
1336 codeview_parse_one_type(ctp, curr_type, type, TRUE);
1337 }
1338
1339 return TRUE;
1340 }
1341
1342 /*========================================================================
1343 * Process CodeView line number information.
1344 */
1345 static unsigned long codeview_get_address(const struct msc_debug_info* msc_dbg,
1346 unsigned seg, unsigned offset);
1347
1348 static void codeview_snarf_linetab(const struct msc_debug_info* msc_dbg, const BYTE* linetab,
1349 int size, BOOL pascal_str)
1350 {
1351 const BYTE* ptr = linetab;
1352 int nfile, nseg;
1353 int i, j;
1354 unsigned int k;
1355 const unsigned int* filetab;
1356 const unsigned int* lt_ptr;
1357 const unsigned short* linenos;
1358 const struct startend* start;
1359 unsigned source;
1360 unsigned long addr, func_addr0;
1361 struct symt_function* func;
1362 const struct codeview_linetab_block* ltb;
1363
1364 nfile = *(const short*)linetab;
1365 filetab = (const unsigned int*)(linetab + 2 * sizeof(short));
1366
1367 for (i = 0; i < nfile; i++)
1368 {
1369 ptr = linetab + filetab[i];
1370 nseg = *(const short*)ptr;
1371 lt_ptr = (const unsigned int*)(ptr + 2 * sizeof(short));
1372 start = (const struct startend*)(lt_ptr + nseg);
1373
1374 /*
1375 * Now snarf the filename for all of the segments for this file.
1376 */
1377 if (pascal_str)
1378 source = source_new(msc_dbg->module, NULL, terminate_string((const struct p_string*)(start + nseg)));
1379 else
1380 source = source_new(msc_dbg->module, NULL, (const char*)(start + nseg));
1381
1382 for (j = 0; j < nseg; j++)
1383 {
1384 ltb = (const struct codeview_linetab_block*)(linetab + *lt_ptr++);
1385 linenos = (const unsigned short*)&ltb->offsets[ltb->num_lines];
1386 func_addr0 = codeview_get_address(msc_dbg, ltb->seg, start[j].start);
1387 if (!func_addr0) continue;
1388 for (func = NULL, k = 0; k < ltb->num_lines; k++)
1389 {
1390 /* now locate function (if any) */
1391 addr = func_addr0 + ltb->offsets[k] - start[j].start;
1392 /* unfortunately, we can have several functions in the same block, if there's no
1393 * gap between them... find the new function if needed
1394 */
1395 if (!func || addr >= func->address + func->size)
1396 {
1397 func = (struct symt_function*)symt_find_nearest(msc_dbg->module, addr);
1398 /* FIXME: at least labels support line numbers */
1399 if (!func || func->symt.tag != SymTagFunction)
1400 {
1401 WARN("--not a func at %04x:%08x %lx tag=%d\n",
1402 ltb->seg, ltb->offsets[k], addr, func ? func->symt.tag : -1);
1403 func = NULL;
1404 break;
1405 }
1406 }
1407 symt_add_func_line(msc_dbg->module, func, source,
1408 linenos[k], addr - func->address);
1409 }
1410 }
1411 }
1412 }
1413
1414 static void codeview_snarf_linetab2(const struct msc_debug_info* msc_dbg, const BYTE* linetab, DWORD size,
1415 const char* strimage, DWORD strsize)
1416 {
1417 unsigned i;
1418 DWORD_PTR addr;
1419 const struct codeview_linetab2* lt2;
1420 const struct codeview_linetab2* lt2_files = NULL;
1421 const struct codeview_lt2blk_lines* lines_blk;
1422 const struct codeview_linetab2_file*fd;
1423 unsigned source;
1424 struct symt_function* func;
1425
1426 /* locate LT2_FILES_BLOCK (if any) */
1427 lt2 = (const struct codeview_linetab2*)linetab;
1428 while ((const BYTE*)(lt2 + 1) < linetab + size)
1429 {
1430 if (lt2->header == LT2_FILES_BLOCK)
1431 {
1432 lt2_files = lt2;
1433 break;
1434 }
1435 lt2 = codeview_linetab2_next_block(lt2);
1436 }
1437 if (!lt2_files)
1438 {
1439 TRACE("No LT2_FILES_BLOCK found\n");
1440 return;
1441 }
1442
1443 lt2 = (const struct codeview_linetab2*)linetab;
1444 while ((const BYTE*)(lt2 + 1) < linetab + size)
1445 {
1446 /* FIXME: should also check that whole lines_blk fits in linetab + size */
1447 switch (lt2->header)
1448 {
1449 case LT2_LINES_BLOCK:
1450 /* Skip blocks that are too small - Intel C Compiler generates these. */
1451 if (lt2->size_of_block < sizeof (struct codeview_lt2blk_lines)) break;
1452 lines_blk = (const struct codeview_lt2blk_lines*)lt2;
1453 /* FIXME: should check that file_offset is within the LT2_FILES_BLOCK we've seen */
1454 addr = codeview_get_address(msc_dbg, lines_blk->seg, lines_blk->start);
1455 TRACE("block from %04x:%08x #%x (%x lines)\n",
1456 lines_blk->seg, lines_blk->start, lines_blk->size, lines_blk->nlines);
1457 fd = (const struct codeview_linetab2_file*)((const char*)lt2_files + 8 + lines_blk->file_offset);
1458 /* FIXME: should check that string is within strimage + strsize */
1459 source = source_new(msc_dbg->module, NULL, strimage + fd->offset);
1460 func = (struct symt_function*)symt_find_nearest(msc_dbg->module, addr);
1461 /* FIXME: at least labels support line numbers */
1462 if (!func || func->symt.tag != SymTagFunction)
1463 {
1464 WARN("--not a func at %04x:%08x %lx tag=%d\n",
1465 lines_blk->seg, lines_blk->start, addr, func ? func->symt.tag : -1);
1466 break;
1467 }
1468 for (i = 0; i < lines_blk->nlines; i++)
1469 {
1470 symt_add_func_line(msc_dbg->module, func, source,
1471 lines_blk->l[i].lineno ^ 0x80000000,
1472 lines_blk->l[i].offset);
1473 }
1474 break;
1475 case LT2_FILES_BLOCK: /* skip */
1476 break;
1477 default:
1478 TRACE("Block end %x\n", lt2->header);
1479 lt2 = (const struct codeview_linetab2*)((const char*)linetab + size);
1480 continue;
1481 }
1482 lt2 = codeview_linetab2_next_block(lt2);
1483 }
1484 }
1485
1486 /*========================================================================
1487 * Process CodeView symbol information.
1488 */
1489
1490 static unsigned int codeview_map_offset(const struct msc_debug_info* msc_dbg,
1491 unsigned int offset)
1492 {
1493 int nomap = msc_dbg->nomap;
1494 const OMAP_DATA* omapp = msc_dbg->omapp;
1495 int i;
1496
1497 if (!nomap || !omapp) return offset;
1498
1499 /* FIXME: use binary search */
1500 for (i = 0; i < nomap - 1; i++)
1501 if (omapp[i].from <= offset && omapp[i+1].from > offset)
1502 return !omapp[i].to ? 0 : omapp[i].to + (offset - omapp[i].from);
1503
1504 return 0;
1505 }
1506
1507 static unsigned long codeview_get_address(const struct msc_debug_info* msc_dbg,
1508 unsigned seg, unsigned offset)
1509 {
1510 int nsect = msc_dbg->nsect;
1511 const IMAGE_SECTION_HEADER* sectp = msc_dbg->sectp;
1512
1513 if (!seg || seg > nsect) return 0;
1514 return msc_dbg->module->module.BaseOfImage +
1515 codeview_map_offset(msc_dbg, sectp[seg-1].VirtualAddress + offset);
1516 }
1517
1518 static inline void codeview_add_variable(const struct msc_debug_info* msc_dbg,
1519 struct symt_compiland* compiland,
1520 const char* name,
1521 unsigned segment, unsigned offset,
1522 unsigned symtype, BOOL is_local, BOOL in_tls, BOOL force)
1523 {
1524 if (name && *name)
1525 {
1526 struct location loc;
1527
1528 loc.kind = in_tls ? loc_tlsrel : loc_absolute;
1529 loc.reg = 0;
1530 loc.offset = in_tls ? offset : codeview_get_address(msc_dbg, segment, offset);
1531 if (force || in_tls || !symt_find_nearest(msc_dbg->module, loc.offset))
1532 {
1533 symt_new_global_variable(msc_dbg->module, compiland,
1534 name, is_local, loc, 0,
1535 codeview_get_type(symtype, FALSE));
1536 }
1537 }
1538 }
1539
1540 static BOOL codeview_snarf(const struct msc_debug_info* msc_dbg, const BYTE* root,
1541 int offset, int size, BOOL do_globals)
1542 {
1543 struct symt_function* curr_func = NULL;
1544 int i, length;
1545 struct symt_block* block = NULL;
1546 struct symt* symt;
1547 struct symt_compiland* compiland = NULL;
1548 struct location loc;
1549
1550 /*
1551 * Loop over the different types of records and whenever we
1552 * find something we are interested in, record it and move on.
1553 */
1554 for (i = offset; i < size; i += length)
1555 {
1556 const union codeview_symbol* sym = (const union codeview_symbol*)(root + i);
1557 length = sym->generic.len + 2;
1558 if (i + length > size) break;
1559 if (!sym->generic.id || length < 4) break;
1560 if (length & 3) FIXME("unpadded len %u\n", length);
1561
1562 switch (sym->generic.id)
1563 {
1564 /*
1565 * Global and local data symbols. We don't associate these
1566 * with any given source file.
1567 */
1568 case S_GDATA_V1:
1569 case S_LDATA_V1:
1570 if (do_globals)
1571 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v1.p_name),
1572 sym->data_v1.segment, sym->data_v1.offset, sym->data_v1.symtype,
1573 sym->generic.id == S_LDATA_V1, FALSE, TRUE);
1574 break;
1575 case S_GDATA_V2:
1576 case S_LDATA_V2:
1577 if (do_globals)
1578 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v2.p_name),
1579 sym->data_v2.segment, sym->data_v2.offset, sym->data_v2.symtype,
1580 sym->generic.id == S_LDATA_V2, FALSE, TRUE);
1581 break;
1582 case S_GDATA_V3:
1583 case S_LDATA_V3:
1584 if (do_globals)
1585 codeview_add_variable(msc_dbg, compiland, sym->data_v3.name,
1586 sym->data_v3.segment, sym->data_v3.offset, sym->data_v3.symtype,
1587 sym->generic.id == S_LDATA_V3, FALSE, TRUE);
1588 break;
1589
1590 /* variables with thread storage */
1591 case S_GTHREAD_V1:
1592 case S_LTHREAD_V1:
1593 if (do_globals)
1594 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v1.p_name),
1595 sym->thread_v1.segment, sym->thread_v1.offset, sym->thread_v1.symtype,
1596 sym->generic.id == S_LTHREAD_V1, TRUE, TRUE);
1597 break;
1598 case S_GTHREAD_V2:
1599 case S_LTHREAD_V2:
1600 if (do_globals)
1601 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v2.p_name),
1602 sym->thread_v2.segment, sym->thread_v2.offset, sym->thread_v2.symtype,
1603 sym->generic.id == S_LTHREAD_V2, TRUE, TRUE);
1604 break;
1605 case S_GTHREAD_V3:
1606 case S_LTHREAD_V3:
1607 if (do_globals)
1608 codeview_add_variable(msc_dbg, compiland, sym->thread_v3.name,
1609 sym->thread_v3.segment, sym->thread_v3.offset, sym->thread_v3.symtype,
1610 sym->generic.id == S_LTHREAD_V3, TRUE, TRUE);
1611 break;
1612
1613 /* Public symbols */
1614 case S_PUB_V1:
1615 case S_PUB_V2:
1616 case S_PUB_V3:
1617 case S_PUB_FUNC1_V3:
1618 case S_PUB_FUNC2_V3:
1619 /* will be handled later on in codeview_snarf_public */
1620 break;
1621
1622 /*
1623 * Sort of like a global function, but it just points
1624 * to a thunk, which is a stupid name for what amounts to
1625 * a PLT slot in the normal jargon that everyone else uses.
1626 */
1627 case S_THUNK_V1:
1628 symt_new_thunk(msc_dbg->module, compiland,
1629 terminate_string(&sym->thunk_v1.p_name), sym->thunk_v1.thtype,
1630 codeview_get_address(msc_dbg, sym->thunk_v1.segment, sym->thunk_v1.offset),
1631 sym->thunk_v1.thunk_len);
1632 break;
1633 case S_THUNK_V3:
1634 symt_new_thunk(msc_dbg->module, compiland,
1635 sym->thunk_v3.name, sym->thunk_v3.thtype,
1636 codeview_get_address(msc_dbg, sym->thunk_v3.segment, sym->thunk_v3.offset),
1637 sym->thunk_v3.thunk_len);
1638 break;
1639
1640 /*
1641 * Global and static functions.
1642 */
1643 case S_GPROC_V1:
1644 case S_LPROC_V1:
1645 if (curr_func) FIXME("nested function\n");
1646 curr_func = symt_new_function(msc_dbg->module, compiland,
1647 terminate_string(&sym->proc_v1.p_name),
1648 codeview_get_address(msc_dbg, sym->proc_v1.segment, sym->proc_v1.offset),
1649 sym->proc_v1.proc_len,
1650 codeview_get_type(sym->proc_v1.proctype, FALSE));
1651 loc.kind = loc_absolute;
1652 loc.offset = sym->proc_v1.debug_start;
1653 symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugStart, &loc, NULL);
1654 loc.offset = sym->proc_v1.debug_end;
1655 symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugEnd, &loc, NULL);
1656 break;
1657 case S_GPROC_V2:
1658 case S_LPROC_V2:
1659 if (curr_func) FIXME("nested function\n");
1660 curr_func = symt_new_function(msc_dbg->module, compiland,
1661 terminate_string(&sym->proc_v2.p_name),
1662 codeview_get_address(msc_dbg, sym->proc_v2.segment, sym->proc_v2.offset),
1663 sym->proc_v2.proc_len,
1664 codeview_get_type(sym->proc_v2.proctype, FALSE));
1665 loc.kind = loc_absolute;
1666 loc.offset = sym->proc_v2.debug_start;
1667 symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugStart, &loc, NULL);
1668 loc.offset = sym->proc_v2.debug_end;
1669 symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugEnd, &loc, NULL);
1670 break;
1671 case S_GPROC_V3:
1672 case S_LPROC_V3:
1673 if (curr_func) FIXME("nested function\n");
1674 curr_func = symt_new_function(msc_dbg->module, compiland,
1675 sym->proc_v3.name,
1676 codeview_get_address(msc_dbg, sym->proc_v3.segment, sym->proc_v3.offset),
1677 sym->proc_v3.proc_len,
1678 codeview_get_type(sym->proc_v3.proctype, FALSE));
1679 loc.kind = loc_absolute;
1680 loc.offset = sym->proc_v3.debug_start;
1681 symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugStart, &loc, NULL);
1682 loc.offset = sym->proc_v3.debug_end;
1683 symt_add_function_point(msc_dbg->module, curr_func, SymTagFuncDebugEnd, &loc, NULL);
1684 break;
1685 /*
1686 * Function parameters and stack variables.
1687 */
1688 case S_BPREL_V1:
1689 loc.kind = loc_regrel;
1690 /* Yes, it's i386 dependent, but that's the symbol purpose. S_REGREL is used on other CPUs */
1691 loc.reg = CV_REG_EBP;
1692 loc.offset = sym->stack_v1.offset;
1693 symt_add_func_local(msc_dbg->module, curr_func,
1694 sym->stack_v1.offset > 0 ? DataIsParam : DataIsLocal,
1695 &loc, block,
1696 codeview_get_type(sym->stack_v1.symtype, FALSE),
1697 terminate_string(&sym->stack_v1.p_name));
1698 break;
1699 case S_BPREL_V2:
1700 loc.kind = loc_regrel;
1701 /* Yes, it's i386 dependent, but that's the symbol purpose. S_REGREL is used on other CPUs */
1702 loc.reg = CV_REG_EBP;
1703 loc.offset = sym->stack_v2.offset;
1704 symt_add_func_local(msc_dbg->module, curr_func,
1705 sym->stack_v2.offset > 0 ? DataIsParam : DataIsLocal,
1706 &loc, block,
1707 codeview_get_type(sym->stack_v2.symtype, FALSE),
1708 terminate_string(&sym->stack_v2.p_name));
1709 break;
1710 case S_BPREL_V3:
1711 loc.kind = loc_regrel;
1712 /* Yes, it's i386 dependent, but that's the symbol purpose. S_REGREL is used on other CPUs */
1713 loc.reg = CV_REG_EBP;
1714 loc.offset = sym->stack_v3.offset;
1715 symt_add_func_local(msc_dbg->module, curr_func,
1716 sym->stack_v3.offset > 0 ? DataIsParam : DataIsLocal,
1717 &loc, block,
1718 codeview_get_type(sym->stack_v3.symtype, FALSE),
1719 sym->stack_v3.name);
1720 break;
1721 case S_REGREL_V3:
1722 loc.kind = loc_regrel;
1723 loc.reg = sym->regrel_v3.reg;
1724 loc.offset = sym->regrel_v3.offset;
1725 symt_add_func_local(msc_dbg->module, curr_func,
1726 /* FIXME this is wrong !!! */
1727 sym->regrel_v3.offset > 0 ? DataIsParam : DataIsLocal,
1728 &loc, block,
1729 codeview_get_type(sym->regrel_v3.symtype, FALSE),
1730 sym->regrel_v3.name);
1731 break;
1732
1733 case S_REGISTER_V1:
1734 loc.kind = loc_register;
1735 loc.reg = sym->register_v1.reg;
1736 loc.offset = 0;
1737 symt_add_func_local(msc_dbg->module, curr_func,
1738 DataIsLocal, &loc,
1739 block, codeview_get_type(sym->register_v1.type, FALSE),
1740 terminate_string(&sym->register_v1.p_name));
1741 break;
1742 case S_REGISTER_V2:
1743 loc.kind = loc_register;
1744 loc.reg = sym->register_v2.reg;
1745 loc.offset = 0;
1746 symt_add_func_local(msc_dbg->module, curr_func,
1747 DataIsLocal, &loc,
1748 block, codeview_get_type(sym->register_v2.type, FALSE),
1749 terminate_string(&sym->register_v2.p_name));
1750 break;
1751 case S_REGISTER_V3:
1752 loc.kind = loc_register;
1753 loc.reg = sym->register_v3.reg;
1754 loc.offset = 0;
1755 symt_add_func_local(msc_dbg->module, curr_func,
1756 DataIsLocal, &loc,
1757 block, codeview_get_type(sym->register_v3.type, FALSE),
1758 sym->register_v3.name);
1759 break;
1760
1761 case S_BLOCK_V1:
1762 block = symt_open_func_block(msc_dbg->module, curr_func, block,
1763 codeview_get_address(msc_dbg, sym->block_v1.segment, sym->block_v1.offset),
1764 sym->block_v1.length);
1765 break;
1766 case S_BLOCK_V3:
1767 block = symt_open_func_block(msc_dbg->module, curr_func, block,
1768 codeview_get_address(msc_dbg, sym->block_v3.segment, sym->block_v3.offset),
1769 sym->block_v3.length);
1770 break;
1771
1772 case S_END_V1:
1773 if (block)
1774 {
1775 block = symt_close_func_block(msc_dbg->module, curr_func, block, 0);
1776 }
1777 else if (curr_func)
1778 {
1779 symt_normalize_function(msc_dbg->module, curr_func);
1780 curr_func = NULL;
1781 }
1782 break;
1783
1784 case S_COMPILAND_V1:
1785 TRACE("S-Compiland-V1 %x %s\n",
1786 sym->compiland_v1.unknown, terminate_string(&sym->compiland_v1.p_name));
1787 break;
1788
1789 case S_COMPILAND_V2:
1790 TRACE("S-Compiland-V2 %s\n", terminate_string(&sym->compiland_v2.p_name));
1791 if (TRACE_ON(dbghelp_msc))
1792 {
1793 const char* ptr1 = sym->compiland_v2.p_name.name + sym->compiland_v2.p_name.namelen;
1794 const char* ptr2;
1795 while (*ptr1)
1796 {
1797 ptr2 = ptr1 + strlen(ptr1) + 1;
1798 TRACE("\t%s => %s\n", ptr1, debugstr_a(ptr2));
1799 ptr1 = ptr2 + strlen(ptr2) + 1;
1800 }
1801 }
1802 break;
1803 case S_COMPILAND_V3:
1804 TRACE("S-Compiland-V3 %s\n", sym->compiland_v3.name);
1805 if (TRACE_ON(dbghelp_msc))
1806 {
1807 const char* ptr1 = sym->compiland_v3.name + strlen(sym->compiland_v3.name);
1808 const char* ptr2;
1809 while (*ptr1)
1810 {
1811 ptr2 = ptr1 + strlen(ptr1) + 1;
1812 TRACE("\t%s => %s\n", ptr1, debugstr_a(ptr2));
1813 ptr1 = ptr2 + strlen(ptr2) + 1;
1814 }
1815 }
1816 break;
1817
1818 case S_OBJNAME_V1:
1819 TRACE("S-ObjName %s\n", terminate_string(&sym->objname_v1.p_name));
1820 compiland = symt_new_compiland(msc_dbg->module, 0 /* FIXME */,
1821 source_new(msc_dbg->module, NULL,
1822 terminate_string(&sym->objname_v1.p_name)));
1823 break;
1824
1825 case S_LABEL_V1:
1826 if (curr_func)
1827 {
1828 loc.kind = loc_absolute;
1829 loc.offset = codeview_get_address(msc_dbg, sym->label_v1.segment, sym->label_v1.offset) - curr_func->address;
1830 symt_add_function_point(msc_dbg->module, curr_func, SymTagLabel, &loc,
1831 terminate_string(&sym->label_v1.p_name));
1832 }
1833 else symt_new_label(msc_dbg->module, compiland,
1834 terminate_string(&sym->label_v1.p_name),
1835 codeview_get_address(msc_dbg, sym->label_v1.segment, sym->label_v1.offset));
1836 break;
1837 case S_LABEL_V3:
1838 if (curr_func)
1839 {
1840 loc.kind = loc_absolute;
1841 loc.offset = codeview_get_address(msc_dbg, sym->label_v3.segment, sym->label_v3.offset) - curr_func->address;
1842 symt_add_function_point(msc_dbg->module, curr_func, SymTagLabel,
1843 &loc, sym->label_v3.name);
1844 }
1845 else symt_new_label(msc_dbg->module, compiland, sym->label_v3.name,
1846 codeview_get_address(msc_dbg, sym->label_v3.segment, sym->label_v3.offset));
1847 break;
1848
1849 case S_CONSTANT_V1:
1850 {
1851 int vlen;
1852 const struct p_string* name;
1853 struct symt* se;
1854 VARIANT v;
1855
1856 vlen = leaf_as_variant(&v, &sym->constant_v1.cvalue);
1857 name = (const struct p_string*)((const char*)&sym->constant_v1.cvalue + vlen);
1858 se = codeview_get_type(sym->constant_v1.type, FALSE);
1859
1860 TRACE("S-Constant-V1 %u %s %x\n",
1861 v.n1.n2.n3.intVal, terminate_string(name), sym->constant_v1.type);
1862 symt_new_constant(msc_dbg->module, compiland, terminate_string(name),
1863 se, &v);
1864 }
1865 break;
1866 case S_CONSTANT_V2:
1867 {
1868 int vlen;
1869 const struct p_string* name;
1870 struct symt* se;
1871 VARIANT v;
1872
1873 vlen = leaf_as_variant(&v, &sym->constant_v2.cvalue);
1874 name = (const struct p_string*)((const char*)&sym->constant_v2.cvalue + vlen);
1875 se = codeview_get_type(sym->constant_v2.type, FALSE);
1876
1877 TRACE("S-Constant-V2 %u %s %x\n",
1878 v.n1.n2.n3.intVal, terminate_string(name), sym->constant_v2.type);
1879 symt_new_constant(msc_dbg->module, compiland, terminate_string(name),
1880 se, &v);
1881 }
1882 break;
1883 case S_CONSTANT_V3:
1884 {
1885 int vlen;
1886 const char* name;
1887 struct symt* se;
1888 VARIANT v;
1889
1890 vlen = leaf_as_variant(&v, &sym->constant_v3.cvalue);
1891 name = (const char*)&sym->constant_v3.cvalue + vlen;
1892 se = codeview_get_type(sym->constant_v3.type, FALSE);
1893
1894 TRACE("S-Constant-V3 %u %s %x\n",
1895 v.n1.n2.n3.intVal, name, sym->constant_v3.type);
1896 /* FIXME: we should add this as a constant value */
1897 symt_new_constant(msc_dbg->module, compiland, name, se, &v);
1898 }
1899 break;
1900
1901 case S_UDT_V1:
1902 if (sym->udt_v1.type)
1903 {
1904 if ((symt = codeview_get_type(sym->udt_v1.type, FALSE)))
1905 symt_new_typedef(msc_dbg->module, symt,
1906 terminate_string(&sym->udt_v1.p_name));
1907 else
1908 FIXME("S-Udt %s: couldn't find type 0x%x\n",
1909 terminate_string(&sym->udt_v1.p_name), sym->udt_v1.type);
1910 }
1911 break;
1912 case S_UDT_V2:
1913 if (sym->udt_v2.type)
1914 {
1915 if ((symt = codeview_get_type(sym->udt_v2.type, FALSE)))
1916 symt_new_typedef(msc_dbg->module, symt,
1917 terminate_string(&sym->udt_v2.p_name));
1918 else
1919 FIXME("S-Udt %s: couldn't find type 0x%x\n",
1920 terminate_string(&sym->udt_v2.p_name), sym->udt_v2.type);
1921 }
1922 break;
1923 case S_UDT_V3:
1924 if (sym->udt_v3.type)
1925 {
1926 if ((symt = codeview_get_type(sym->udt_v3.type, FALSE)))
1927 symt_new_typedef(msc_dbg->module, symt, sym->udt_v3.name);
1928 else
1929 FIXME("S-Udt %s: couldn't find type 0x%x\n",
1930 sym->udt_v3.name, sym->udt_v3.type);
1931 }
1932 break;
1933
1934 /*
1935 * These are special, in that they are always followed by an
1936 * additional length-prefixed string which is *not* included
1937 * into the symbol length count. We need to skip it.
1938 */
1939 case S_PROCREF_V1:
1940 case S_DATAREF_V1:
1941 case S_LPROCREF_V1:
1942 {
1943 const char* name;
1944
1945 name = (const char*)sym + length;
1946 length += (*name + 1 + 3) & ~3;
1947 break;
1948 }
1949
1950 case S_MSTOOL_V3: /* just to silence a few warnings */
1951 case S_MSTOOLINFO_V3:
1952 case S_MSTOOLENV_V3:
1953 break;
1954
1955 case S_SSEARCH_V1:
1956 TRACE("Start search: seg=0x%x at offset 0x%08x\n",
1957 sym->ssearch_v1.segment, sym->ssearch_v1.offset);
1958 break;
1959
1960 case S_ALIGN_V1:
1961 TRACE("S-Align V1\n");
1962 break;
1963
1964 /* the symbols we can safely ignore for now */
1965 case 0x112c:
1966 case S_FRAMEINFO_V2:
1967 case S_SECUCOOKIE_V3:
1968 case S_SECTINFO_V3:
1969 case S_SUBSECTINFO_V3:
1970 case S_ENTRYPOINT_V3:
1971 case 0x113e:
1972 case 0x1139:
1973 case 0x1141:
1974 case 0x1142:
1975 case 0x1143:
1976 case 0x1144:
1977 TRACE("Unsupported symbol id %x\n", sym->generic.id);
1978 break;
1979
1980 default:
1981 FIXME("Unsupported symbol id %x\n", sym->generic.id);
1982 dump(sym, 2 + sym->generic.len);
1983 break;
1984 }
1985 }
1986
1987 if (curr_func) symt_normalize_function(msc_dbg->module, curr_func);
1988
1989 return TRUE;
1990 }
1991
1992 static BOOL codeview_snarf_public(const struct msc_debug_info* msc_dbg, const BYTE* root,
1993 int offset, int size)
1994
1995 {
1996 int i, length;
1997 struct symt_compiland* compiland = NULL;
1998
1999 /*
2000 * Loop over the different types of records and whenever we
2001 * find something we are interested in, record it and move on.
2002 */
2003 for (i = offset; i < size; i += length)
2004 {
2005 const union codeview_symbol* sym = (const union codeview_symbol*)(root + i);
2006 length = sym->generic.len + 2;
2007 if (i + length > size) break;
2008 if (!sym->generic.id || length < 4) break;
2009 if (length & 3) FIXME("unpadded len %u\n", length);
2010
2011 switch (sym->generic.id)
2012 {
2013 case S_PUB_V1: /* FIXME is this really a 'data_v1' structure ?? */
2014 if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
2015 {
2016 symt_new_public(msc_dbg->module, compiland,
2017 terminate_string(&sym->data_v1.p_name),
2018 codeview_get_address(msc_dbg, sym->data_v1.segment, sym->data_v1.offset), 1);
2019 }
2020 break;
2021 case S_PUB_V2: /* FIXME is this really a 'data_v2' structure ?? */
2022 if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
2023 {
2024 symt_new_public(msc_dbg->module, compiland,
2025 terminate_string(&sym->data_v2.p_name),
2026 codeview_get_address(msc_dbg, sym->data_v2.segment, sym->data_v2.offset), 1);
2027 }
2028 break;
2029
2030 case S_PUB_V3:
2031 if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
2032 {
2033 symt_new_public(msc_dbg->module, compiland,
2034 sym->data_v3.name,
2035 codeview_get_address(msc_dbg, sym->data_v3.segment, sym->data_v3.offset), 1);
2036 }
2037 break;
2038 case S_PUB_FUNC1_V3:
2039 case S_PUB_FUNC2_V3: /* using a data_v3 isn't what we'd expect */
2040 #if 0
2041 /* FIXME: this is plain wrong (from a simple test) */
2042 if (!(dbghelp_options & SYMOPT_NO_PUBLICS))
2043 {
2044 symt_new_public(msc_dbg->module, compiland,
2045 sym->data_v3.name,
2046 codeview_get_address(msc_dbg, sym->data_v3.segment, sym->data_v3.offset), 1);
2047 }
2048 #endif
2049 break;
2050 /*
2051 * Global and local data symbols. We don't associate these
2052 * with any given source file.
2053 */
2054 case S_GDATA_V1:
2055 case S_LDATA_V1:
2056 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v1.p_name),
2057 sym->data_v1.segment, sym->data_v1.offset, sym->data_v1.symtype,
2058 sym->generic.id == S_LDATA_V1, FALSE, FALSE);
2059 break;
2060 case S_GDATA_V2:
2061 case S_LDATA_V2:
2062 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->data_v2.p_name),
2063 sym->data_v2.segment, sym->data_v2.offset, sym->data_v2.symtype,
2064 sym->generic.id == S_LDATA_V2, FALSE, FALSE);
2065 break;
2066 case S_GDATA_V3:
2067 case S_LDATA_V3:
2068 codeview_add_variable(msc_dbg, compiland, sym->data_v3.name,
2069 sym->data_v3.segment, sym->data_v3.offset, sym->data_v3.symtype,
2070 sym->generic.id == S_LDATA_V3, FALSE, FALSE);
2071 break;
2072
2073 /* variables with thread storage */
2074 case S_GTHREAD_V1:
2075 case S_LTHREAD_V1:
2076 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v1.p_name),
2077 sym->thread_v1.segment, sym->thread_v1.offset, sym->thread_v1.symtype,
2078 sym->generic.id == S_LTHREAD_V1, TRUE, FALSE);
2079 break;
2080 case S_GTHREAD_V2:
2081 case S_LTHREAD_V2:
2082 codeview_add_variable(msc_dbg, compiland, terminate_string(&sym->thread_v2.p_name),
2083 sym->thread_v2.segment, sym->thread_v2.offset, sym->thread_v2.symtype,
2084 sym->generic.id == S_LTHREAD_V2, TRUE, FALSE);
2085 break;
2086 case S_GTHREAD_V3:
2087 case S_LTHREAD_V3:
2088 codeview_add_variable(msc_dbg, compiland, sym->thread_v3.name,
2089 sym->thread_v3.segment, sym->thread_v3.offset, sym->thread_v3.symtype,
2090 sym->generic.id == S_LTHREAD_V3, TRUE, FALSE);
2091 break;
2092
2093 /*
2094 * These are special, in that they are always followed by an
2095 * additional length-prefixed string which is *not* included
2096 * into the symbol length count. We need to skip it.
2097 */
2098 case S_PROCREF_V1:
2099 case S_DATAREF_V1:
2100 case S_LPROCREF_V1:
2101 length += (((const char*)sym)[length] + 1 + 3) & ~3;
2102 break;
2103 }
2104 msc_dbg->module->sortlist_valid = TRUE;
2105 }
2106 msc_dbg->module->sortlist_valid = FALSE;
2107 return TRUE;
2108 }
2109
2110 /*========================================================================
2111 * Process PDB file.
2112 */
2113
2114 static void* pdb_jg_read(const struct PDB_JG_HEADER* pdb, const WORD* block_list,
2115 int size)
2116 {
2117 int i, num_blocks;
2118 BYTE* buffer;
2119
2120 if (!size) return NULL;
2121
2122 num_blocks = (size + pdb->block_size - 1) / pdb->block_size;
2123 buffer = HeapAlloc(GetProcessHeap(), 0, num_blocks * pdb->block_size);
2124
2125 for (i = 0; i < num_blocks; i++)
2126 memcpy(buffer + i * pdb->block_size,
2127 (const char*)pdb + block_list[i] * pdb->block_size, pdb->block_size);
2128
2129 return buffer;
2130 }
2131
2132 static void* pdb_ds_read(const struct PDB_DS_HEADER* pdb, const DWORD* block_list,
2133 int size)
2134 {
2135 int i, num_blocks;
2136 BYTE* buffer;
2137
2138 if (!size) return NULL;
2139
2140 num_blocks = (size + pdb->block_size - 1) / pdb->block_size;
2141 buffer = HeapAlloc(GetProcessHeap(), 0, num_blocks * pdb->block_size);
2142
2143 for (i = 0; i < num_blocks; i++)
2144 memcpy(buffer + i * pdb->block_size,
2145 (const char*)pdb + block_list[i] * pdb->block_size, pdb->block_size);
2146
2147 return buffer;
2148 }
2149
2150 static void* pdb_read_jg_file(const struct PDB_JG_HEADER* pdb,
2151 const struct PDB_JG_TOC* toc, DWORD file_nr)
2152 {
2153 const WORD* block_list;
2154 DWORD i;
2155
2156 if (!toc || file_nr >= toc->num_files) return NULL;
2157
2158 block_list = (const WORD*) &toc->file[toc->num_files];
2159 for (i = 0; i < file_nr; i++)
2160 block_list += (toc->file[i].size + pdb->block_size - 1) / pdb->block_size;
2161
2162 return pdb_jg_read(pdb, block_list, toc->file[file_nr].size);
2163 }
2164
2165 static void* pdb_read_ds_file(const struct PDB_DS_HEADER* pdb,
2166 const struct PDB_DS_TOC* toc, DWORD file_nr)
2167 {
2168 const DWORD* block_list;
2169 DWORD i;
2170
2171 if (!toc || file_nr >= toc->num_files) return NULL;
2172 if (toc->file_size[file_nr] == 0 || toc->file_size[file_nr] == 0xFFFFFFFF) return NULL;
2173
2174 block_list = &toc->file_size[toc->num_files];
2175 for (i = 0; i < file_nr; i++)
2176 block_list += (toc->file_size[i] + pdb->block_size - 1) / pdb->block_size;
2177
2178 return pdb_ds_read(pdb, block_list, toc->file_size[file_nr]);
2179 }
2180
2181 static void* pdb_read_file(const struct pdb_file_info* pdb_file,
2182 DWORD file_nr)
2183 {
2184 switch (pdb_file->kind)
2185 {
2186 case PDB_JG:
2187 return pdb_read_jg_file((const struct PDB_JG_HEADER*)pdb_file->image,
2188 pdb_file->u.jg.toc, file_nr);
2189 case PDB_DS:
2190 return pdb_read_ds_file((const struct PDB_DS_HEADER*)pdb_file->image,
2191 pdb_file->u.ds.toc, file_nr);
2192 }
2193 return NULL;
2194 }
2195
2196 static unsigned pdb_get_file_size(const struct pdb_file_info* pdb_file, DWORD file_nr)
2197 {
2198 switch (pdb_file->kind)
2199 {
2200 case PDB_JG: return pdb_file->u.jg.toc->file[file_nr].size;
2201 case PDB_DS: return pdb_file->u.ds.toc->file_size[file_nr];
2202 }
2203 return 0;
2204 }
2205
2206 static void pdb_free(void* buffer)
2207 {
2208 HeapFree(GetProcessHeap(), 0, buffer);
2209 }
2210
2211 static void pdb_free_file(struct pdb_file_info* pdb_file)
2212 {
2213 switch (pdb_file->kind)
2214 {
2215 case PDB_JG:
2216 pdb_free(pdb_file->u.jg.toc);
2217 pdb_file->u.jg.toc = NULL;
2218 break;
2219 case PDB_DS:
2220 pdb_free(pdb_file->u.ds.toc);
2221 pdb_file->u.ds.toc = NULL;
2222 break;
2223 }
2224 HeapFree(GetProcessHeap(), 0, pdb_file->stream_dict);
2225 }
2226
2227 static void pdb_load_stream_name_table(struct pdb_file_info* pdb_file, const char* str, unsigned cb)
2228 {
2229 DWORD* pdw;
2230 DWORD* ok_bits;
2231 DWORD count, numok;
2232 unsigned i, j;
2233 char* cpstr;
2234
2235 pdw = (DWORD*)(str + cb);
2236 numok = *pdw++;
2237 count = *pdw++;
2238
2239 pdb_file->stream_dict = HeapAlloc(GetProcessHeap(), 0, (numok + 1) * sizeof(struct pdb_stream_name) + cb);
2240 if (!pdb_file->stream_dict) return;
2241 cpstr = (char*)(pdb_file->stream_dict + numok + 1);
2242 memcpy(cpstr, str, cb);
2243
2244 /* bitfield: first dword is len (in dword), then data */
2245 ok_bits = pdw;
2246 pdw += *ok_bits++ + 1;
2247 if (*pdw++ != 0)
2248 {
2249 FIXME("unexpected value\n");
2250 return;
2251 }
2252
2253 for (i = j = 0; i < count; i++)
2254 {
2255 if (ok_bits[i / 32] & (1 << (i % 32)))
2256 {
2257 if (j >= numok) break;
2258 pdb_file->stream_dict[j].name = &cpstr[*pdw++];
2259 pdb_file->stream_dict[j].index = *pdw++;
2260 j++;
2261 }
2262 }
2263 /* add sentinel */
2264 pdb_file->stream_dict[numok].name = NULL;
2265 pdb_file->fpoext_stream = -1;
2266 }
2267
2268 static unsigned pdb_get_stream_by_name(const struct pdb_file_info* pdb_file, const char* name)
2269 {
2270 struct pdb_stream_name* psn;
2271
2272 for (psn = pdb_file->stream_dict; psn && psn->name; psn++)
2273 {
2274 if (!strcmp(psn->name, name)) return psn->index;
2275 }
2276 return -1;
2277 }
2278
2279 static void* pdb_read_strings(const struct pdb_file_info* pdb_file)
2280 {
2281 unsigned idx;
2282 void *ret;
2283
2284 idx = pdb_get_stream_by_name(pdb_file, "/names");
2285 if (idx != -1)
2286 {
2287 ret = pdb_read_file( pdb_file, idx );
2288 if (ret && *(const DWORD *)ret == 0xeffeeffe) return ret;
2289 pdb_free( ret );
2290 }
2291 WARN("string table not found\n");
2292 return NULL;
2293 }
2294
2295 static void pdb_module_remove(struct process* pcsn, struct module_format* modfmt)
2296 {
2297 unsigned i;
2298
2299 for (i = 0; i < modfmt->u.pdb_info->used_subfiles; i++)
2300 {
2301 pdb_free_file(&modfmt->u.pdb_info->pdb_files[i]);
2302 if (modfmt->u.pdb_info->pdb_files[i].image)
2303 UnmapViewOfFile(modfmt->u.pdb_info->pdb_files[i].image);
2304 if (modfmt->u.pdb_info->pdb_files[i].hMap)
2305 CloseHandle(modfmt->u.pdb_info->pdb_files[i].hMap);
2306 }
2307 HeapFree(GetProcessHeap(), 0, modfmt);
2308 }
2309
2310 static void pdb_convert_types_header(PDB_TYPES* types, const BYTE* image)
2311 {
2312 memset(types, 0, sizeof(PDB_TYPES));
2313 if (!image) return;
2314
2315 if (*(const DWORD*)image < 19960000) /* FIXME: correct version? */
2316 {
2317 /* Old version of the types record header */
2318 const PDB_TYPES_OLD* old = (const PDB_TYPES_OLD*)image;
2319 types->version = old->version;
2320 types->type_offset = sizeof(PDB_TYPES_OLD);
2321 types->type_size = old->type_size;
2322 types->first_index = old->first_index;
2323 types->last_index = old->last_index;
2324 types->file = old->file;
2325 }
2326 else
2327 {
2328 /* New version of the types record header */
2329 *types = *(const PDB_TYPES*)image;
2330 }
2331 }
2332
2333 static void pdb_convert_symbols_header(PDB_SYMBOLS* symbols,
2334 int* header_size, const BYTE* image)
2335 {
2336 memset(symbols, 0, sizeof(PDB_SYMBOLS));
2337 if (!image) return;
2338
2339 if (*(const DWORD*)image != 0xffffffff)
2340 {
2341 /* Old version of the symbols record header */
2342 const PDB_SYMBOLS_OLD* old = (const PDB_SYMBOLS_OLD*)image;
2343 symbols->version = 0;
2344 symbols->module_size = old->module_size;
2345 symbols->offset_size = old->offset_size;
2346 symbols->hash_size = old->hash_size;
2347 symbols->srcmodule_size = old->srcmodule_size;
2348 symbols->pdbimport_size = 0;
2349 symbols->hash1_file = old->hash1_file;
2350 symbols->hash2_file = old->hash2_file;
2351 symbols->gsym_file = old->gsym_file;
2352
2353 *header_size = sizeof(PDB_SYMBOLS_OLD);
2354 }
2355 else
2356 {
2357 /* New version of the symbols record header */
2358 *symbols = *(const PDB_SYMBOLS*)image;
2359 *header_size = sizeof(PDB_SYMBOLS);
2360 }
2361 }
2362
2363 static void pdb_convert_symbol_file(const PDB_SYMBOLS* symbols,
2364 PDB_SYMBOL_FILE_EX* sfile,
2365 unsigned* size, const void* image)
2366
2367 {
2368 if (symbols->version < 19970000)
2369 {
2370 const PDB_SYMBOL_FILE *sym_file = image;
2371 memset(sfile, 0, sizeof(*sfile));
2372 sfile->file = sym_file->file;
2373 sfile->range.index = sym_file->range.index;
2374 sfile->symbol_size = sym_file->symbol_size;
2375 sfile->lineno_size = sym_file->lineno_size;
2376 *size = sizeof(PDB_SYMBOL_FILE) - 1;
2377 }
2378 else
2379 {
2380 memcpy(sfile, image, sizeof(PDB_SYMBOL_FILE_EX));
2381 *size = sizeof(PDB_SYMBOL_FILE_EX) - 1;
2382 }
2383 }
2384
2385 static HANDLE map_pdb_file(const struct process* pcs,
2386 const struct pdb_lookup* lookup,
2387 struct module* module)
2388 {
2389 HANDLE hFile, hMap = NULL;
2390 char dbg_file_path[MAX_PATH];
2391 BOOL ret = FALSE;
2392
2393 switch (lookup->kind)
2394 {
2395 case PDB_JG:
2396 ret = path_find_symbol_file(pcs, lookup->filename, NULL, lookup->timestamp,
2397 lookup->age, dbg_file_path, &module->module.PdbUnmatched);
2398 break;
2399 case PDB_DS:
2400 ret = path_find_symbol_file(pcs, lookup->filename, &lookup->guid, 0,
2401 lookup->age, dbg_file_path, &module->module.PdbUnmatched);
2402 break;
2403 }
2404 if (!ret)
2405 {
2406 WARN("\tCouldn't find %s\n", lookup->filename);
2407 return NULL;
2408 }
2409 if ((hFile = CreateFileA(dbg_file_path, GENERIC_READ, FILE_SHARE_READ, NULL,
2410 OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, NULL)) != INVALID_HANDLE_VALUE)
2411 {
2412 hMap = CreateFileMappingW(hFile, NULL, PAGE_READONLY, 0, 0, NULL);
2413 CloseHandle(hFile);
2414 }
2415 return hMap;
2416 }
2417
2418 static void pdb_process_types(const struct msc_debug_info* msc_dbg,
2419 const struct pdb_file_info* pdb_file)
2420 {
2421 BYTE* types_image = NULL;
2422
2423 types_image = pdb_read_file(pdb_file, 2);
2424 if (types_image)
2425 {
2426 PDB_TYPES types;
2427 struct codeview_type_parse ctp;
2428 DWORD total;
2429 const BYTE* ptr;
2430 DWORD* offset;
2431
2432 pdb_convert_types_header(&types, types_image);
2433
2434 /* Check for unknown versions */
2435 switch (types.version)
2436 {
2437 case 19950410: /* VC 4.0 */
2438 case 19951122:
2439 case 19961031: /* VC 5.0 / 6.0 */
2440 case 19990903: /* VC 7.0 */
2441 case 20040203: /* VC 8.0 */
2442 break;
2443 default:
2444 ERR("-Unknown type info version %d\n", types.version);
2445 }
2446
2447 ctp.module = msc_dbg->module;
2448 /* reconstruct the types offset...
2449 * FIXME: maybe it's present in the newest PDB_TYPES structures
2450 */
2451 total = types.last_index - types.first_index + 1;
2452 offset = HeapAlloc(GetProcessHeap(), 0, sizeof(DWORD) * total);
2453 ctp.table = ptr = types_image + types.type_offset;
2454 ctp.num = 0;
2455 while (ptr < ctp.table + types.type_size && ctp.num < total)
2456 {
2457 offset[ctp.num++] = ptr - ctp.table;
2458 ptr += ((const union codeview_type*)ptr)->generic.len + 2;
2459 }
2460 ctp.offset = offset;
2461
2462 /* Read type table */
2463 codeview_parse_type_table(&ctp);
2464 HeapFree(GetProcessHeap(), 0, offset);
2465 pdb_free(types_image);
2466 }
2467 }
2468
2469 static const char PDB_JG_IDENT[] = "Microsoft C/C++ program database 2.00\r\n\032JG\0";
2470 static const char PDB_DS_IDENT[] = "Microsoft C/C++ MSF 7.00\r\n\032DS\0";
2471
2472 /******************************************************************
2473 * pdb_init
2474 *
2475 * Tries to load a pdb file
2476 * 'matched' is filled with the number of correct matches for this file:
2477 * - age counts for one
2478 * - timestamp or guid depending on kind counts for one
2479 * a wrong kind of file returns FALSE (FIXME ?)
2480 */
2481 static BOOL pdb_init(const struct pdb_lookup* pdb_lookup, struct pdb_file_info* pdb_file,
2482 const char* image, unsigned* matched)
2483 {
2484 BOOL ret = TRUE;
2485
2486 /* check the file header, and if ok, load the TOC */
2487 TRACE("PDB(%s): %.40s\n", pdb_lookup->filename, debugstr_an(image, 40));
2488
2489 *matched = 0;
2490 if (!memcmp(image, PDB_JG_IDENT, sizeof(PDB_JG_IDENT)))
2491 {
2492 const struct PDB_JG_HEADER* pdb = (const struct PDB_JG_HEADER*)image;
2493 struct PDB_JG_ROOT* root;
2494
2495 pdb_file->u.jg.toc = pdb_jg_read(pdb, pdb->toc_block, pdb->toc.size);
2496 root = pdb_read_jg_file(pdb, pdb_file->u.jg.toc, 1);
2497 if (!root)
2498 {
2499 ERR("-Unable to get root from .PDB in %s\n", pdb_lookup->filename);
2500 return FALSE;
2501 }
2502 switch (root->Version)
2503 {
2504 case 19950623: /* VC 4.0 */
2505 case 19950814:
2506 case 19960307: /* VC 5.0 */
2507 case 19970604: /* VC 6.0 */
2508 break;
2509 default:
2510 ERR("-Unknown root block version %d\n", root->Version);
2511 }
2512 if (pdb_lookup->kind != PDB_JG)
2513 {
2514 WARN("Found %s, but wrong PDB kind\n", pdb_lookup->filename);
2515 pdb_free(root);
2516 return FALSE;
2517 }
2518 pdb_file->kind = PDB_JG;
2519 pdb_file->u.jg.timestamp = root->TimeDateStamp;
2520 pdb_file->age = root->Age;
2521 if (root->TimeDateStamp == pdb_lookup->timestamp) (*matched)++;
2522 else WARN("Found %s, but wrong signature: %08x %08x\n",
2523 pdb_lookup->filename, root->TimeDateStamp, pdb_lookup->timestamp);
2524 if (root->Age == pdb_lookup->age) (*matched)++;
2525 else WARN("Found %s, but wrong age: %08x %08x\n",
2526 pdb_lookup->filename, root->Age, pdb_lookup->age);
2527 TRACE("found JG for %s: age=%x timestamp=%x\n",
2528 pdb_lookup->filename, root->Age, root->TimeDateStamp);
2529 pdb_load_stream_name_table(pdb_file, &root->names[0], root->cbNames);
2530
2531 pdb_free(root);
2532 }
2533 else if (!memcmp(image, PDB_DS_IDENT, sizeof(PDB_DS_IDENT)))
2534 {
2535 const struct PDB_DS_HEADER* pdb = (const struct PDB_DS_HEADER*)image;
2536 struct PDB_DS_ROOT* root;
2537
2538 pdb_file->u.ds.toc =
2539 pdb_ds_read(pdb,
2540 (const DWORD*)((const char*)pdb + pdb->toc_page * pdb->block_size),
2541 pdb->toc_size);
2542 root = pdb_read_ds_file(pdb, pdb_file->u.ds.toc, 1);
2543 if (!root)
2544 {
2545 ERR("-Unable to get root from .PDB in %s\n", pdb_lookup->filename);
2546 return FALSE;
2547 }
2548 switch (root->Version)
2549 {
2550 case 20000404:
2551 break;
2552 default:
2553 ERR("-Unknown root block version %d\n", root->Version);
2554 }
2555 pdb_file->kind = PDB_DS;
2556 pdb_file->u.ds.guid = root->guid;
2557 pdb_file->age = root->Age;
2558 if (!memcmp(&root->guid, &pdb_lookup->guid, sizeof(GUID))) (*matched)++;
2559 else WARN("Found %s, but wrong GUID: %s %s\n",
2560 pdb_lookup->filename, debugstr_guid(&root->guid),
2561 debugstr_guid(&pdb_lookup->guid));
2562 if (root->Age == pdb_lookup->age) (*matched)++;
2563 else WARN("Found %s, but wrong age: %08x %08x\n",
2564 pdb_lookup->filename, root->Age, pdb_lookup->age);
2565 TRACE("found DS for %s: age=%x guid=%s\n",
2566 pdb_lookup->filename, root->Age, debugstr_guid(&root->guid));
2567 pdb_load_stream_name_table(pdb_file, &root->names[0], root->cbNames);
2568
2569 pdb_free(root);
2570 }
2571
2572 if (0) /* some tool to dump the internal files from a PDB file */
2573 {
2574 int i, num_files;
2575
2576 switch (pdb_file->kind)
2577 {
2578 case PDB_JG: num_files = pdb_file->u.jg.toc->num_files; break;
2579 case PDB_DS: num_files = pdb_file->u.ds.toc->num_files; break;
2580 }
2581
2582 for (i = 1; i < num_files; i++)
2583 {
2584 unsigned char* x = pdb_read_file(pdb_file, i);
2585 FIXME("********************** [%u]: size=%08x\n",
2586 i, pdb_get_file_size(pdb_file, i));
2587 dump(x, pdb_get_file_size(pdb_file, i));
2588 pdb_free(x);
2589 }
2590 }
2591 return ret;
2592 }
2593
2594 static BOOL pdb_process_internal(const struct process* pcs,
2595 const struct msc_debug_info* msc_dbg,
2596 const struct pdb_lookup* pdb_lookup,
2597 struct pdb_module_info* pdb_module_info,
2598 unsigned module_index);
2599
2600 static void pdb_process_symbol_imports(const struct process* pcs,
2601 const struct msc_debug_info* msc_dbg,
2602 const PDB_SYMBOLS* symbols,
2603 const void* symbols_image,
2604 const char* image,
2605 const struct pdb_lookup* pdb_lookup,
2606 struct pdb_module_info* pdb_module_info,
2607 unsigned module_index)
2608 {
2609 if (module_index == -1 && symbols && symbols->pdbimport_size)
2610 {
2611 const PDB_SYMBOL_IMPORT*imp;
2612 const void* first;
2613 const void* last;
2614 const char* ptr;
2615 int i = 0;
2616 struct pdb_file_info sf0 = pdb_module_info->pdb_files[0];
2617
2618 imp = (const PDB_SYMBOL_IMPORT*)((const char*)symbols_image + sizeof(PDB_SYMBOLS) +
2619 symbols->module_size + symbols->offset_size +
2620 symbols->hash_size + symbols->srcmodule_size);
2621 first = imp;
2622 last = (const char*)imp + symbols->pdbimport_size;
2623 while (imp < (const PDB_SYMBOL_IMPORT*)last)
2624 {
2625 ptr = (const char*)imp + sizeof(*imp) + strlen(imp->filename);
2626 if (i >= CV_MAX_MODULES) FIXME("Out of bounds!!!\n");
2627 if (!strcasecmp(pdb_lookup->filename, imp->filename))
2628 {
2629 if (module_index != -1) FIXME("Twice the entry\n");
2630 else module_index = i;
2631 pdb_module_info->pdb_files[i] = sf0;
2632 }
2633 else
2634 {
2635 struct pdb_lookup imp_pdb_lookup;
2636
2637 /* FIXME: this is an import of a JG PDB file
2638 * how's a DS PDB handled ?
2639 */
2640 imp_pdb_lookup.filename = imp->filename;
2641 imp_pdb_lookup.kind = PDB_JG;
2642 imp_pdb_lookup.timestamp = imp->TimeDateStamp;
2643 imp_pdb_lookup.age = imp->Age;
2644 TRACE("got for %s: age=%u ts=%x\n",
2645 imp->filename, imp->Age, imp->TimeDateStamp);
2646 pdb_process_internal(pcs, msc_dbg, &imp_pdb_lookup, pdb_module_info, i);
2647 }
2648 i++;
2649 imp = (const PDB_SYMBOL_IMPORT*)((const char*)first + ((ptr - (const char*)first + strlen(ptr) + 1 + 3) & ~3));
2650 }
2651 pdb_module_info->used_subfiles = i;
2652 }
2653 if (module_index == -1)
2654 {
2655 module_index = 0;
2656 pdb_module_info->used_subfiles = 1;
2657 }
2658 cv_current_module = &cv_zmodules[module_index];
2659 if (cv_current_module->allowed) FIXME("Already allowed??\n");
2660 cv_current_module->allowed = TRUE;
2661 }
2662
2663 static BOOL pdb_process_internal(const struct process* pcs,
2664 const struct msc_debug_info* msc_dbg,
2665 const struct pdb_lookup* pdb_lookup,
2666 struct pdb_module_info* pdb_module_info,
2667 unsigned module_index)
2668 {
2669 HANDLE hMap = NULL;
2670 char* image = NULL;
2671 BYTE* symbols_image = NULL;
2672 char* files_image = NULL;
2673 DWORD files_size = 0;
2674 unsigned matched;
2675 struct pdb_file_info* pdb_file;
2676
2677 TRACE("Processing PDB file %s\n", pdb_lookup->filename);
2678
2679 pdb_file = &pdb_module_info->pdb_files[module_index == -1 ? 0 : module_index];
2680 /* Open and map() .PDB file */
2681 if ((hMap = map_pdb_file(pcs, pdb_lookup, msc_dbg->module)) == NULL ||
2682 ((image = MapViewOfFile(hMap, FILE_MAP_READ, 0, 0, 0)) == NULL))
2683 {
2684 WARN("Unable to open .PDB file: %s\n", pdb_lookup->filename);
2685 CloseHandle(hMap);
2686 return FALSE;
2687 }
2688 if (!pdb_init(pdb_lookup, pdb_file, image, &matched) || matched != 2)
2689 {
2690 CloseHandle(hMap);
2691 UnmapViewOfFile(image);
2692 return FALSE;
2693 }
2694
2695 pdb_file->hMap = hMap;
2696 pdb_file->image = image;
2697 symbols_image = pdb_read_file(pdb_file, 3);
2698 if (symbols_image)
2699 {
2700 PDB_SYMBOLS symbols;
2701 BYTE* globalimage;
2702 BYTE* modimage;
2703 BYTE* file;
2704 int header_size = 0;
2705 PDB_STREAM_INDEXES* psi;
2706
2707 pdb_convert_symbols_header(&symbols, &header_size, symbols_image);
2708 switch (symbols.version)
2709 {
2710 case 0: /* VC 4.0 */
2711 case 19960307: /* VC 5.0 */
2712 case 19970606: /* VC 6.0 */
2713 case 19990903:
2714 break;
2715 default:
2716 ERR("-Unknown symbol info version %d %08x\n",
2717 symbols.version, symbols.version);
2718 }
2719
2720 switch (symbols.stream_index_size)
2721 {
2722 case 0:
2723 case sizeof(PDB_STREAM_INDEXES_OLD):
2724 /* no fpo ext stream in this case */
2725 break;
2726 case sizeof(PDB_STREAM_INDEXES):
2727 psi = (PDB_STREAM_INDEXES*)((const char*)symbols_image + sizeof(PDB_SYMBOLS) +
2728 symbols.module_size + symbols.offset_size +
2729 symbols.hash_size + symbols.srcmodule_size +
2730 symbols.pdbimport_size + symbols.unknown2_size);
2731 pdb_file->fpoext_stream = psi->FPO_EXT;
2732 break;
2733 default:
2734 FIXME("Unknown PDB_STREAM_INDEXES size (%d)\n", symbols.stream_index_size);
2735 break;
2736 }
2737 files_image = pdb_read_strings(pdb_file);
2738 if (files_image) files_size = *(const DWORD*)(files_image + 8);
2739
2740 pdb_process_symbol_imports(pcs, msc_dbg, &symbols, symbols_image, image,
2741 pdb_lookup, pdb_module_info, module_index);
2742 pdb_process_types(msc_dbg, pdb_file);
2743
2744 /* Read global symbol table */
2745 globalimage = pdb_read_file(pdb_file, symbols.gsym_file);
2746 if (globalimage)
2747 {
2748 codeview_snarf(msc_dbg, globalimage, 0,
2749 pdb_get_file_size(pdb_file, symbols.gsym_file), FALSE);
2750 }
2751
2752 /* Read per-module symbols' tables */
2753 file = symbols_image + header_size;
2754 while (file - symbols_image < header_size + symbols.module_size)
2755 {
2756 PDB_SYMBOL_FILE_EX sfile;
2757 const char* file_name;
2758 unsigned size;
2759
2760 HeapValidate(GetProcessHeap(), 0, NULL);
2761 pdb_convert_symbol_file(&symbols, &sfile, &size, file);
2762
2763 modimage = pdb_read_file(pdb_file, sfile.file);
2764 if (modimage)
2765 {
2766 if (sfile.symbol_size)
2767 codeview_snarf(msc_dbg, modimage, sizeof(DWORD),
2768 sfile.symbol_size, TRUE);
2769
2770 if (sfile.lineno_size)
2771 codeview_snarf_linetab(msc_dbg,
2772 modimage + sfile.symbol_size,
2773 sfile.lineno_size,
2774 pdb_file->kind == PDB_JG);
2775 if (files_image)
2776 codeview_snarf_linetab2(msc_dbg, modimage + sfile.symbol_size + sfile.lineno_size,
2777 pdb_get_file_size(pdb_file, sfile.file) - sfile.symbol_size - sfile.lineno_size,
2778 files_image + 12, files_size);
2779
2780 pdb_free(modimage);
2781 }
2782 file_name = (const char*)file + size;
2783 file_name += strlen(file_name) + 1;
2784 file = (BYTE*)((DWORD_PTR)(file_name + strlen(file_name) + 1 + 3) & ~3);
2785 }
2786 /* finish the remaining public and global information */
2787 if (globalimage)
2788 {
2789 codeview_snarf_public(msc_dbg, globalimage, 0,
2790 pdb_get_file_size(pdb_file, symbols.gsym_file));
2791 pdb_free(globalimage);
2792 }
2793 }
2794 else
2795 pdb_process_symbol_imports(pcs, msc_dbg, NULL, NULL, image,
2796 pdb_lookup, pdb_module_info, module_index);
2797
2798 pdb_free(symbols_image);
2799 pdb_free(files_image);
2800
2801 return TRUE;
2802 }
2803
2804 static BOOL pdb_process_file(const struct process* pcs,
2805 const struct msc_debug_info* msc_dbg,
2806 struct pdb_lookup* pdb_lookup)
2807 {
2808 BOOL ret;
2809 struct module_format* modfmt;
2810 struct pdb_module_info* pdb_module_info;
2811
2812 modfmt = HeapAlloc(GetProcessHeap(), 0,
2813 sizeof(struct module_format) + sizeof(struct pdb_module_info));
2814 if (!modfmt) return FALSE;
2815
2816 pdb_module_info = (void*)(modfmt + 1);
2817 msc_dbg->module->format_info[DFI_PDB] = modfmt;
2818 modfmt->module = msc_dbg->module;
2819 modfmt->remove = pdb_module_remove;
2820 modfmt->loc_compute = NULL;
2821 modfmt->u.pdb_info = pdb_module_info;
2822
2823 memset(cv_zmodules, 0, sizeof(cv_zmodules));
2824 codeview_init_basic_types(msc_dbg->module);
2825 ret = pdb_process_internal(pcs, msc_dbg, pdb_lookup,
2826 msc_dbg->module->format_info[DFI_PDB]->u.pdb_info, -1);
2827 codeview_clear_type_table();
2828 if (ret)
2829 {
2830 struct pdb_module_info* pdb_info = msc_dbg->module->format_info[DFI_PDB]->u.pdb_info;
2831 msc_dbg->module->module.SymType = SymCv;
2832 if (pdb_info->pdb_files[0].kind == PDB_JG)
2833 msc_dbg->module->module.PdbSig = pdb_info->pdb_files[0].u.jg.timestamp;
2834 else
2835 msc_dbg->module->module.PdbSig70 = pdb_info->pdb_files[0].u.ds.guid;
2836 msc_dbg->module->module.PdbAge = pdb_info->pdb_files[0].age;
2837 MultiByteToWideChar(CP_ACP, 0, pdb_lookup->filename, -1,
2838 msc_dbg->module->module.LoadedPdbName,
2839 sizeof(msc_dbg->module->module.LoadedPdbName) / sizeof(WCHAR));
2840 /* FIXME: we could have a finer grain here */
2841 msc_dbg->module->module.LineNumbers = TRUE;
2842 msc_dbg->module->module.GlobalSymbols = TRUE;
2843 msc_dbg->module->module.TypeInfo = TRUE;
2844 msc_dbg->module->module.SourceIndexed = TRUE;
2845 msc_dbg->module->module.Publics = TRUE;
2846 }
2847 else
2848 {
2849 msc_dbg->module->format_info[DFI_PDB] = NULL;
2850 HeapFree(GetProcessHeap(), 0, modfmt);
2851 }
2852 return ret;
2853 }
2854
2855 BOOL pdb_fetch_file_info(const struct pdb_lookup* pdb_lookup, unsigned* matched)
2856 {
2857 HANDLE hFile, hMap = NULL;
2858 char* image = NULL;
2859 BOOL ret;
2860 struct pdb_file_info pdb_file;
2861
2862 if ((hFile = CreateFileA(pdb_lookup->filename, GENERIC_READ, FILE_SHARE_READ, NULL,
2863 OPEN_EXISTING, FILE_ATTRIBUTE_NORMAL, NULL)) == INVALID_HANDLE_VALUE ||
2864 ((hMap = CreateFileMappingW(hFile, NULL, PAGE_READONLY, 0, 0, NULL)) == NULL) ||
2865 ((image = MapViewOfFile(hMap, FILE_MAP_READ, 0, 0, 0)) == NULL))
2866 {
2867 WARN("Unable to open .PDB file: %s\n", pdb_lookup->filename);
2868 ret = FALSE;
2869 }
2870 else
2871 {
2872 ret = pdb_init(pdb_lookup, &pdb_file, image, matched);
2873 pdb_free_file(&pdb_file);
2874 }
2875
2876 if (image) UnmapViewOfFile(image);
2877 if (hMap) CloseHandle(hMap);
2878 if (hFile != INVALID_HANDLE_VALUE) CloseHandle(hFile);
2879
2880 return ret;
2881 }
2882
2883 /*========================================================================
2884 * FPO unwinding code
2885 */
2886
2887 /* Stack unwinding is based on postfixed operations.
2888 * Let's define our Postfix EValuator
2889 */
2890 #define PEV_MAX_LEN 32
2891 struct pevaluator
2892 {
2893 struct cpu_stack_walk* csw;
2894 struct pool pool;
2895 struct vector stack;
2896 unsigned stk_index;
2897 struct hash_table values;
2898 char error[64];
2899 };
2900
2901 struct zvalue
2902 {
2903 DWORD_PTR value;
2904 struct hash_table_elt elt;
2905 };
2906
2907 #define PEV_ERROR(pev, msg) snprintf((pev)->error, sizeof((pev)->error), "%s", (msg))
2908 #define PEV_ERROR1(pev, msg, pmt) snprintf((pev)->error, sizeof((pev)->error), (msg), (pmt))
2909
2910 #if 0
2911 static void pev_dump_stack(struct pevaluator* pev)
2912 {
2913 unsigned i;
2914 FIXME("stack #%d\n", pev->stk_index);
2915 for (i = 0