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