622 |
{ |
{ |
623 |
symbol_t *symbol = symbols[i]; |
symbol_t *symbol = symbols[i]; |
624 |
|
|
625 |
/* Symbol-number, destructor. */ |
/* Filename, lineno, |
626 |
fprintf (out, "%s[[[%d]], [[%s]], [[%s]]]", |
Symbol-name, Symbol-number, |
627 |
|
destructor, typename. */ |
628 |
|
fprintf (out, "%s[[[%s]], [[%d]], [[%s]], [[%d]], [[%s]], [[%s]]]", |
629 |
first ? "" : ",\n", |
first ? "" : ",\n", |
630 |
symbol->number, symbol->destructor, symbol->type_name); |
infile, symbol->destructor_location.first_line, |
631 |
|
symbol_tag_get (symbol), |
632 |
|
symbol->number, |
633 |
|
symbol->destructor, |
634 |
|
symbol->type_name); |
635 |
|
|
636 |
first = 0; |
first = 0; |
637 |
} |
} |