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	0x1	/* DW_AT_language */
26	.ascii "1.c\0"	/* DW_AT_name */
27	.uleb128 0x4	/* (DIE (0x3c) DW_TAG_subprogram) */
28	.ascii "f\0"	/* DW_AT_name */
29/* Value 0 would require has_section_at_zero != 0 (which is true, though).  */
30	.4byte	1	/* DW_AT_low_pc */
31	.4byte	2	/* DW_AT_high_pc */
32	.byte	0x1	/* DW_AT_prototyped */
33	.uleb128 0x5	/* (DIE (0x42) DW_TAG_formal_parameter) */
34/* Invalid value.  */
35	.4byte	0x0	/* DW_AT_type */
36	.byte	0x0	/* end of children of DIE 0x3c */
37	.byte	0x0	/* end of children of DIE 0xb */
38debug_end:
39
40	.section	.debug_abbrev
41.Ldebug_abbrev0:
42	.uleb128 0x1	/* (abbrev code) */
43	.uleb128 0x11	/* (TAG: DW_TAG_compile_unit) */
44	.byte	0x1	/* DW_children_yes */
45	.uleb128 0x25	/* (DW_AT_producer) */
46	.uleb128 0x8	/* (DW_FORM_string) */
47	.uleb128 0x13	/* (DW_AT_language) */
48	.uleb128 0xb	/* (DW_FORM_data1) */
49	.uleb128 0x3	/* (DW_AT_name) */
50	.uleb128 0x8	/* (DW_FORM_string) */
51	.byte	0x0
52	.byte	0x0
53	.uleb128 0x4	/* (abbrev code) */
54	.uleb128 0x2e	/* (TAG: DW_TAG_subprogram) */
55	.byte	0x1	/* DW_children_yes */
56	.uleb128 0x3	/* (DW_AT_name) */
57	.uleb128 0x8	/* (DW_FORM_string) */
58	.uleb128 0x11	/* (DW_AT_low_pc) */
59	.uleb128 0x1	/* (DW_FORM_addr) */
60	.uleb128 0x12	/* (DW_AT_high_pc) */
61	.uleb128 0x1	/* (DW_FORM_addr) */
62	.uleb128 0x27	/* (DW_AT_prototyped) */
63	.uleb128 0xc	/* (DW_FORM_flag) */
64	.byte	0x0
65	.byte	0x0
66	.uleb128 0x5	/* (abbrev code) */
67	.uleb128 0x5	/* (TAG: DW_TAG_formal_parameter) */
68	.byte	0x0	/* DW_children_no */
69	.uleb128 0x49	/* (DW_AT_type) */
70	.uleb128 0x13	/* (DW_FORM_ref4) */
71	.byte	0x0
72	.byte	0x0
73	.byte	0x0
74