git.oblomov.eu Git - wine/blob - dlls/dbghelp/stabs.c

   1 /*
   2  * File stabs.c - read stabs information from the modules
   3  *
   4  * Copyright (C) 1996,      Eric Youngdale.
   5  *               1999-2005, Eric Pouech
   6  *
   7  * This library is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU Lesser General Public
   9  * License as published by the Free Software Foundation; either
  10  * version 2.1 of the License, or (at your option) any later version.
  11  *
  12  * This library is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15  * Lesser General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU Lesser General Public
  18  * License along with this library; if not, write to the Free Software
  19  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
  20  *
  21  *
  22  * Maintenance Information
  23  * -----------------------
  24  *
  25  * For documentation on the stabs format see for example
  26  *   The "stabs" debug format
  27  *     by Julia Menapace, Jim Kingdon, David Mackenzie
  28  *     of Cygnus Support
  29  *     available (hopefully) from http://sources.redhat.com/gdb/onlinedocs
  30  */
  31
  32 #include "config.h"
  33 #include "wine/port.h"
  34
  35 #include <sys/types.h>
  36 #include <fcntl.h>
  37 #ifdef HAVE_SYS_STAT_H
  38 # include <sys/stat.h>
  39 #endif
  40 #ifdef HAVE_SYS_MMAN_H
  41 #include <sys/mman.h>
  42 #endif
  43 #include <limits.h>
  44 #include <stdlib.h>
  45 #include <string.h>
  46 #ifdef HAVE_UNISTD_H
  47 # include <unistd.h>
  48 #endif
  49 #include <stdio.h>
  50 #ifndef PATH_MAX
  51 #define PATH_MAX MAX_PATH
  52 #endif
  53 #include <assert.h>
  54 #include <stdarg.h>
  55
  56 #ifdef HAVE_MACH_O_NLIST_H
  57 # include <mach-o/nlist.h>
  58 #endif
  59
  60 #include "windef.h"
  61 #include "winbase.h"
  62 #include "winnls.h"
  63
  64 #include "dbghelp_private.h"
  65
  66 #include "wine/debug.h"
  67
  68 WINE_DEFAULT_DEBUG_CHANNEL(dbghelp_stabs);
  69
  70 /* Masks for n_type field */
  71 #ifndef N_STAB
  72 #define N_STAB          0xe0
  73 #endif
  74 #ifndef N_TYPE
  75 #define N_TYPE          0x1e
  76 #endif
  77 #ifndef N_EXT
  78 #define N_EXT           0x01
  79 #endif
  80
  81 /* Values for (n_type & N_TYPE) */
  82 #ifndef N_UNDF
  83 #define N_UNDF          0x00
  84 #endif
  85 #ifndef N_ABS
  86 #define N_ABS           0x02
  87 #endif
  88
  89 #define N_GSYM          0x20
  90 #define N_FUN           0x24
  91 #define N_STSYM         0x26
  92 #define N_LCSYM         0x28
  93 #define N_MAIN          0x2a
  94 #define N_ROSYM         0x2c
  95 #define N_BNSYM         0x2e
  96 #define N_OPT           0x3c
  97 #define N_RSYM          0x40
  98 #define N_SLINE         0x44
  99 #define N_ENSYM         0x4e
 100 #define N_SO            0x64
 101 #define N_OSO           0x66
 102 #define N_LSYM          0x80
 103 #define N_BINCL         0x82
 104 #define N_SOL           0x84
 105 #define N_PSYM          0xa0
 106 #define N_EINCL         0xa2
 107 #define N_LBRAC         0xc0
 108 #define N_EXCL          0xc2
 109 #define N_RBRAC         0xe0
 110
 111 struct stab_nlist
 112 {
 113     union
 114     {
 115         char*                   n_name;
 116         struct stab_nlist*      n_next;
 117         long                    n_strx;
 118     } n_un;
 119     unsigned char       n_type;
 120     char                n_other;
 121     short               n_desc;
 122     unsigned long       n_value;
 123 };
 124
 125 static void stab_strcpy(char* dest, int sz, const char* source)
 126 {
 127     char*       ptr = dest;
 128     /*
 129      * A strcpy routine that stops when we hit the ':' character.
 130      * Faster than copying the whole thing, and then nuking the
 131      * ':'.
 132      * Takes also care of (valid) a::b constructs
 133      */
 134     while (*source != '\0')
 135     {
 136         if (source[0] != ':' && sz-- > 0) *ptr++ = *source++;
 137         else if (source[1] == ':' && (sz -= 2) > 0)
 138         {
 139             *ptr++ = *source++;
 140             *ptr++ = *source++;
 141         }
 142         else break;
 143     }
 144     *ptr-- = '\0';
 145     /* GCC emits, in some cases, a .<digit>+ suffix.
 146      * This is used for static variable inside functions, so
 147      * that we can have several such variables with same name in
 148      * the same compilation unit
 149      * We simply ignore that suffix when present (we also get rid
 150      * of it in ELF symtab parsing)
 151      */
 152     if (ptr >= dest && isdigit(*ptr))
 153     {
 154         while (ptr > dest && isdigit(*ptr)) ptr--;
 155         if (*ptr == '.') *ptr = '\0';
 156     }
 157     assert(sz > 0);
 158 }
 159
 160 typedef struct
 161 {
 162    char*                name;
 163    unsigned long        value;
 164    struct symt**        vector;
 165    int                  nrofentries;
 166 } include_def;
 167
 168 #define MAX_INCLUDES    5120
 169
 170 static include_def*             include_defs = NULL;
 171 static int                      num_include_def = 0;
 172 static int                      num_alloc_include_def = 0;
 173 static int                      cu_include_stack[MAX_INCLUDES];
 174 static int                      cu_include_stk_idx = 0;
 175 static struct symt**            cu_vector = NULL;
 176 static int                      cu_nrofentries = 0;
 177 static struct symt_basic*       stabs_basic[36];
 178
 179 static int stabs_new_include(const char* file, unsigned long val)
 180 {
 181     if (num_include_def == num_alloc_include_def)
 182     {
 183         if (!include_defs)
 184         {
 185             num_alloc_include_def = 256;
 186             include_defs = HeapAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY,
 187                                      sizeof(include_defs[0]) * num_alloc_include_def);
 188         }
 189         else
 190         {
 191             num_alloc_include_def *= 2;
 192             include_defs = HeapReAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY, include_defs,
 193                                        sizeof(include_defs[0]) * num_alloc_include_def);
 194         }
 195     }
 196     include_defs[num_include_def].name = strcpy(HeapAlloc(GetProcessHeap(), 0, strlen(file) + 1), file);
 197     include_defs[num_include_def].value = val;
 198     include_defs[num_include_def].vector = NULL;
 199     include_defs[num_include_def].nrofentries = 0;
 200
 201     return num_include_def++;
 202 }
 203
 204 static int stabs_find_include(const char* file, unsigned long val)
 205 {
 206     int         i;
 207
 208     for (i = 0; i < num_include_def; i++)
 209     {
 210         if (val == include_defs[i].value &&
 211             strcmp(file, include_defs[i].name) == 0)
 212             return i;
 213     }
 214     return -1;
 215 }
 216
 217 static int stabs_add_include(int idx)
 218 {
 219     if (idx < 0) return -1;
 220     cu_include_stk_idx++;
 221
 222     /* if this happens, just bump MAX_INCLUDES */
 223     /* we could also handle this as another dynarray */
 224     assert(cu_include_stk_idx < MAX_INCLUDES);
 225     cu_include_stack[cu_include_stk_idx] = idx;
 226     return cu_include_stk_idx;
 227 }
 228
 229 static void stabs_reset_includes(void)
 230 {
 231     /*
 232      * The struct symt:s that we would need to use are reset when
 233      * we start a new file. (at least the ones in filenr == 0)
 234      */
 235     cu_include_stk_idx = 0;/* keep 0 as index for the .c file itself */
 236     memset(cu_vector, 0, sizeof(cu_vector[0]) * cu_nrofentries);
 237 }
 238
 239 static void stabs_free_includes(void)
 240 {
 241     int i;
 242
 243     stabs_reset_includes();
 244     for (i = 0; i < num_include_def; i++)
 245     {
 246         HeapFree(GetProcessHeap(), 0, include_defs[i].name);
 247         HeapFree(GetProcessHeap(), 0, include_defs[i].vector);
 248     }
 249     HeapFree(GetProcessHeap(), 0, include_defs);
 250     include_defs = NULL;
 251     num_include_def = 0;
 252     num_alloc_include_def = 0;
 253     HeapFree(GetProcessHeap(), 0, cu_vector);
 254     cu_vector = NULL;
 255     cu_nrofentries = 0;
 256 }
 257
 258 static struct symt** stabs_find_ref(long filenr, long subnr)
 259 {
 260     struct symt**       ret;
 261
 262     /* FIXME: I could perhaps create a dummy include_def for each compilation
 263      * unit which would allow not to handle those two cases separately
 264      */
 265     if (filenr == 0)
 266     {
 267         if (cu_nrofentries <= subnr)
 268         {
 269             cu_nrofentries = max( cu_nrofentries * 2, subnr + 1 );
 270             if (!cu_vector)
 271                 cu_vector = HeapAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY,
 272                                       sizeof(cu_vector[0]) * cu_nrofentries);
 273             else
 274                 cu_vector = HeapReAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY,
 275                                         cu_vector, sizeof(cu_vector[0]) * cu_nrofentries);
 276         }
 277         ret = &cu_vector[subnr];
 278     }
 279     else
 280     {
 281         include_def*    idef;
 282
 283         assert(filenr <= cu_include_stk_idx);
 284         idef = &include_defs[cu_include_stack[filenr]];
 285
 286         if (idef->nrofentries <= subnr)
 287         {
 288             idef->nrofentries = max( idef->nrofentries * 2, subnr + 1 );
 289             if (!idef->vector)
 290                 idef->vector = HeapAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY,
 291                                          sizeof(idef->vector[0]) * idef->nrofentries);
 292             else
 293                 idef->vector = HeapReAlloc(GetProcessHeap(), HEAP_ZERO_MEMORY,
 294                                            idef->vector, sizeof(idef->vector[0]) * idef->nrofentries);
 295         }
 296         ret = &idef->vector[subnr];
 297     }
 298     TRACE("(%ld,%ld) => %p (%p)\n", filenr, subnr, ret, *ret);
 299     return ret;
 300 }
 301
 302 static struct symt** stabs_read_type_enum(const char** x)
 303 {
 304     long        filenr, subnr;
 305     const char* iter;
 306     char*       end;
 307
 308     iter = *x;
 309     if (*iter == '(')
 310     {
 311         ++iter;                             /* '('   */
 312         filenr = strtol(iter, &end, 10);    /* <int> */
 313         iter = ++end;                       /* ','   */
 314         subnr = strtol(iter, &end, 10);     /* <int> */
 315         iter = ++end;                       /* ')'   */
 316     }
 317     else
 318     {
 319         filenr = 0;
 320         subnr = strtol(iter, &end, 10);     /* <int> */
 321         iter = end;
 322     }
 323     *x = iter;
 324     return stabs_find_ref(filenr, subnr);
 325 }
 326
 327 #define PTS_DEBUG
 328 struct ParseTypedefData
 329 {
 330     const char*         ptr;
 331     char                buf[1024];
 332     int                 idx;
 333     struct module*      module;
 334 #ifdef PTS_DEBUG
 335     struct PTS_Error
 336     {
 337         const char*         ptr;
 338         unsigned            line;
 339     } errors[16];
 340     int                 err_idx;
 341 #endif
 342 };
 343
 344 #ifdef PTS_DEBUG
 345 static void stabs_pts_push(struct ParseTypedefData* ptd, unsigned line)
 346 {
 347     assert(ptd->err_idx < sizeof(ptd->errors) / sizeof(ptd->errors[0]));
 348     ptd->errors[ptd->err_idx].line = line;
 349     ptd->errors[ptd->err_idx].ptr = ptd->ptr;
 350     ptd->err_idx++;
 351 }
 352 #define PTS_ABORTIF(ptd, t) do { if (t) { stabs_pts_push((ptd), __LINE__); return -1;} } while (0)
 353 #else
 354 #define PTS_ABORTIF(ptd, t) do { if (t) return -1; } while (0)
 355 #endif
 356
 357 static int stabs_get_basic(struct ParseTypedefData* ptd, unsigned basic, struct symt** symt)
 358 {
 359     PTS_ABORTIF(ptd, basic >= sizeof(stabs_basic) / sizeof(stabs_basic[0]));
 360
 361     if (!stabs_basic[basic])
 362     {
 363         switch (basic)
 364         {
 365         case  1: stabs_basic[basic] = symt_new_basic(ptd->module, btInt,     "int", 4); break;
 366         case  2: stabs_basic[basic] = symt_new_basic(ptd->module, btChar,    "char", 1); break;
 367         case  3: stabs_basic[basic] = symt_new_basic(ptd->module, btInt,     "short int", 2); break;
 368         case  4: stabs_basic[basic] = symt_new_basic(ptd->module, btInt,     "long int", 4); break;
 369         case  5: stabs_basic[basic] = symt_new_basic(ptd->module, btUInt,    "unsigned char", 1); break;
 370         case  6: stabs_basic[basic] = symt_new_basic(ptd->module, btInt,     "signed char", 1); break;
 371         case  7: stabs_basic[basic] = symt_new_basic(ptd->module, btUInt,    "unsigned short int", 2); break;
 372         case  8: stabs_basic[basic] = symt_new_basic(ptd->module, btUInt,    "unsigned int", 4); break;
 373         case  9: stabs_basic[basic] = symt_new_basic(ptd->module, btUInt,    "unsigned", 2); break;
 374         case 10: stabs_basic[basic] = symt_new_basic(ptd->module, btUInt,    "unsigned long int", 2); break;
 375         case 11: stabs_basic[basic] = symt_new_basic(ptd->module, btVoid,    "void", 0); break;
 376         case 12: stabs_basic[basic] = symt_new_basic(ptd->module, btFloat,   "float", 4); break;
 377         case 13: stabs_basic[basic] = symt_new_basic(ptd->module, btFloat,   "double", 8); break;
 378         case 14: stabs_basic[basic] = symt_new_basic(ptd->module, btFloat,   "long double", 12); break;
 379         case 15: stabs_basic[basic] = symt_new_basic(ptd->module, btInt,     "integer", 4); break;
 380         case 16: stabs_basic[basic] = symt_new_basic(ptd->module, btBool,    "bool", 1); break;
 381         /*    case 17: short real */
 382         /*    case 18: real */
 383         case 25: stabs_basic[basic] = symt_new_basic(ptd->module, btComplex, "float complex", 8); break;
 384         case 26: stabs_basic[basic] = symt_new_basic(ptd->module, btComplex, "double complex", 16); break;
 385         case 30: stabs_basic[basic] = symt_new_basic(ptd->module, btWChar,   "wchar_t", 2); break;
 386         case 31: stabs_basic[basic] = symt_new_basic(ptd->module, btInt,     "long long int", 8); break;
 387         case 32: stabs_basic[basic] = symt_new_basic(ptd->module, btUInt,    "long long unsigned", 8); break;
 388             /* starting at 35 are wine extensions (especially for R implementation) */
 389         case 35: stabs_basic[basic] = symt_new_basic(ptd->module, btComplex, "long double complex", 24); break;
 390         default: PTS_ABORTIF(ptd, 1);
 391         }
 392     }
 393     *symt = &stabs_basic[basic]->symt;
 394     return 0;
 395 }
 396
 397 static int stabs_pts_read_type_def(struct ParseTypedefData* ptd,
 398                                    const char* typename, struct symt** dt);
 399
 400 static int stabs_pts_read_id(struct ParseTypedefData* ptd)
 401 {
 402     const char*         first = ptd->ptr;
 403     unsigned int        template = 0;
 404     char                ch;
 405
 406     while ((ch = *ptd->ptr++) != '\0')
 407     {
 408         switch (ch)
 409         {
 410         case ':':
 411             if (template == 0)
 412             {
 413                 unsigned int len = ptd->ptr - first - 1;
 414                 PTS_ABORTIF(ptd, len >= sizeof(ptd->buf) - ptd->idx);
 415                 memcpy(ptd->buf + ptd->idx, first, len);
 416                 ptd->buf[ptd->idx + len] = '\0';
 417                 ptd->idx += len + 1;
 418                 return 0;
 419             }
 420             break;
 421         case '<': template++; break;
 422         case '>': PTS_ABORTIF(ptd, template == 0); template--; break;
 423         }
 424     }
 425     return -1;
 426 }
 427
 428 static int stabs_pts_read_number(struct ParseTypedefData* ptd, long* v)
 429 {
 430     char*       last;
 431
 432     *v = strtol(ptd->ptr, &last, 10);
 433     PTS_ABORTIF(ptd, last == ptd->ptr);
 434     ptd->ptr = last;
 435     return 0;
 436 }
 437
 438 static int stabs_pts_read_type_reference(struct ParseTypedefData* ptd,
 439                                          long* filenr, long* subnr)
 440 {
 441     if (*ptd->ptr == '(')
 442     {
 443         /* '(' <int> ',' <int> ')' */
 444         ptd->ptr++;
 445         PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, filenr) == -1);
 446         PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 447         PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, subnr) == -1);
 448         PTS_ABORTIF(ptd, *ptd->ptr++ != ')');
 449     }
 450     else
 451     {
 452         *filenr = 0;
 453         PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, subnr) == -1);
 454     }
 455     return 0;
 456 }
 457
 458 struct pts_range_value
 459 {
 460     ULONGLONG           val;
 461     int                 sign;
 462 };
 463
 464 static int stabs_pts_read_range_value(struct ParseTypedefData* ptd, struct pts_range_value* prv)
 465 {
 466     char*       last;
 467
 468     switch (*ptd->ptr)
 469     {
 470     case '0':
 471         while (*ptd->ptr == '0') ptd->ptr++;
 472         if (*ptd->ptr >= '1' && *ptd->ptr <= '7')
 473         {
 474             switch (ptd->ptr[1])
 475             {
 476             case '0':
 477                 PTS_ABORTIF(ptd, ptd->ptr[0] != '1');
 478                 prv->sign = -1;
 479                 prv->val = 0;
 480                 while (isdigit(*ptd->ptr)) prv->val = (prv->val << 3) + *ptd->ptr++ - '0';
 481                 break;
 482             case '7':
 483                 prv->sign = 1;
 484                 prv->val = 0;
 485                 while (isdigit(*ptd->ptr)) prv->val = (prv->val << 3) + *ptd->ptr++ - '0';
 486                 break;
 487             default: PTS_ABORTIF(ptd, 1); break;
 488             }
 489         } else prv->sign = 0;
 490         break;
 491     case '-':
 492         prv->sign = -1;
 493         prv->val = strtoull(++ptd->ptr, &last, 10);
 494         ptd->ptr = last;
 495         break;
 496     case '+':
 497     default:
 498         prv->sign = 1;
 499         prv->val = strtoull(ptd->ptr, &last, 10);
 500         ptd->ptr = last;
 501         break;
 502     }
 503     return 0;
 504 }
 505
 506 static int stabs_pts_read_range(struct ParseTypedefData* ptd, const char* typename,
 507                                 struct symt** dt)
 508 {
 509     struct symt*                ref;
 510     struct pts_range_value      lo;
 511     struct pts_range_value      hi;
 512     unsigned                    size;
 513     enum BasicType              bt;
 514     int                         i;
 515     ULONGLONG                   v;
 516
 517     /* type ';' <int> ';' <int> ';' */
 518     PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &ref) == -1);
 519     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');       /* ';' */
 520     PTS_ABORTIF(ptd, stabs_pts_read_range_value(ptd, &lo) == -1);
 521     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');       /* ';' */
 522     PTS_ABORTIF(ptd, stabs_pts_read_range_value(ptd, &hi) == -1);
 523     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');       /* ';' */
 524
 525     /* basically, we don't use ref... in some cases, for example, float is declared
 526      * as a derived type of int... which won't help us... so we guess the types
 527      * from the various formats
 528      */
 529     if (lo.sign == 0 && hi.sign < 0)
 530     {
 531         bt = btUInt;
 532         size = hi.val;
 533     }
 534     else if (lo.sign < 0 && hi.sign == 0)
 535     {
 536         bt = btUInt;
 537         size = lo.val;
 538     }
 539     else if (lo.sign > 0 && hi.sign == 0)
 540     {
 541         bt = btFloat;
 542         size = lo.val;
 543     }
 544     else if (lo.sign < 0 && hi.sign > 0)
 545     {
 546         v = 1 << 7;
 547         for (i = 7; i < 64; i += 8)
 548         {
 549             if (lo.val == v && hi.val == v - 1)
 550             {
 551                 bt = btInt;
 552                 size = (i + 1) / 8;
 553                 break;
 554             }
 555             v <<= 8;
 556         }
 557         PTS_ABORTIF(ptd, i >= 64);
 558     }
 559     else if (lo.sign == 0 && hi.sign > 0)
 560     {
 561         if (hi.val == 127) /* specific case for char... */
 562         {
 563             bt = btChar;
 564             size = 1;
 565         }
 566         else
 567         {
 568             v = 1;
 569             for (i = 8; i <= 64; i += 8)
 570             {
 571                 v <<= 8;
 572                 if (hi.val + 1 == v)
 573                 {
 574                     bt = btUInt;
 575                     size = (i + 1) / 8;
 576                     break;
 577                 }
 578             }
 579             PTS_ABORTIF(ptd, i > 64);
 580         }
 581     }
 582     else PTS_ABORTIF(ptd, 1);
 583
 584     *dt = &symt_new_basic(ptd->module, bt, typename, size)->symt;
 585     return 0;
 586 }
 587
 588 static inline int stabs_pts_read_method_info(struct ParseTypedefData* ptd)
 589 {
 590     struct symt*        dt;
 591     char*               tmp;
 592     char                mthd;
 593
 594     do
 595     {
 596         /* get type of return value */
 597         PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &dt) == -1);
 598         if (*ptd->ptr == ';') ptd->ptr++;
 599
 600         /* get types of parameters */
 601         if (*ptd->ptr == ':')
 602         {
 603             PTS_ABORTIF(ptd, !(tmp = strchr(ptd->ptr + 1, ';')));
 604             ptd->ptr = tmp + 1;
 605         }
 606         PTS_ABORTIF(ptd, !(*ptd->ptr >= '0' && *ptd->ptr <= '9'));
 607         ptd->ptr++;
 608         PTS_ABORTIF(ptd, !(ptd->ptr[0] >= 'A' && *ptd->ptr <= 'D'));
 609         mthd = *++ptd->ptr;
 610         PTS_ABORTIF(ptd, mthd != '.' && mthd != '?' && mthd != '*');
 611         ptd->ptr++;
 612         if (mthd == '*')
 613         {
 614             long int            ofs;
 615             struct symt*        dt;
 616
 617             PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &ofs) == -1);
 618             PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 619             PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &dt) == -1);
 620             PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 621         }
 622     } while (*ptd->ptr != ';');
 623     ptd->ptr++;
 624
 625     return 0;
 626 }
 627
 628 static inline int stabs_pts_read_aggregate(struct ParseTypedefData* ptd,
 629                                            struct symt_udt* sdt)
 630 {
 631     long                sz, ofs;
 632     struct symt*        adt;
 633     struct symt*        dt = NULL;
 634     int                 idx;
 635     int                 doadd;
 636
 637     PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &sz) == -1);
 638
 639     doadd = symt_set_udt_size(ptd->module, sdt, sz);
 640     if (*ptd->ptr == '!') /* C++ inheritence */
 641     {
 642         long     num_classes;
 643
 644         ptd->ptr++;
 645         PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &num_classes) == -1);
 646         PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 647         while (--num_classes >= 0)
 648         {
 649             ptd->ptr += 2; /* skip visibility and inheritence */
 650             PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &ofs) == -1);
 651             PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 652
 653             PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &adt) == -1);
 654
 655             if (doadd && adt)
 656             {
 657                 char    tmp[256];
 658                 DWORD64 size;
 659
 660                 strcpy(tmp, "__inherited_class_");
 661                 strcat(tmp, symt_get_name(adt));
 662
 663                 /* FIXME: TI_GET_LENGTH will not always work, especially when adt
 664                  * has just been seen as a forward definition and not the real stuff
 665                  * yet.
 666                  * As we don't use much the size of members in structs, this may not
 667                  * be much of a problem
 668                  */
 669                 symt_get_info(ptd->module, adt, TI_GET_LENGTH, &size);
 670                 symt_add_udt_element(ptd->module, sdt, tmp, adt, ofs, (DWORD)size * 8);
 671             }
 672             PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 673         }
 674
 675     }
 676     /* if the structure has already been filled, just redo the parsing
 677      * but don't store results into the struct
 678      * FIXME: there's a quite ugly memory leak in there...
 679      */
 680
 681     /* Now parse the individual elements of the structure/union. */
 682     while (*ptd->ptr != ';')
 683     {
 684         /* agg_name : type ',' <int:offset> ',' <int:size> */
 685         idx = ptd->idx;
 686
 687         if (ptd->ptr[0] == '$' && ptd->ptr[1] == 'v')
 688         {
 689             long        x;
 690
 691             if (ptd->ptr[2] == 'f')
 692             {
 693                 /* C++ virtual method table */
 694                 ptd->ptr += 3;
 695                 stabs_read_type_enum(&ptd->ptr);
 696                 PTS_ABORTIF(ptd, *ptd->ptr++ != ':');
 697                 PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &dt) == -1);
 698                 PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 699                 PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &x) == -1);
 700                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 701                 ptd->idx = idx;
 702                 continue;
 703             }
 704             else if (ptd->ptr[2] == 'b')
 705             {
 706                 ptd->ptr += 3;
 707                 PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &dt) == -1);
 708                 PTS_ABORTIF(ptd, *ptd->ptr++ != ':');
 709                 PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &dt) == -1);
 710                 PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 711                 PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &x) == -1);
 712                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 713                 ptd->idx = idx;
 714                 continue;
 715             }
 716         }
 717
 718         PTS_ABORTIF(ptd, stabs_pts_read_id(ptd) == -1);
 719         /* Ref. TSDF R2.130 Section 7.4.  When the field name is a method name
 720          * it is followed by two colons rather than one.
 721          */
 722         if (*ptd->ptr == ':')
 723         {
 724             ptd->ptr++;
 725             stabs_pts_read_method_info(ptd);
 726             ptd->idx = idx;
 727             continue;
 728         }
 729         else
 730         {
 731             /* skip C++ member protection /0 /1 or /2 */
 732             if (*ptd->ptr == '/') ptd->ptr += 2;
 733         }
 734         PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &adt) == -1);
 735
 736         switch (*ptd->ptr++)
 737         {
 738         case ',':
 739             PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &ofs) == -1);
 740             PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 741             PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &sz) == -1);
 742             PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 743
 744             if (doadd) symt_add_udt_element(ptd->module, sdt, ptd->buf + idx, adt, ofs, sz);
 745             break;
 746         case ':':
 747             {
 748                 char* tmp;
 749                 /* method parameters... terminated by ';' */
 750                 PTS_ABORTIF(ptd, !(tmp = strchr(ptd->ptr, ';')));
 751                 ptd->ptr = tmp + 1;
 752             }
 753             break;
 754         default:
 755             PTS_ABORTIF(ptd, TRUE);
 756         }
 757         ptd->idx = idx;
 758     }
 759     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 760     if (*ptd->ptr == '~')
 761     {
 762         ptd->ptr++;
 763         PTS_ABORTIF(ptd, *ptd->ptr++ != '%');
 764         PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &dt) == -1);
 765         PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 766     }
 767     return 0;
 768 }
 769
 770 static inline int stabs_pts_read_enum(struct ParseTypedefData* ptd,
 771                                       struct symt_enum* edt)
 772 {
 773     long        value;
 774     int         idx;
 775
 776     while (*ptd->ptr != ';')
 777     {
 778         idx = ptd->idx;
 779         PTS_ABORTIF(ptd, stabs_pts_read_id(ptd) == -1);
 780         PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &value) == -1);
 781         PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 782         symt_add_enum_element(ptd->module, edt, ptd->buf + idx, value);
 783         ptd->idx = idx;
 784     }
 785     ptd->ptr++;
 786     return 0;
 787 }
 788
 789 static inline int stabs_pts_read_array(struct ParseTypedefData* ptd,
 790                                        struct symt** adt)
 791 {
 792     long                lo, hi;
 793     struct symt*        range_dt;
 794     struct symt*        base_dt;
 795
 796     /* ar<typeinfo_nodef>;<int>;<int>;<typeinfo> */
 797
 798     PTS_ABORTIF(ptd, *ptd->ptr++ != 'r');
 799
 800     PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &range_dt) == -1);
 801     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');       /* ';' */
 802     PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &lo) == -1);
 803     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');       /* ';' */
 804     PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &hi) == -1);
 805     PTS_ABORTIF(ptd, *ptd->ptr++ != ';');       /* ';' */
 806
 807     PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &base_dt) == -1);
 808
 809     *adt = &symt_new_array(ptd->module, lo, hi, base_dt, range_dt)->symt;
 810     return 0;
 811 }
 812
 813 static int stabs_pts_read_type_def(struct ParseTypedefData* ptd, const char* typename,
 814                                    struct symt** ret_dt)
 815 {
 816     int                 idx;
 817     long                sz = -1;
 818     struct symt*        new_dt = NULL;     /* newly created data type */
 819     struct symt*        ref_dt;            /* referenced data type (pointer...) */
 820     long                filenr1, subnr1, tmp;
 821
 822     /* things are a bit complicated because of the way the typedefs are stored inside
 823      * the file, because addresses can change when realloc is done, so we must call
 824      * over and over stabs_find_ref() to keep the correct values around
 825      */
 826     PTS_ABORTIF(ptd, stabs_pts_read_type_reference(ptd, &filenr1, &subnr1) == -1);
 827
 828     while (*ptd->ptr == '=')
 829     {
 830         ptd->ptr++;
 831         PTS_ABORTIF(ptd, new_dt != NULL);
 832
 833         /* first handle attribute if any */
 834         switch (*ptd->ptr)
 835         {
 836         case '@':
 837             if (*++ptd->ptr == 's')
 838             {
 839                 ptd->ptr++;
 840                 if (stabs_pts_read_number(ptd, &sz) == -1)
 841                 {
 842                     ERR("Not an attribute... NIY\n");
 843                     ptd->ptr -= 2;
 844                     return -1;
 845                 }
 846                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 847             }
 848             break;
 849         }
 850         /* then the real definitions */
 851         switch (*ptd->ptr++)
 852         {
 853         case '*':
 854         case '&':
 855             PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &ref_dt) == -1);
 856             new_dt = &symt_new_pointer(ptd->module, ref_dt)->symt;
 857            break;
 858         case 'k': /* 'const' modifier */
 859         case 'B': /* 'volatile' modifier */
 860             /* just kinda ignore the modifier, I guess -gmt */
 861             PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, typename, &new_dt) == -1);
 862             break;
 863         case '(':
 864             ptd->ptr--;
 865             PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, typename, &new_dt) == -1);
 866             break;
 867         case 'a':
 868             PTS_ABORTIF(ptd, stabs_pts_read_array(ptd, &new_dt) == -1);
 869             break;
 870         case 'r':
 871             PTS_ABORTIF(ptd, stabs_pts_read_range(ptd, typename, &new_dt) == -1);
 872             assert(!*stabs_find_ref(filenr1, subnr1));
 873             *stabs_find_ref(filenr1, subnr1) = new_dt;
 874             break;
 875         case 'f':
 876             PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &ref_dt) == -1);
 877             new_dt = &symt_new_function_signature(ptd->module, ref_dt, -1)->symt;
 878             break;
 879         case 'e':
 880             stabs_get_basic(ptd, 1 /* int */, &ref_dt);
 881             new_dt = &symt_new_enum(ptd->module, typename, ref_dt)->symt;
 882             PTS_ABORTIF(ptd, stabs_pts_read_enum(ptd, (struct symt_enum*)new_dt) == -1);
 883             break;
 884         case 's':
 885         case 'u':
 886             {
 887                 struct symt_udt*    udt;
 888                 enum UdtKind kind = (ptd->ptr[-1] == 's') ? UdtStruct : UdtUnion;
 889                 /* udt can have been already defined in a forward definition */
 890                 udt = (struct symt_udt*)*stabs_find_ref(filenr1, subnr1);
 891                 if (!udt)
 892                 {
 893                     udt = symt_new_udt(ptd->module, typename, 0, kind);
 894                     /* we need to set it here, because a struct can hold a pointer
 895                      * to itself
 896                      */
 897                     new_dt = *stabs_find_ref(filenr1, subnr1) = &udt->symt;
 898                 }
 899                 else
 900                 {
 901                     unsigned l1, l2;
 902                     if (udt->symt.tag != SymTagUDT)
 903                     {
 904                         ERR("Forward declaration (%p/%s) is not an aggregate (%u)\n",
 905                             udt, symt_get_name(&udt->symt), udt->symt.tag);
 906                         return -1;
 907                     }
 908                     /* FIXME: we currently don't correctly construct nested C++
 909                      * classes names. Therefore, we could be here with either:
 910                      * - typename and udt->hash_elt.name being the same string
 911                      *   (non embedded case)
 912                      * - typename being foo::bar while udt->hash_elt.name being
 913                      *   just bar
 914                      * So, we twist the comparison to test both occurrences. When
 915                      * we have proper C++ types in this file, this twist has to be
 916                      * removed
 917                      */
 918                     l1 = strlen(udt->hash_elt.name);
 919                     l2 = strlen(typename);
 920                     if (l1 > l2 || strcmp(udt->hash_elt.name, typename + l2 - l1))
 921                         ERR("Forward declaration name mismatch %s <> %s\n",
 922                             udt->hash_elt.name, typename);
 923                     new_dt = &udt->symt;
 924                 }
 925                 PTS_ABORTIF(ptd, stabs_pts_read_aggregate(ptd, udt) == -1);
 926             }
 927             break;
 928         case 'x':
 929             idx = ptd->idx;
 930             tmp = *ptd->ptr++;
 931             PTS_ABORTIF(ptd, stabs_pts_read_id(ptd) == -1);
 932             switch (tmp)
 933             {
 934             case 'e':
 935                 stabs_get_basic(ptd, 1 /* int */, &ref_dt);
 936                 new_dt = &symt_new_enum(ptd->module, ptd->buf + idx, ref_dt)->symt;
 937                 break;
 938             case 's':
 939                 new_dt = &symt_new_udt(ptd->module, ptd->buf + idx, 0, UdtStruct)->symt;
 940                 break;
 941             case 'u':
 942                 new_dt = &symt_new_udt(ptd->module, ptd->buf + idx, 0, UdtUnion)->symt;
 943                 break;
 944             default:
 945                 return -1;
 946             }
 947             ptd->idx = idx;
 948             break;
 949         case '-':
 950             {
 951                 PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &tmp) == -1);
 952                 PTS_ABORTIF(ptd, stabs_get_basic(ptd, tmp, &new_dt) == -1);
 953                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');
 954             }
 955             break;
 956         case '#':
 957             if (*ptd->ptr == '#')
 958             {
 959                 ptd->ptr++;
 960                 PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &ref_dt) == -1);
 961                 new_dt = &symt_new_function_signature(ptd->module, ref_dt, -1)->symt;
 962             }
 963             else
 964             {
 965                 struct symt*    cls_dt;
 966                 struct symt*    pmt_dt;
 967
 968                 PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &cls_dt) == -1);
 969                 PTS_ABORTIF(ptd, *ptd->ptr++ != ',');
 970                 PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &ref_dt) == -1);
 971                 new_dt = &symt_new_function_signature(ptd->module, ref_dt, -1)->symt;
 972                 while (*ptd->ptr == ',')
 973                 {
 974                     ptd->ptr++;
 975                     PTS_ABORTIF(ptd, stabs_pts_read_type_def(ptd, NULL, &pmt_dt) == -1);
 976                 }
 977             }
 978             break;
 979         case 'R':
 980             {
 981                 long    type, len, unk;
 982                 int     basic;
 983
 984                 PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &type) == -1);
 985                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');   /* ';' */
 986                 PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &len) == -1);
 987                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');   /* ';' */
 988                 PTS_ABORTIF(ptd, stabs_pts_read_number(ptd, &unk) == -1);
 989                 PTS_ABORTIF(ptd, *ptd->ptr++ != ';');   /* ';' */
 990
 991                 switch (type) /* see stabs_get_basic for the details */
 992                 {
 993                 case 1: basic = 12; break;
 994                 case 2: basic = 13; break;
 995                 case 3: basic = 25; break;
 996                 case 4: basic = 26; break;
 997                 case 5: basic = 35; break;
 998                 case 6: basic = 14; break;
 999                 default: PTS_ABORTIF(ptd, 1);
1000                 }
1001                 PTS_ABORTIF(ptd, stabs_get_basic(ptd, basic, &new_dt) == -1);
1002             }
1003             break;
1004         default:
1005             ERR("Unknown type '%c'\n", ptd->ptr[-1]);
1006             return -1;
1007         }
1008     }
1009
1010     if (!new_dt)
1011     {
1012         /* is it a forward declaration that has been filled ? */
1013         new_dt = *stabs_find_ref(filenr1, subnr1);
1014         /* if not, this should be void (which is defined as a ref to itself, but we
1015          * don't correctly catch it)
1016          */
1017         if (!new_dt && typename)
1018         {
1019             new_dt = &symt_new_basic(ptd->module, btVoid, typename, 0)->symt;
1020             PTS_ABORTIF(ptd, strcmp(typename, "void"));
1021         }
1022     }
1023
1024     *stabs_find_ref(filenr1, subnr1) = *ret_dt = new_dt;
1025
1026     TRACE("Adding (%ld,%ld) %s\n", filenr1, subnr1, debugstr_a(typename));
1027
1028     return 0;
1029 }
1030
1031 static int stabs_parse_typedef(struct module* module, const char* ptr,
1032                                const char* typename)
1033 {
1034     struct ParseTypedefData     ptd;
1035     struct symt*                dt;
1036     int                         ret = -1;
1037
1038     /* check for already existing definition */
1039
1040     TRACE("%s => %s\n", typename, debugstr_a(ptr));
1041     ptd.module = module;
1042     ptd.idx = 0;
1043 #ifdef PTS_DEBUG
1044     ptd.err_idx = 0;
1045 #endif
1046     for (ptd.ptr = ptr - 1; ;)
1047     {
1048         ptd.ptr = strchr(ptd.ptr + 1, ':');
1049         if (ptd.ptr == NULL || *++ptd.ptr != ':') break;
1050     }
1051     if (ptd.ptr)
1052     {
1053         if (*ptd.ptr != '(') ptd.ptr++;
1054         /* most of type definitions take one char, except Tt */
1055         if (*ptd.ptr != '(') ptd.ptr++;
1056         ret = stabs_pts_read_type_def(&ptd, typename, &dt);
1057     }
1058
1059     if (ret == -1 || *ptd.ptr)
1060     {
1061 #ifdef PTS_DEBUG
1062         int     i;
1063         TRACE("Failure on %s\n", debugstr_a(ptr));
1064         if (ret == -1)
1065         {
1066             for (i = 0; i < ptd.err_idx; i++)
1067             {
1068                 TRACE("[%d]: line %d => %s\n",
1069                       i, ptd.errors[i].line, debugstr_a(ptd.errors[i].ptr));
1070             }
1071         }
1072         else
1073             TRACE("[0]: => %s\n", debugstr_a(ptd.ptr));
1074
1075 #else
1076         ERR("Failure on %s at %s\n", debugstr_a(ptr), debugstr_a(ptd.ptr));
1077 #endif
1078         return FALSE;
1079     }
1080
1081     return TRUE;
1082 }
1083
1084 static struct symt* stabs_parse_type(const char* stab)
1085 {
1086     const char* c = stab - 1;
1087
1088     /*
1089      * Look through the stab definition, and figure out what struct symt
1090      * this represents.  If we have something we know about, assign the
1091      * type.
1092      * According to "The \"stabs\" debug format" (Rev 2.130) the name may be
1093      * a C++ name and contain double colons e.g. foo::bar::baz:t5=*6.
1094      */
1095     do
1096     {
1097         if ((c = strchr(c + 1, ':')) == NULL) return NULL;
1098     } while (*++c == ':');
1099
1100     /*
1101      * The next characters say more about the type (i.e. data, function, etc)
1102      * of symbol.  Skip them.  (C++ for example may have Tt).
1103      * Actually this is a very weak description; I think Tt is the only
1104      * multiple combination we should see.
1105      */
1106     while (*c && *c != '(' && !isdigit(*c))
1107         c++;
1108     /*
1109      * The next is either an integer or a (integer,integer).
1110      * The stabs_read_type_enum() takes care that stab_types is large enough.
1111      */
1112     return *stabs_read_type_enum(&c);
1113 }
1114
1115 enum pending_obj_kind
1116 {
1117     PENDING_VAR,
1118     PENDING_LINE,
1119 };
1120
1121 struct pending_loc_var
1122 {
1123     char                name[256];
1124     struct symt*        type;
1125     enum DataKind       kind;
1126     struct location     loc;
1127 };
1128
1129 struct pending_line
1130 {
1131     int                 source_idx;
1132     int                 line_num;
1133     unsigned long       offset;
1134     unsigned long       load_offset;
1135 };
1136
1137 struct pending_object
1138 {
1139     enum pending_obj_kind               tag;
1140     union {
1141         struct pending_loc_var  var;
1142         struct pending_line     line;
1143     }                                   u;
1144 };
1145
1146 struct pending_list
1147 {
1148     struct pending_object*      objs;
1149     unsigned                    num;
1150     unsigned                    allocated;
1151 };
1152
1153 static inline void pending_make_room(struct pending_list* pending)
1154 {
1155     if (pending->num == pending->allocated)
1156     {
1157         if (!pending->objs)
1158         {
1159             pending->allocated = 8;
1160             pending->objs = HeapAlloc(GetProcessHeap(), 0,
1161                                      pending->allocated * sizeof(pending->objs[0]));
1162         }
1163         else
1164         {
1165             pending->allocated *= 2;
1166             pending->objs = HeapReAlloc(GetProcessHeap(), 0, pending->objs,
1167                                        pending->allocated * sizeof(pending->objs[0]));
1168         }
1169     }
1170 }
1171
1172 static inline void pending_add_var(struct pending_list* pending, const char* name,
1173                                    enum DataKind dt, const struct location* loc)
1174 {
1175     pending_make_room(pending);
1176     pending->objs[pending->num].tag = PENDING_VAR;
1177     stab_strcpy(pending->objs[pending->num].u.var.name,
1178                 sizeof(pending->objs[pending->num].u.var.name), name);
1179     pending->objs[pending->num].u.var.type  = stabs_parse_type(name);
1180     pending->objs[pending->num].u.var.kind  = dt;
1181     pending->objs[pending->num].u.var.loc   = *loc;
1182     pending->num++;
1183 }
1184
1185 static inline void pending_add_line(struct pending_list* pending, int source_idx,
1186                                     int line_num, unsigned long offset,
1187                                     unsigned long load_offset)
1188 {
1189     pending_make_room(pending);
1190     pending->objs[pending->num].tag = PENDING_LINE;
1191     pending->objs[pending->num].u.line.source_idx   = source_idx;
1192     pending->objs[pending->num].u.line.line_num     = line_num;
1193     pending->objs[pending->num].u.line.offset       = offset;
1194     pending->objs[pending->num].u.line.load_offset  = load_offset;
1195     pending->num++;
1196 }
1197
1198 static void pending_flush(struct pending_list* pending, struct module* module,
1199                           struct symt_function* func, struct symt_block* block)
1200 {
1201     unsigned int i;
1202
1203     for (i = 0; i < pending->num; i++)
1204     {
1205         switch (pending->objs[i].tag)
1206         {
1207         case PENDING_VAR:
1208             symt_add_func_local(module, func,
1209                                 pending->objs[i].u.var.kind, &pending->objs[i].u.var.loc,
1210                                 block, pending->objs[i].u.var.type, pending->objs[i].u.var.name);
1211             break;
1212         case PENDING_LINE:
1213             if (module->type == DMT_MACHO)
1214                 pending->objs[i].u.line.offset -= func->address - pending->objs[i].u.line.load_offset;
1215             symt_add_func_line(module, func, pending->objs[i].u.line.source_idx,
1216                                pending->objs[i].u.line.line_num, pending->objs[i].u.line.offset);
1217             break;
1218         default:
1219             ERR("Unknown pending object tag %u\n", (unsigned)pending->objs[i].tag);
1220             break;
1221         }
1222     }
1223     pending->num = 0;
1224 }
1225
1226 /******************************************************************
1227  *              stabs_finalize_function
1228  *
1229  * Ends function creation: mainly:
1230  * - cleans up line number information
1231  * - tries to set up a debug-start tag (FIXME: heuristic to be enhanced)
1232  * - for stabs which have absolute address in them, initializes the size of the
1233  *   function (assuming that current function ends where next function starts)
1234  */
1235 static void stabs_finalize_function(struct module* module, struct symt_function* func,
1236                                     unsigned long size)
1237 {
1238     IMAGEHLP_LINE64     il;
1239     struct location     loc;
1240
1241     if (!func) return;
1242     symt_normalize_function(module, func);
1243     /* To define the debug-start of the function, we use the second line number.
1244      * Not 100% bullet proof, but better than nothing
1245      */
1246     if (symt_fill_func_line_info(module, func, func->address, &il) &&
1247         symt_get_func_line_next(module, &il))
1248     {
1249         loc.kind = loc_absolute;
1250         loc.offset = il.Address - func->address;
1251         symt_add_function_point(module, func, SymTagFuncDebugStart,
1252                                 &loc, NULL);
1253     }
1254     if (size) func->size = size;
1255 }
1256
1257 static inline void stabbuf_append(char **buf, unsigned *buf_size, const char *str)
1258 {
1259     unsigned str_len, buf_len;
1260
1261     str_len = strlen(str);
1262     buf_len = strlen(*buf);
1263
1264     if(str_len+buf_len >= *buf_size) {
1265         *buf_size += buf_len + str_len;
1266         *buf = HeapReAlloc(GetProcessHeap(), 0, *buf, *buf_size);
1267     }
1268
1269     strcpy(*buf+buf_len, str);
1270 }
1271
1272 BOOL stabs_parse(struct module* module, unsigned long load_offset,
1273                  const void* pv_stab_ptr, int stablen,
1274                  const char* strs, int strtablen,
1275                  stabs_def_cb callback, void* user)
1276 {
1277     struct symt_function*       curr_func = NULL;
1278     struct symt_block*          block = NULL;
1279     struct symt_compiland*      compiland = NULL;
1280     char                        srcpath[PATH_MAX]; /* path to directory source file is in */
1281     int                         i;
1282     int                         nstab;
1283     const char*                 ptr;
1284     char*                       stabbuff;
1285     unsigned int                stabbufflen;
1286     const struct stab_nlist*    stab_ptr = pv_stab_ptr;
1287     const char*                 strs_end;
1288     int                         strtabinc;
1289     char                        symname[4096];
1290     unsigned                    incl[32];
1291     int                         incl_stk = -1;
1292     int                         source_idx = -1;
1293     struct pending_list         pending_block;
1294     struct pending_list         pending_func;
1295     BOOL                        ret = TRUE;
1296     struct location             loc;
1297     unsigned char               type;
1298
1299     nstab = stablen / sizeof(struct stab_nlist);
1300     strs_end = strs + strtablen;
1301
1302     memset(srcpath, 0, sizeof(srcpath));
1303     memset(stabs_basic, 0, sizeof(stabs_basic));
1304     memset(&pending_block, 0, sizeof(pending_block));
1305     memset(&pending_func, 0, sizeof(pending_func));
1306
1307     /*
1308      * Allocate a buffer into which we can build stab strings for cases
1309      * where the stab is continued over multiple lines.
1310      */
1311     stabbufflen = 65536;
1312     stabbuff = HeapAlloc(GetProcessHeap(), 0, stabbufflen);
1313
1314     strtabinc = 0;
1315     stabbuff[0] = '\0';
1316     for (i = 0; i < nstab; i++, stab_ptr++)
1317     {
1318         ptr = strs + stab_ptr->n_un.n_strx;
1319         if ((ptr > strs_end) || (ptr + strlen(ptr) > strs_end))
1320         {
1321             WARN("Bad stabs string %p\n", ptr);
1322             continue;
1323         }
1324         if (*ptr != '\0' && (ptr[strlen(ptr) - 1] == '\\'))
1325         {
1326             /*
1327              * Indicates continuation.  Append this to the buffer, and go onto the
1328              * next record.  Repeat the process until we find a stab without the
1329              * '/' character, as this indicates we have the whole thing.
1330              */
1331             stabbuf_append(&stabbuff, &stabbufflen, ptr);
1332             continue;
1333         }
1334         else if (stabbuff[0] != '\0')
1335         {
1336             stabbuf_append(&stabbuff, &stabbufflen, ptr);
1337             ptr = stabbuff;
1338         }
1339
1340         if (stab_ptr->n_type & N_STAB)
1341             type = stab_ptr->n_type;
1342         else
1343             type = (stab_ptr->n_type & N_TYPE);
1344
1345         /* only symbol entries contain a typedef */
1346         switch (type)
1347         {
1348         case N_GSYM:
1349         case N_LCSYM:
1350         case N_STSYM:
1351         case N_RSYM:
1352         case N_LSYM:
1353         case N_ROSYM:
1354         case N_PSYM:
1355             if (strchr(ptr, '=') != NULL)
1356             {
1357                 /*
1358                  * The stabs aren't in writable memory, so copy it over so we are
1359                  * sure we can scribble on it.
1360                  */
1361                 if (ptr != stabbuff)
1362                 {
1363                     stabbuff[0] = 0;
1364                     stabbuf_append(&stabbuff, &stabbufflen, ptr);
1365                     ptr = stabbuff;
1366                 }
1367                 stab_strcpy(symname, sizeof(symname), ptr);
1368                 if (!stabs_parse_typedef(module, ptr, symname))
1369                 {
1370                     /* skip this definition */
1371                     stabbuff[0] = '\0';
1372                     continue;
1373                 }
1374             }
1375         }
1376
1377         switch (type)
1378         {
1379         case N_GSYM:
1380             /*
1381              * These are useless with ELF.  They have no value, and you have to
1382              * read the normal symbol table to get the address.  Thus we
1383              * ignore them, and when we process the normal symbol table
1384              * we should do the right thing.
1385              *
1386              * With a.out or mingw, they actually do make some amount of sense.
1387              */
1388             stab_strcpy(symname, sizeof(symname), ptr);
1389             symt_new_global_variable(module, compiland, symname, TRUE /* FIXME */,
1390                                      load_offset + stab_ptr->n_value, 0,
1391                                      stabs_parse_type(ptr));
1392             break;
1393         case N_LCSYM:
1394         case N_STSYM:
1395             /* These are static symbols and BSS symbols. */
1396             stab_strcpy(symname, sizeof(symname), ptr);
1397             symt_new_global_variable(module, compiland, symname, TRUE /* FIXME */,
1398                                      load_offset + stab_ptr->n_value, 0,
1399                                      stabs_parse_type(ptr));
1400             break;
1401         case N_LBRAC:
1402             if (curr_func)
1403             {
1404                 block = symt_open_func_block(module, curr_func, block,
1405                                              stab_ptr->n_value, 0);
1406                 pending_flush(&pending_block, module, curr_func, block);
1407             }
1408             break;
1409         case N_RBRAC:
1410             if (curr_func)
1411                 block = symt_close_func_block(module, curr_func, block,
1412                                               stab_ptr->n_value);
1413             break;
1414         case N_PSYM:
1415             /* These are function parameters. */
1416             if (curr_func != NULL)
1417             {
1418                 struct symt*    param_type = stabs_parse_type(ptr);
1419                 stab_strcpy(symname, sizeof(symname), ptr);
1420                 loc.kind = loc_regrel;
1421                 loc.reg = 0; /* FIXME */
1422                 loc.offset = stab_ptr->n_value;
1423                 symt_add_func_local(module, curr_func,
1424                                     (long)stab_ptr->n_value >= 0 ? DataIsParam : DataIsLocal,
1425                                     &loc, NULL, param_type, symname);
1426                 symt_add_function_signature_parameter(module,
1427                                                       (struct symt_function_signature*)curr_func->type,
1428                                                       param_type);
1429             }
1430             break;
1431         case N_RSYM:
1432             /* These are registers (as local variables) */
1433             if (curr_func != NULL)
1434             {
1435                 loc.kind = loc_register;
1436                 loc.offset = 0;
1437
1438                 switch (stab_ptr->n_value)
1439                 {
1440                 case  0: loc.reg = CV_REG_EAX; break;
1441                 case  1: loc.reg = CV_REG_ECX; break;
1442                 case  2: loc.reg = CV_REG_EDX; break;
1443                 case  3: loc.reg = CV_REG_EBX; break;
1444                 case  4: loc.reg = CV_REG_ESP; break;
1445                 case  5: loc.reg = CV_REG_EBP; break;
1446                 case  6: loc.reg = CV_REG_ESI; break;
1447                 case  7: loc.reg = CV_REG_EDI; break;
1448                 case 11:
1449                 case 12:
1450                 case 13:
1451                 case 14:
1452                 case 15:
1453                 case 16:
1454                 case 17:
1455                 case 18:
1456                 case 19: loc.reg = CV_REG_ST0 + stab_ptr->n_value - 12; break;
1457                 case 21:
1458                 case 22:
1459                 case 23:
1460                 case 24:
1461                 case 25:
1462                 case 26:
1463                 case 27:
1464                 case 28: loc.reg = CV_REG_XMM0 + stab_ptr->n_value - 21; break;
1465                 case 29:
1466                 case 30:
1467                 case 31:
1468                 case 32:
1469                 case 33:
1470                 case 34:
1471                 case 35:
1472                 case 36: loc.reg = CV_REG_MM0 + stab_ptr->n_value - 29; break;
1473                 default:
1474                     FIXME("Unknown register value (%lu)\n", stab_ptr->n_value);
1475                     loc.reg = CV_REG_NONE;
1476                     break;
1477                 }
1478                 stab_strcpy(symname, sizeof(symname), ptr);
1479                 if (ptr[strlen(symname) + 1] == 'P')
1480                 {
1481                     struct symt*    param_type = stabs_parse_type(ptr);
1482                     stab_strcpy(symname, sizeof(symname), ptr);
1483                     symt_add_func_local(module, curr_func, DataIsParam, &loc,
1484                                         NULL, param_type, symname);
1485                     symt_add_function_signature_parameter(module,
1486                                                           (struct symt_function_signature*)curr_func->type,
1487                                                           param_type);
1488                 }
1489                 else
1490                     pending_add_var(&pending_block, ptr, DataIsLocal, &loc);
1491             }
1492             break;
1493         case N_LSYM:
1494             /* These are local variables */
1495             loc.kind = loc_regrel;
1496             loc.reg = 0; /* FIXME */
1497             loc.offset = stab_ptr->n_value;
1498             if (curr_func != NULL) pending_add_var(&pending_block, ptr, DataIsLocal, &loc);
1499             break;
1500         case N_SLINE:
1501             /*
1502              * This is a line number.  These are always relative to the start
1503              * of the function (N_FUN), and this makes the lookup easier.
1504              */
1505             assert(source_idx >= 0);
1506             if (curr_func != NULL)
1507             {
1508                 unsigned long offset = stab_ptr->n_value;
1509                 if (module->type == DMT_MACHO)
1510                     offset -= curr_func->address - load_offset;
1511                 symt_add_func_line(module, curr_func, source_idx,
1512                                    stab_ptr->n_desc, offset);
1513             }
1514             else pending_add_line(&pending_func, source_idx, stab_ptr->n_desc,
1515                                   stab_ptr->n_value, load_offset);
1516             break;
1517         case N_FUN:
1518             /*
1519              * For now, just declare the various functions.  Later
1520              * on, we will add the line number information and the
1521              * local symbols.
1522              */
1523             /*
1524              * Copy the string to a temp buffer so we
1525              * can kill everything after the ':'.  We do
1526              * it this way because otherwise we end up dirtying
1527              * all of the pages related to the stabs, and that
1528              * sucks up swap space like crazy.
1529              */
1530             stab_strcpy(symname, sizeof(symname), ptr);
1531             if (*symname)
1532             {
1533                 struct symt_function_signature* func_type;
1534
1535                 if (curr_func)
1536                 {
1537                     /* First, clean up the previous function we were working on.
1538                      * Assume size of the func is the delta between current offset
1539                      * and offset of last function
1540                      */
1541                     stabs_finalize_function(module, curr_func,
1542                                             stab_ptr->n_value ?
1543                                                 (load_offset + stab_ptr->n_value - curr_func->address) : 0);
1544                 }
1545                 func_type = symt_new_function_signature(module,
1546                                                         stabs_parse_type(ptr), -1);
1547                 curr_func = symt_new_function(module, compiland, symname,
1548                                               load_offset + stab_ptr->n_value, 0,
1549                                               &func_type->symt);
1550                 pending_flush(&pending_func, module, curr_func, NULL);
1551             }
1552             else
1553             {
1554                 /* some versions of GCC to use a N_FUN "" to mark the end of a function
1555                  * and n_value contains the size of the func
1556                  */
1557                 stabs_finalize_function(module, curr_func, stab_ptr->n_value);
1558                 curr_func = NULL;
1559             }
1560             break;
1561         case N_SO:
1562             /*
1563              * This indicates a new source file.  Append the records
1564              * together, to build the correct path name.
1565              */
1566             if (*ptr == '\0') /* end of N_SO file */
1567             {
1568                 /* Nuke old path. */
1569                 srcpath[0] = '\0';
1570                 stabs_finalize_function(module, curr_func, 0);
1571                 curr_func = NULL;
1572                 source_idx = -1;
1573                 incl_stk = -1;
1574                 assert(block == NULL);
1575                 compiland = NULL;
1576             }
1577             else
1578             {
1579                 int len = strlen(ptr);
1580                 if (ptr[len-1] != '/')
1581                 {
1582                     stabs_reset_includes();
1583                     source_idx = source_new(module, srcpath, ptr);
1584                     compiland = symt_new_compiland(module, 0 /* FIXME */, source_idx);
1585                 }
1586                 else
1587                     strcpy(srcpath, ptr);
1588             }
1589             break;
1590         case N_SOL:
1591             source_idx = source_new(module, srcpath, ptr);
1592             break;
1593         case N_UNDF:
1594             strs += strtabinc;
1595             strtabinc = stab_ptr->n_value;
1596             /* I'm not sure this is needed, so trace it before we obsolete it */
1597             if (curr_func)
1598             {
1599                 FIXME("UNDF: curr_func %s\n", curr_func->hash_elt.name);
1600                 stabs_finalize_function(module, curr_func, 0); /* FIXME */
1601                 curr_func = NULL;
1602             }
1603             break;
1604         case N_OPT:
1605             /* Ignore this. We don't care what it points to. */
1606             break;
1607         case N_BINCL:
1608             stabs_add_include(stabs_new_include(ptr, stab_ptr->n_value));
1609             assert(incl_stk < (int)(sizeof(incl) / sizeof(incl[0])) - 1);
1610             incl[++incl_stk] = source_idx;
1611             source_idx = source_new(module, NULL, ptr);
1612             break;
1613         case N_EINCL:
1614             assert(incl_stk >= 0);
1615             source_idx = incl[incl_stk--];
1616             break;
1617         case N_EXCL:
1618             if (stabs_add_include(stabs_find_include(ptr, stab_ptr->n_value)) < 0)
1619             {
1620                 ERR("Excluded header not found (%s,%ld)\n", ptr, stab_ptr->n_value);
1621                 module_reset_debug_info(module);
1622                 ret = FALSE;
1623                 goto done;
1624             }
1625             break;
1626         case N_MAIN:
1627             /* Always ignore these. GCC doesn't even generate them. */
1628             break;
1629         case N_BNSYM:
1630         case N_ENSYM:
1631         case N_OSO:
1632             /* Always ignore these, they seem to be used only on Darwin. */
1633             break;
1634         case N_ABS:
1635 #ifdef N_SECT
1636         case N_SECT:
1637 #endif
1638             /* FIXME: Other definition types (N_TEXT, N_DATA, N_BSS, ...)? */
1639             if (callback)
1640             {
1641                 BOOL is_public = (stab_ptr->n_type & N_EXT);
1642                 BOOL is_global = is_public;
1643
1644 #ifdef N_PEXT
1645                 /* "private extern"; shared among compilation units in a shared
1646                  * library, but not accessible from outside the library. */
1647                 if (stab_ptr->n_type & N_PEXT)
1648                 {
1649                     is_public = FALSE;
1650                     is_global = TRUE;
1651                 }
1652 #endif
1653
1654                 if (*ptr == '_') ptr++;
1655                 stab_strcpy(symname, sizeof(symname), ptr);
1656
1657                 callback(module, load_offset, symname, stab_ptr->n_value,
1658                          is_public, is_global, stab_ptr->n_other, compiland, user);
1659             }
1660             break;
1661         default:
1662             ERR("Unknown stab type 0x%02x\n", type);
1663             break;
1664         }
1665         stabbuff[0] = '\0';
1666         TRACE("0x%02x %lx %s\n",
1667               stab_ptr->n_type, stab_ptr->n_value, debugstr_a(strs + stab_ptr->n_un.n_strx));
1668     }
1669     module->module.SymType = SymDia;
1670     module->module.CVSig = 'S' | ('T' << 8) | ('A' << 16) | ('B' << 24);
1671     /* FIXME: we could have a finer grain here */
1672     module->module.LineNumbers = TRUE;
1673     module->module.GlobalSymbols = TRUE;
1674     module->module.TypeInfo = TRUE;
1675     module->module.SourceIndexed = TRUE;
1676     module->module.Publics = TRUE;
1677 done:
1678     HeapFree(GetProcessHeap(), 0, stabbuff);
1679     stabs_free_includes();
1680     HeapFree(GetProcessHeap(), 0, pending_block.objs);
1681     HeapFree(GetProcessHeap(), 0, pending_func.objs);
1682
1683     return ret;
1684 }