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