| 1 | /* Copyright 2010, 2011 Free Software Foundation, Inc. |
| 2 | |
| 3 | This program is free software; you can redistribute it and/or modify |
| 4 | it under the terms of the GNU General Public License as published by |
| 5 | the Free Software Foundation; either version 3 of the License, or |
| 6 | (at your option) any later version. |
| 7 | |
| 8 | This program is distributed in the hope that it will be useful, |
| 9 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 10 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 11 | GNU General Public License for more details. |
| 12 | |
| 13 | You should have received a copy of the GNU General Public License |
| 14 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
| 15 | |
| 16 | .section .debug_info |
| 17 | debug_start: |
| 18 | .long debug_end - 1f /* Length of Compilation Unit Info */ |
| 19 | 1: |
| 20 | .2byte 0x3 /* DWARF version number */ |
| 21 | .long .Ldebug_abbrev0 /* Offset Into Abbrev. Section */ |
| 22 | .byte 0x4 /* Pointer Size (in bytes) */ |
| 23 | .uleb128 0x1 /* (DIE (0xb) DW_TAG_compile_unit) */ |
| 24 | .ascii "GNU C 4.4.3\0" /* DW_AT_producer */ |
| 25 | .byte 0x03 /* DW_AT_language = DW_LANG_Ada83 */ |
| 26 | .ascii "1.adb\0" /* DW_AT_name */ |
| 27 | .uleb128 0x4 /* DW_TAG_structure_type */ |
| 28 | .ascii "t\0" /* DW_AT_name */ |
| 29 | .4byte 0xffffffff /* DW_AT_byte_size */ |
| 30 | .byte 0x0 /* end of children of CU */ |
| 31 | debug_end: |
| 32 | |
| 33 | .section .debug_abbrev |
| 34 | .Ldebug_abbrev0: |
| 35 | .uleb128 0x1 /* (abbrev code) */ |
| 36 | .uleb128 0x11 /* (TAG: DW_TAG_compile_unit) */ |
| 37 | .byte 0x1 /* DW_children_yes */ |
| 38 | .uleb128 0x25 /* (DW_AT_producer) */ |
| 39 | .uleb128 0x8 /* (DW_FORM_string) */ |
| 40 | .uleb128 0x13 /* (DW_AT_language) */ |
| 41 | .uleb128 0xb /* (DW_FORM_data1) */ |
| 42 | .uleb128 0x3 /* (DW_AT_name) */ |
| 43 | .uleb128 0x8 /* (DW_FORM_string) */ |
| 44 | .byte 0x0 |
| 45 | .byte 0x0 |
| 46 | .uleb128 0x4 /* (abbrev code) */ |
| 47 | .uleb128 0x13 /* (TAG: DW_TAG_structure_type) */ |
| 48 | .byte 0x0 /* DW_children_yes */ |
| 49 | .uleb128 0x3 /* (DW_AT_name) */ |
| 50 | .uleb128 0x8 /* (DW_FORM_string) */ |
| 51 | .uleb128 0x0b /* (DW_AT_byte_size) */ |
| 52 | .uleb128 0x6 /* (DW_FORM_data4) */ |
| 53 | .byte 0x0 |
| 54 | .byte 0x0 |
| 55 | .byte 0x0 |