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