1/* Copyright 2010-2020 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 17debug_start: 18 .4byte debug_end - 1f /* Length of Compilation Unit Info */ 191: 20 .2byte 0x3 /* DWARF version number */ 21 .4byte .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 */ 31debug_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 56