verify_strings.s
3.46 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
# RUN: llvm-mc -triple x86_64-unknown-linux %s -filetype=obj -o %t.o
# RUN: not llvm-dwarfdump -verify %t.o | FileCheck --check-prefix=VERIFY %s
# Check that the verifier correctly diagnoses various error conditions with
# the usage of string indices and string offsets tables.
.section .debug_str,"MS",@progbits,1
str_producer:
.asciz "Handmade DWARF producer"
.section .debug_str_offsets,"",@progbits
# The string offsets table
.long .debug_str_offsets_segment0_end-.debug_str_offsets_base0+4
.short 5 # DWARF version
.short 0 # Padding
.debug_str_offsets_base0:
.long str_producer
.long 1000 # Invalid string address.
.debug_str_offsets_segment0_end:
# A simple abbrev section with a basic compile unit DIE.
.section .debug_abbrev,"",@progbits
.byte 0x01 # Abbrev code
.byte 0x11 # DW_TAG_compile_unit
.byte 0x01 # DW_CHILDREN_no
.byte 0x25 # DW_AT_producer
.byte 0x1a # DW_FORM_strx
.byte 0x72 # DW_AT_str_offsets_base
.byte 0x17 # DW_FORM_sec_offset
.byte 0x00 # EOM(1)
.byte 0x00 # EOM(2)
.section .debug_info,"",@progbits
# The first unit's CU DIE has an invalid DW_AT_str_offsets_base which
# renders any string index unresolvable.
# DWARF v5 CU header.
.long CU1_5_end-CU1_5_version # Length of Unit
CU1_5_version:
.short 5 # DWARF version number
.byte 1 # DWARF Unit Type
.byte 8 # Address Size (in bytes)
.long .debug_abbrev # Offset Into Abbrev. Section
# The compile-unit DIE, which has DW_AT_producer and DW_AT_str_offsets.
.byte 1 # Abbreviation code
.byte 0 # Index of string for DW_AT_producer.
.long 1000 # Bad value for DW_AT_str_offsets_base
.byte 0 # NULL
CU1_5_end:
# The second unit's CU DIE uses an invalid string index.
# DWARF v5 CU header
.long CU2_5_end-CU2_5_version # Length of Unit
CU2_5_version:
.short 5 # DWARF version number
.byte 1 # DWARF Unit Type
.byte 8 # Address Size (in bytes)
.long .debug_abbrev # Offset Into Abbrev. Section
# The compile-unit DIE, which has DW_AT_producer and DW_AT_str_offsets.
.byte 1 # Abbreviation code
.byte 100 # Invalid string index
.long .debug_str_offsets_base0
.byte 0 # NULL
CU2_5_end:
# The third unit's CU DIE uses a valid string index but the entry in the
# string offsets table is invalid.
# DWARF v5 CU header
.long CU3_5_end-CU3_5_version # Length of Unit
CU3_5_version:
.short 5 # DWARF version number
.byte 1 # DWARF Unit Type
.byte 8 # Address Size (in bytes)
.long .debug_abbrev # Offset Into Abbrev. Section
# The compile-unit DIE, which has DW_AT_producer and DW_AT_str_offsets.
.byte 1 # Abbreviation code
.byte 1 # Index of string for DW_AT_producer.
.long .debug_str_offsets_base0
.byte 0 # NULL
CU3_5_end:
# VERIFY-DAG: error: DW_FORM_strx used without a valid string offsets table:
# VERIFY-DAG: error: DW_FORM_strx uses index 100, which is too large:
# VERIFY-DAG: error: DW_FORM_strx uses index 1, but the referenced string offset
# VERIFY-DAG-SAME: is beyond .debug_str bounds: