From 06d66ee9d97cf451db4bdd7952eca099bc171706 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Mon, 14 Jan 2013 20:59:27 +0000 Subject: [PATCH] PR symtab/14442: * c-typeprint.c (cp_type_print_method_args): Handle 'restrict'. (c_type_print_modifier): Likewise. * dwarf2read.c (read_tag_restrict_type): New function. (read_type_die_1): Handle DW_TAG_restrict_type. * gdbtypes.c (make_restrict_type): New function. (recursive_dump_type): Handle TYPE_RESTRICT. * gdbtypes.h (enum type_flag_values): Renumber. (enum type_instance_flag_value): Add TYPE_INSTANCE_FLAG_RESTRICT. (TYPE_RESTRICT): New macro. (make_restrict_type): Declare. gdb/testsuite * gdb.dwarf2/dw2-restrict.S: New file. * gdb.dwarf2/dw2-restrict.c: New file. * gdb.dwarf2/dw2-restrict.exp: New file. --- gdb/ChangeLog | 15 ++ gdb/c-typeprint.c | 11 + gdb/dwarf2read.c | 21 ++ gdb/gdbtypes.c | 15 ++ gdb/gdbtypes.h | 33 ++- gdb/testsuite/ChangeLog | 6 + gdb/testsuite/gdb.dwarf2/dw2-restrict.S | 426 ++++++++++++++++++++++++++++++ gdb/testsuite/gdb.dwarf2/dw2-restrict.c | 26 ++ gdb/testsuite/gdb.dwarf2/dw2-restrict.exp | 29 ++ 9 files changed, 570 insertions(+), 12 deletions(-) create mode 100644 gdb/testsuite/gdb.dwarf2/dw2-restrict.S create mode 100644 gdb/testsuite/gdb.dwarf2/dw2-restrict.c create mode 100644 gdb/testsuite/gdb.dwarf2/dw2-restrict.exp diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 9897c9b..9173b57 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,20 @@ 2013-01-14 Tom Tromey + PR symtab/14442: + * c-typeprint.c (cp_type_print_method_args): Handle 'restrict'. + (c_type_print_modifier): Likewise. + * dwarf2read.c (read_tag_restrict_type): New function. + (read_type_die_1): Handle DW_TAG_restrict_type. + * gdbtypes.c (make_restrict_type): New function. + (recursive_dump_type): Handle TYPE_RESTRICT. + * gdbtypes.h (enum type_flag_values): Renumber. + (enum type_instance_flag_value): Add + TYPE_INSTANCE_FLAG_RESTRICT. + (TYPE_RESTRICT): New macro. + (make_restrict_type): Declare. + +2013-01-14 Tom Tromey + PR symtab/14931: * psymtab.c (struct psymtab_state): New. (discard_psymtabs_upto, make_cleanup_discard_psymtabs): New diff --git a/gdb/c-typeprint.c b/gdb/c-typeprint.c index cb75a4e..a6db162 100644 --- a/gdb/c-typeprint.c +++ b/gdb/c-typeprint.c @@ -269,6 +269,9 @@ cp_type_print_method_args (struct type *mtype, const char *prefix, if (TYPE_VOLATILE (domain)) fprintf_filtered (stream, " volatile"); + + if (TYPE_RESTRICT (domain)) + fprintf_filtered (stream, " restrict"); } } @@ -422,6 +425,14 @@ c_type_print_modifier (struct type *type, struct ui_file *stream, did_print_modifier = 1; } + if (TYPE_RESTRICT (type)) + { + if (did_print_modifier || need_pre_space) + fprintf_filtered (stream, " "); + fprintf_filtered (stream, "restrict"); + did_print_modifier = 1; + } + address_space_id = address_space_int_to_name (get_type_arch (type), TYPE_INSTANCE_FLAGS (type)); if (address_space_id) diff --git a/gdb/dwarf2read.c b/gdb/dwarf2read.c index 88efbf5..0e636b4 100644 --- a/gdb/dwarf2read.c +++ b/gdb/dwarf2read.c @@ -12383,6 +12383,24 @@ read_tag_volatile_type (struct die_info *die, struct dwarf2_cu *cu) return set_die_type (die, cv_type, cu); } +/* Handle DW_TAG_restrict_type. */ + +static struct type * +read_tag_restrict_type (struct die_info *die, struct dwarf2_cu *cu) +{ + struct type *base_type, *cv_type; + + base_type = die_type (die, cu); + + /* The die_type call above may have already set the type for this DIE. */ + cv_type = get_die_type (die, cu); + if (cv_type) + return cv_type; + + cv_type = make_restrict_type (base_type); + return set_die_type (die, cv_type, cu); +} + /* Extract all information from a DW_TAG_string_type DIE and add to the user defined type vector. It isn't really a user defined type, but it behaves like one, with other DIE's using an AT_user_def_type @@ -16548,6 +16566,9 @@ read_type_die_1 (struct die_info *die, struct dwarf2_cu *cu) case DW_TAG_volatile_type: this_type = read_tag_volatile_type (die, cu); break; + case DW_TAG_restrict_type: + this_type = read_tag_restrict_type (die, cu); + break; case DW_TAG_string_type: this_type = read_tag_string_type (die, cu); break; diff --git a/gdb/gdbtypes.c b/gdb/gdbtypes.c index 85ffbf1..5885241 100644 --- a/gdb/gdbtypes.c +++ b/gdb/gdbtypes.c @@ -676,6 +676,17 @@ make_cv_type (int cnst, int voltl, return ntype; } +/* Make a 'restrict'-qualified version of TYPE. */ + +struct type * +make_restrict_type (struct type *type) +{ + return make_qualified_type (type, + (TYPE_INSTANCE_FLAGS (type) + | TYPE_INSTANCE_FLAG_RESTRICT), + NULL); +} + /* Replace the contents of ntype with the type *type. This changes the contents, rather than the pointer for TYPE_MAIN_TYPE (ntype); thus the changes are propogated to all types in the TYPE_CHAIN. @@ -3194,6 +3205,10 @@ recursive_dump_type (struct type *type, int spaces) { puts_filtered (" TYPE_FLAG_ADDRESS_CLASS_2"); } + if (TYPE_RESTRICT (type)) + { + puts_filtered (" TYPE_FLAG_RESTRICT"); + } puts_filtered ("\n"); printfi_filtered (spaces, "flags"); diff --git a/gdb/gdbtypes.h b/gdb/gdbtypes.h index 8899ef4..8b340a3 100644 --- a/gdb/gdbtypes.h +++ b/gdb/gdbtypes.h @@ -169,18 +169,18 @@ enum type_code enum type_flag_value { - TYPE_FLAG_UNSIGNED = (1 << 7), - TYPE_FLAG_NOSIGN = (1 << 8), - TYPE_FLAG_STUB = (1 << 9), - TYPE_FLAG_TARGET_STUB = (1 << 10), - TYPE_FLAG_STATIC = (1 << 11), - TYPE_FLAG_PROTOTYPED = (1 << 12), - TYPE_FLAG_INCOMPLETE = (1 << 13), - TYPE_FLAG_VARARGS = (1 << 14), - TYPE_FLAG_VECTOR = (1 << 15), - TYPE_FLAG_FIXED_INSTANCE = (1 << 16), - TYPE_FLAG_STUB_SUPPORTED = (1 << 17), - TYPE_FLAG_GNU_IFUNC = (1 << 18), + TYPE_FLAG_UNSIGNED = (1 << 8), + TYPE_FLAG_NOSIGN = (1 << 9), + TYPE_FLAG_STUB = (1 << 10), + TYPE_FLAG_TARGET_STUB = (1 << 11), + TYPE_FLAG_STATIC = (1 << 12), + TYPE_FLAG_PROTOTYPED = (1 << 13), + TYPE_FLAG_INCOMPLETE = (1 << 14), + TYPE_FLAG_VARARGS = (1 << 15), + TYPE_FLAG_VECTOR = (1 << 16), + TYPE_FLAG_FIXED_INSTANCE = (1 << 17), + TYPE_FLAG_STUB_SUPPORTED = (1 << 18), + TYPE_FLAG_GNU_IFUNC = (1 << 19), /* Used for error-checking. */ TYPE_FLAG_MIN = TYPE_FLAG_UNSIGNED @@ -198,6 +198,7 @@ enum type_instance_flag_value TYPE_INSTANCE_FLAG_ADDRESS_CLASS_1 = (1 << 4), TYPE_INSTANCE_FLAG_ADDRESS_CLASS_2 = (1 << 5), TYPE_INSTANCE_FLAG_NOTTEXT = (1 << 6), + TYPE_INSTANCE_FLAG_RESTRICT = (1 << 7) }; /* Unsigned integer type. If this is not set for a TYPE_CODE_INT, the @@ -319,6 +320,12 @@ enum type_instance_flag_value #define TYPE_VOLATILE(t) \ (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_VOLATILE) +/* Restrict type. If this is set, the corresponding type has a + restrict modifier. */ + +#define TYPE_RESTRICT(t) \ + (TYPE_INSTANCE_FLAGS (t) & TYPE_INSTANCE_FLAG_RESTRICT) + /* Instruction-space delimited type. This is for Harvard architectures which have separate instruction and data address spaces (and perhaps others). @@ -1471,6 +1478,8 @@ extern struct type *make_reference_type (struct type *, struct type **); extern struct type *make_cv_type (int, int, struct type *, struct type **); +extern struct type *make_restrict_type (struct type *); + extern void replace_type (struct type *, struct type *); extern int address_space_name_to_int (struct gdbarch *, char *); diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 2d3bc16..e894bce 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,5 +1,11 @@ 2013-01-14 Tom Tromey + * gdb.dwarf2/dw2-restrict.S: New file. + * gdb.dwarf2/dw2-restrict.c: New file. + * gdb.dwarf2/dw2-restrict.exp: New file. + +2013-01-14 Tom Tromey + * gdb.dwarf2/dw2-error.exp: New file. * gdb.dwarf2/dw2-error.c: New file. * gdb.dwarf2/dw2-error.S: New file. diff --git a/gdb/testsuite/gdb.dwarf2/dw2-restrict.S b/gdb/testsuite/gdb.dwarf2/dw2-restrict.S new file mode 100644 index 0000000..81f7fce --- /dev/null +++ b/gdb/testsuite/gdb.dwarf2/dw2-restrict.S @@ -0,0 +1,426 @@ +/* Copyright (C) 2012 Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . + + This was created using clang -g -S dw2-restrict.c. + + */ + + .file "dw2-restrict.c" + .section .debug_frame,"",@progbits +.Lsection_debug_frame: + .section .debug_info,"",@progbits +.Lsection_info: + .section .debug_abbrev,"",@progbits +.Lsection_abbrev: + .section .debug_aranges,"",@progbits + .section .debug_macinfo,"",@progbits + .section .debug_line,"",@progbits +.Lsection_line: + .section .debug_loc,"",@progbits + .section .debug_pubnames,"",@progbits + .section .debug_pubtypes,"",@progbits + .section .debug_str,"",@progbits +.Lsection_str: + .section .debug_ranges,"",@progbits +.Ldebug_range: + .section .debug_loc,"",@progbits +.Lsection_debug_loc: + .text +.Ltext_begin: + .data + .file 1 "dw2-restrict.c" + .text + .globl f + .align 16, 0x90 + .type f,@function +f: # @f +.Leh_func_begin0: +.Lfunc_begin0: + .loc 1 19 0 +.Ltmp0: +# BB#0: + movq %rdi, -8(%rsp) + .loc 1 20 3 +.Ltmp1: + movq -8(%rsp), %rdi # dw2-restrict.c:20:3 + movsbl (%rdi), %eax # dw2-restrict.c:20:3 + ret # dw2-restrict.c:20:3 +.Ltmp2: +.Ltmp3: + .size f, .Ltmp3-f +.Lfunc_end0: +.Leh_func_end0: + + .globl main + .align 16, 0x90 + .type main,@function +main: # @main +.Leh_func_begin1: +.Lfunc_begin1: + .loc 1 24 0 +.Ltmp7: +# BB#0: + pushq %rbp +.Ltmp4: + movq %rsp, %rbp +.Ltmp5: + subq $16, %rsp +.Ltmp6: + leaq .L.str, %rdi + movl $0, -4(%rbp) + .loc 1 25 3 +.Ltmp8: + callq f # dw2-restrict.c:25:3 + addq $16, %rsp # dw2-restrict.c:25:3 + popq %rbp # dw2-restrict.c:25:3 + ret # dw2-restrict.c:25:3 +.Ltmp9: +.Ltmp10: + .size main, .Ltmp10-main +.Lfunc_end1: +.Leh_func_end1: + + .type .L.str,@object # @.str + .section .rodata.str1.1,"aMS",@progbits,1 +.L.str: + .asciz "hi bob" + .size .L.str, 7 + + .section .eh_frame,"a",@progbits +.LEH_frame0: +.Lsection_eh_frame0: +.Leh_frame_common0: +.Lset0 = .Leh_frame_common_end0-.Leh_frame_common_begin0 # Length of Common Information Entry + .long .Lset0 +.Leh_frame_common_begin0: + .long 0 # CIE Identifier Tag + .byte 1 # DW_CIE_VERSION + .asciz "zR" # CIE Augmentation + .byte 1 # CIE Code Alignment Factor + .byte 120 # CIE Data Alignment Factor + .byte 16 # CIE Return Address Column + .byte 1 # Augmentation Size + .byte 3 # FDE Encoding = udata4 + .byte 12 # DW_CFA_def_cfa + .byte 7 # Register + .byte 8 # Offset + .byte 144 # DW_CFA_offset + Reg (16) + .byte 1 # Offset + .align 8 +.Leh_frame_common_end0: +.Lf.eh: +.Lset1 = .Leh_frame_end0-.Leh_frame_begin0 # Length of Frame Information Entry + .long .Lset1 +.Leh_frame_begin0: +.Lset2 = .Leh_frame_begin0-.Leh_frame_common0 # FDE CIE offset + .long .Lset2 + .long .Leh_func_begin0 # FDE initial location +.Lset3 = .Leh_func_end0-.Leh_func_begin0 # FDE address range + .long .Lset3 + .byte 0 # Augmentation size + .align 8 +.Leh_frame_end0: + +.Lmain.eh: +.Lset4 = .Leh_frame_end1-.Leh_frame_begin1 # Length of Frame Information Entry + .long .Lset4 +.Leh_frame_begin1: +.Lset5 = .Leh_frame_begin1-.Leh_frame_common0 # FDE CIE offset + .long .Lset5 + .long .Leh_func_begin1 # FDE initial location +.Lset6 = .Leh_func_end1-.Leh_func_begin1 # FDE address range + .long .Lset6 + .byte 0 # Augmentation size + .byte 4 # DW_CFA_advance_loc4 +.Lset7 = .Ltmp4-.Leh_func_begin1 + .long .Lset7 + .byte 14 # DW_CFA_def_cfa_offset + .byte 16 # Offset + .byte 134 # DW_CFA_offset + Reg (6) + .byte 2 # Offset + .byte 4 # DW_CFA_advance_loc4 +.Lset8 = .Ltmp5-.Ltmp4 + .long .Lset8 + .byte 13 # DW_CFA_def_cfa_register + .byte 6 # Register + .align 8 +.Leh_frame_end1: + + .text +.Ltext_end: + .data +.Ldata_end: + .text +.Lsection_end1: + .section .debug_frame,"",@progbits +.Ldebug_frame_common: +.Lset9 = .Ldebug_frame_common_end-.Ldebug_frame_common_begin # Length of Common Information Entry + .long .Lset9 +.Ldebug_frame_common_begin: + .long -1 # CIE Identifier Tag + .byte 1 # CIE Version + .byte 0 # CIE Augmentation + .byte 1 # CIE Code Alignment Factor + .byte 120 # CIE Data Alignment Factor + .byte 16 # CIE RA Column + .byte 12 # DW_CFA_def_cfa + .byte 7 # Register + .byte 8 # Offset + .byte 144 # DW_CFA_offset + Reg (16) + .byte 1 # Offset + .align 4 +.Ldebug_frame_common_end: +.Lset10 = .Ldebug_frame_end0-.Ldebug_frame_begin0 # Length of Frame Information Entry + .long .Lset10 +.Ldebug_frame_begin0: + .long .Ldebug_frame_common # FDE CIE offset + .quad .Lfunc_begin0 # FDE initial location +.Lset11 = .Lfunc_end0-.Lfunc_begin0 # FDE address range + .quad .Lset11 + .align 4 +.Ldebug_frame_end0: +.Lset12 = .Ldebug_frame_end1-.Ldebug_frame_begin1 # Length of Frame Information Entry + .long .Lset12 +.Ldebug_frame_begin1: + .long .Ldebug_frame_common # FDE CIE offset + .quad .Lfunc_begin1 # FDE initial location +.Lset13 = .Lfunc_end1-.Lfunc_begin1 # FDE address range + .quad .Lset13 + .byte 4 # DW_CFA_advance_loc4 +.Lset14 = .Ltmp4-.Lfunc_begin1 + .long .Lset14 + .byte 14 # DW_CFA_def_cfa_offset + .byte 16 # Offset + .byte 134 # DW_CFA_offset + Reg (6) + .byte 2 # Offset + .byte 4 # DW_CFA_advance_loc4 +.Lset15 = .Ltmp5-.Ltmp4 + .long .Lset15 + .byte 13 # DW_CFA_def_cfa_register + .byte 6 # Register + .align 4 +.Ldebug_frame_end1: + .section .debug_info,"",@progbits +.Linfo_begin1: + .long 197 # Length of Compilation Unit Info + .short 2 # DWARF version number + .long .Labbrev_begin # Offset Into Abbrev. Section + .byte 8 # Address Size (in bytes) + .byte 1 # Abbrev [1] 0xb:0xba DW_TAG_compile_unit + .ascii "clang version 2.9 (tags/RELEASE_29/final)" # DW_AT_producer + .byte 0 + .short 12 # DW_AT_language + .ascii "dw2-restrict.c" # DW_AT_name + .byte 0 + .quad 0 # DW_AT_entry_pc + .quad .Lsection_line # DW_AT_stmt_list + .ascii "/tmp" # DW_AT_comp_dir + .byte 0 + .byte 2 # Abbrev [2] 0x5c:0x7 DW_TAG_base_type + .byte 5 # DW_AT_encoding + .ascii "int" # DW_AT_name + .byte 0 + .byte 4 # DW_AT_byte_size + .byte 3 # Abbrev [3] 0x63:0x2f DW_TAG_subprogram + .long 146 # DW_AT_sibling + .byte 102 # DW_AT_name + .byte 0 + .byte 1 # DW_AT_decl_file + .byte 19 # DW_AT_decl_line + .byte 1 # DW_AT_prototyped + .long 92 # DW_AT_type + .byte 1 # DW_AT_external + .quad .Lfunc_begin0 # DW_AT_low_pc + .quad .Lfunc_end0 # DW_AT_high_pc + .byte 1 # DW_AT_frame_base + .byte 87 + .byte 1 # DW_AT_APPLE_omit_frame_ptr + .byte 4 # Abbrev [4] 0x85:0xc DW_TAG_formal_parameter + .byte 120 # DW_AT_name + .byte 0 + .byte 1 # DW_AT_decl_file + .byte 18 # DW_AT_decl_line + .long 191 # DW_AT_type + .byte 2 # DW_AT_location + .byte 145 + .byte 120 + .byte 0 # End Of Children Mark + .byte 5 # Abbrev [5] 0x92:0x1f DW_TAG_subprogram + .ascii "main" # DW_AT_name + .byte 0 + .byte 1 # DW_AT_decl_file + .byte 24 # DW_AT_decl_line + .long 92 # DW_AT_type + .byte 1 # DW_AT_external + .quad .Lfunc_begin1 # DW_AT_low_pc + .quad .Lfunc_end1 # DW_AT_high_pc + .byte 1 # DW_AT_frame_base + .byte 86 + .byte 2 # Abbrev [2] 0xb1:0x8 DW_TAG_base_type + .byte 6 # DW_AT_encoding + .ascii "char" # DW_AT_name + .byte 0 + .byte 1 # DW_AT_byte_size + .byte 6 # Abbrev [6] 0xb9:0x6 DW_TAG_pointer_type + .long 177 # DW_AT_type + .byte 8 # DW_AT_byte_size + .byte 7 # Abbrev [7] 0xbf:0x5 DW_TAG_restrict_type + .long 185 # DW_AT_type + .byte 0 # End Of Children Mark + .byte 0 # 4 extra padding bytes for GDB + .byte 0 + .byte 0 + .byte 0 +.Linfo_end1: + .section .debug_abbrev,"",@progbits +.Labbrev_begin: + .byte 1 # Abbreviation Code + .byte 17 # DW_TAG_compile_unit + .byte 1 # DW_CHILDREN_yes + .byte 37 # DW_AT_producer + .byte 8 # DW_FORM_string + .byte 19 # DW_AT_language + .byte 5 # DW_FORM_data2 + .byte 3 # DW_AT_name + .byte 8 # DW_FORM_string + .byte 82 # DW_AT_entry_pc + .byte 1 # DW_FORM_addr + .byte 16 # DW_AT_stmt_list + .byte 1 # DW_FORM_addr + .byte 27 # DW_AT_comp_dir + .byte 8 # DW_FORM_string + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 2 # Abbreviation Code + .byte 36 # DW_TAG_base_type + .byte 0 # DW_CHILDREN_no + .byte 62 # DW_AT_encoding + .byte 11 # DW_FORM_data1 + .byte 3 # DW_AT_name + .byte 8 # DW_FORM_string + .byte 11 # DW_AT_byte_size + .byte 11 # DW_FORM_data1 + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 3 # Abbreviation Code + .byte 46 # DW_TAG_subprogram + .byte 1 # DW_CHILDREN_yes + .byte 1 # DW_AT_sibling + .byte 19 # DW_FORM_ref4 + .byte 3 # DW_AT_name + .byte 8 # DW_FORM_string + .byte 58 # DW_AT_decl_file + .byte 11 # DW_FORM_data1 + .byte 59 # DW_AT_decl_line + .byte 11 # DW_FORM_data1 + .byte 39 # DW_AT_prototyped + .byte 12 # DW_FORM_flag + .byte 73 # DW_AT_type + .byte 19 # DW_FORM_ref4 + .byte 63 # DW_AT_external + .byte 12 # DW_FORM_flag + .byte 17 # DW_AT_low_pc + .byte 1 # DW_FORM_addr + .byte 18 # DW_AT_high_pc + .byte 1 # DW_FORM_addr + .byte 64 # DW_AT_frame_base + .byte 10 # DW_FORM_block1 + .ascii "\347\177" # DW_AT_APPLE_omit_frame_ptr + .byte 12 # DW_FORM_flag + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 4 # Abbreviation Code + .byte 5 # DW_TAG_formal_parameter + .byte 0 # DW_CHILDREN_no + .byte 3 # DW_AT_name + .byte 8 # DW_FORM_string + .byte 58 # DW_AT_decl_file + .byte 11 # DW_FORM_data1 + .byte 59 # DW_AT_decl_line + .byte 11 # DW_FORM_data1 + .byte 73 # DW_AT_type + .byte 19 # DW_FORM_ref4 + .byte 2 # DW_AT_location + .byte 10 # DW_FORM_block1 + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 5 # Abbreviation Code + .byte 46 # DW_TAG_subprogram + .byte 0 # DW_CHILDREN_no + .byte 3 # DW_AT_name + .byte 8 # DW_FORM_string + .byte 58 # DW_AT_decl_file + .byte 11 # DW_FORM_data1 + .byte 59 # DW_AT_decl_line + .byte 11 # DW_FORM_data1 + .byte 73 # DW_AT_type + .byte 19 # DW_FORM_ref4 + .byte 63 # DW_AT_external + .byte 12 # DW_FORM_flag + .byte 17 # DW_AT_low_pc + .byte 1 # DW_FORM_addr + .byte 18 # DW_AT_high_pc + .byte 1 # DW_FORM_addr + .byte 64 # DW_AT_frame_base + .byte 10 # DW_FORM_block1 + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 6 # Abbreviation Code + .byte 15 # DW_TAG_pointer_type + .byte 0 # DW_CHILDREN_no + .byte 73 # DW_AT_type + .byte 19 # DW_FORM_ref4 + .byte 11 # DW_AT_byte_size + .byte 11 # DW_FORM_data1 + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 7 # Abbreviation Code + .byte 55 # DW_TAG_restrict_type + .byte 0 # DW_CHILDREN_no + .byte 73 # DW_AT_type + .byte 19 # DW_FORM_ref4 + .byte 0 # EOM(1) + .byte 0 # EOM(2) + .byte 0 # EOM(3) +.Labbrev_end: + .section .debug_pubnames,"",@progbits +.Lset16 = .Lpubnames_end1-.Lpubnames_begin1 # Length of Public Names Info + .long .Lset16 +.Lpubnames_begin1: + .short 2 # DWARF Version + .long .Linfo_begin1 # Offset of Compilation Unit Info +.Lset17 = .Linfo_end1-.Linfo_begin1 # Compilation Unit Length + .long .Lset17 + .long 146 # DIE offset + .asciz "main" # External Name + .long 99 # DIE offset + .asciz "f" # External Name + .long 0 # End Mark +.Lpubnames_end1: + .section .debug_pubtypes,"",@progbits +.Lset18 = .Lpubtypes_end1-.Lpubtypes_begin1 # Length of Public Types Info + .long .Lset18 +.Lpubtypes_begin1: + .short 2 # DWARF Version + .long .Linfo_begin1 # Offset of Compilation Unit Info +.Lset19 = .Linfo_end1-.Linfo_begin1 # Compilation Unit Length + .long .Lset19 + .long 0 # End Mark +.Lpubtypes_end1: + .section .debug_aranges,"",@progbits + .section .debug_ranges,"",@progbits + .section .debug_macinfo,"",@progbits + + .section ".note.GNU-stack","",@progbits diff --git a/gdb/testsuite/gdb.dwarf2/dw2-restrict.c b/gdb/testsuite/gdb.dwarf2/dw2-restrict.c new file mode 100644 index 0000000..9568a3e --- /dev/null +++ b/gdb/testsuite/gdb.dwarf2/dw2-restrict.c @@ -0,0 +1,26 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2012 Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +int f (char * restrict x) +{ + return x[0]; +} + +int main() +{ + return f("hi bob"); +} diff --git a/gdb/testsuite/gdb.dwarf2/dw2-restrict.exp b/gdb/testsuite/gdb.dwarf2/dw2-restrict.exp new file mode 100644 index 0000000..e6f3fe8 --- /dev/null +++ b/gdb/testsuite/gdb.dwarf2/dw2-restrict.exp @@ -0,0 +1,29 @@ +# Copyright 2012 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +load_lib dwarf.exp + +# This test can only be run on targets which support DWARF-2 and use gas. +if {![dwarf2_support]} { + return 0 +} + +standard_testfile .S + +if {[prepare_for_testing $testfile.exp $testfile $srcfile {nodebug}]} { + return -1 +} + +gdb_test "ptype f" "int \\(char \\\* restrict\\)" -- 2.7.4