From cb82636715e384dc5e75f3c1a4fd436626ba8dcd Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Fri, 21 May 2010 21:01:46 +0000 Subject: gdb * dwarf2loc.c (read_pieced_value): Exit loop when result is full. : New case. * dwarf2expr.h (enum dwarf_value_location) : New constant. * dwarf2expr.c (dwarf_expr_stack_empty_p): New function. (add_piece): Handle empty piece. (execute_stack_op) : Handle DWARF_VALUE_OPTIMIZED_OUT. gdb/testsuite * gdb.dwarf2/pieces.exp (pieces_test_f6): New proc. Call it. * gdb.dwarf2/pieces.c (struct C): New. (f6): New function. * gdb.dwarf2/pieces.S: Replace. --- gdb/ChangeLog | 11 + gdb/dwarf2expr.c | 20 +- gdb/dwarf2expr.h | 5 +- gdb/dwarf2loc.c | 13 + gdb/testsuite/ChangeLog | 8 + gdb/testsuite/gdb.dwarf2/pieces.S | 636 +++++++++++++++++++++++++----------- gdb/testsuite/gdb.dwarf2/pieces.c | 14 + gdb/testsuite/gdb.dwarf2/pieces.exp | 23 ++ 8 files changed, 531 insertions(+), 199 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 4db2977..8b3b900 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,16 @@ 2010-05-21 Tom Tromey + * dwarf2loc.c (read_pieced_value): Exit loop when result is full. + : New case. + * dwarf2expr.h (enum dwarf_value_location) + : New constant. + * dwarf2expr.c (dwarf_expr_stack_empty_p): New function. + (add_piece): Handle empty piece. + (execute_stack_op) : Handle + DWARF_VALUE_OPTIMIZED_OUT. + +2010-05-21 Tom Tromey + * eval.c (evaluate_subexp_standard) : Call evaluate_subexp, not evaluate_subexp_with_coercion. diff --git a/gdb/dwarf2expr.c b/gdb/dwarf2expr.c index 13d318e..bf5f7c9 100644 --- a/gdb/dwarf2expr.c +++ b/gdb/dwarf2expr.c @@ -143,6 +143,14 @@ dwarf_expr_fetch_in_stack_memory (struct dwarf_expr_context *ctx, int n) } +/* Return true if the expression stack is empty. */ + +static int +dwarf_expr_stack_empty_p (struct dwarf_expr_context *ctx) +{ + return ctx->stack_len == 0; +} + /* Add a new piece to CTX's piece list. */ static void add_piece (struct dwarf_expr_context *ctx, ULONGEST size) @@ -167,6 +175,15 @@ add_piece (struct dwarf_expr_context *ctx, ULONGEST size) p->v.literal.data = ctx->data; p->v.literal.length = ctx->len; } + else if (dwarf_expr_stack_empty_p (ctx)) + { + p->location = DWARF_VALUE_OPTIMIZED_OUT; + /* Also reset the context's location, for our callers. This is + a somewhat strange approach, but this lets us avoid setting + the location to DWARF_VALUE_MEMORY in all the individual + cases in the evaluator. */ + ctx->location = DWARF_VALUE_OPTIMIZED_OUT; + } else { p->v.expr.value = dwarf_expr_fetch (ctx, 0); @@ -859,7 +876,8 @@ execute_stack_op (struct dwarf_expr_context *ctx, /* Pop off the address/regnum, and reset the location type. */ - if (ctx->location != DWARF_VALUE_LITERAL) + if (ctx->location != DWARF_VALUE_LITERAL + && ctx->location != DWARF_VALUE_OPTIMIZED_OUT) dwarf_expr_pop (ctx); ctx->location = DWARF_VALUE_MEMORY; } diff --git a/gdb/dwarf2expr.h b/gdb/dwarf2expr.h index 437ca39..f24f193 100644 --- a/gdb/dwarf2expr.h +++ b/gdb/dwarf2expr.h @@ -38,7 +38,10 @@ enum dwarf_value_location DWARF_VALUE_STACK, /* The piece is a literal. */ - DWARF_VALUE_LITERAL + DWARF_VALUE_LITERAL, + + /* The piece was optimized out. */ + DWARF_VALUE_OPTIMIZED_OUT }; /* The dwarf expression stack. */ diff --git a/gdb/dwarf2loc.c b/gdb/dwarf2loc.c index f40be6c..fee81a1 100644 --- a/gdb/dwarf2loc.c +++ b/gdb/dwarf2loc.c @@ -384,6 +384,16 @@ read_pieced_value (struct value *v) } break; + case DWARF_VALUE_OPTIMIZED_OUT: + /* We just leave the bits empty for now. This is not ideal + but gdb currently does not have a nice way to represent + optimized-out pieces. */ + warning (_("bytes %ld-%ld in computed object were optimized out; " + "replacing with zeroes"), + offset, + offset + (long) this_size); + break; + default: internal_error (__FILE__, __LINE__, _("invalid location type")); } @@ -609,6 +619,9 @@ dwarf2_evaluate_loc_desc (struct type *type, struct frame_info *frame, } break; + /* DWARF_VALUE_OPTIMIZED_OUT can't occur in this context -- + it can only be encountered when making a piece. */ + case DWARF_VALUE_OPTIMIZED_OUT: default: internal_error (__FILE__, __LINE__, _("invalid location type")); } diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 87bec37..97b1c72 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,5 +1,13 @@ 2010-05-21 Tom Tromey + * gdb.dwarf2/pieces.exp (pieces_test_f6): New proc. + Call it. + * gdb.dwarf2/pieces.c (struct C): New. + (f6): New function. + * gdb.dwarf2/pieces.S: Replace. + +2010-05-21 Tom Tromey + * gdb.dwarf2/pieces.exp (pieces_test_f2): New proc. Call it. diff --git a/gdb/testsuite/gdb.dwarf2/pieces.S b/gdb/testsuite/gdb.dwarf2/pieces.S index d6791c1..0ecdbb0 100644 --- a/gdb/testsuite/gdb.dwarf2/pieces.S +++ b/gdb/testsuite/gdb.dwarf2/pieces.S @@ -37,19 +37,19 @@ bar: .LFB0: .file 1 "pieces.c" - # pieces.c:28 - .loc 1 28 0 + # pieces.c:29 + .loc 1 29 0 .LVL0: # basic block 2 pushl %ebp .LCFI0: movl %esp, %ebp .LCFI1: - # pieces.c:29 - .loc 1 29 0 - movl 8(%ebp), %eax # pieces.c:30 .loc 1 30 0 + movl 8(%ebp), %eax + # pieces.c:31 + .loc 1 31 0 popl %ebp .LCFI2: ret @@ -60,8 +60,8 @@ bar: .type f1, @function f1: .LFB1: - # pieces.c:34 - .loc 1 34 0 + # pieces.c:35 + .loc 1 35 0 .LVL1: # basic block 2 pushl %ebp @@ -73,36 +73,36 @@ f1: .LCFI5: movl %esi, -4(%ebp) .LCFI6: - # pieces.c:37 - .loc 1 37 0 + # pieces.c:38 + .loc 1 38 0 movl 8(%ebp), %esi - # pieces.c:34 - .loc 1 34 0 + # pieces.c:35 + .loc 1 35 0 movl %ebx, -8(%ebp) .LCFI7: - # pieces.c:36 - .loc 1 36 0 + # pieces.c:37 + .loc 1 37 0 movl $4, %ebx .LVL3: + # pieces.c:39 + .loc 1 39 0 + movl %ebx, (%esp) # pieces.c:38 .loc 1 38 0 - movl %ebx, (%esp) - # pieces.c:37 - .loc 1 37 0 addl $7, %esi .LVL4: - # pieces.c:38 - .loc 1 38 0 - call bar # pieces.c:39 .loc 1 39 0 - movl %esi, (%esp) call bar # pieces.c:40 .loc 1 40 0 - leal (%ebx,%esi), %eax + movl %esi, (%esp) + call bar # pieces.c:41 .loc 1 41 0 + leal (%ebx,%esi), %eax + # pieces.c:42 + .loc 1 42 0 movl -8(%ebp), %ebx .LVL5: movl -4(%ebp), %esi @@ -119,8 +119,8 @@ f1: .type f2, @function f2: .LFB2: - # pieces.c:45 - .loc 1 45 0 + # pieces.c:46 + .loc 1 46 0 .LVL7: # basic block 2 pushl %ebp @@ -132,36 +132,36 @@ f2: .LCFI12: movl %esi, -4(%ebp) .LCFI13: - # pieces.c:48 - .loc 1 48 0 + # pieces.c:49 + .loc 1 49 0 movl 8(%ebp), %esi - # pieces.c:45 - .loc 1 45 0 + # pieces.c:46 + .loc 1 46 0 movl %ebx, -8(%ebp) .LCFI14: - # pieces.c:47 - .loc 1 47 0 + # pieces.c:48 + .loc 1 48 0 movl $4, %ebx .LVL9: + # pieces.c:50 + .loc 1 50 0 + movl %ebx, (%esp) # pieces.c:49 .loc 1 49 0 - movl %ebx, (%esp) - # pieces.c:48 - .loc 1 48 0 addl $7, %esi .LVL10: - # pieces.c:49 - .loc 1 49 0 - call bar # pieces.c:50 .loc 1 50 0 - movl %esi, (%esp) call bar # pieces.c:51 .loc 1 51 0 - leal (%ebx,%esi), %eax + movl %esi, (%esp) + call bar # pieces.c:52 .loc 1 52 0 + leal (%ebx,%esi), %eax + # pieces.c:53 + .loc 1 53 0 movl -8(%ebp), %ebx .LVL11: movl -4(%ebp), %esi @@ -178,59 +178,59 @@ f2: .type f3, @function f3: .LFB3: - # pieces.c:56 - .loc 1 56 0 + # pieces.c:57 + .loc 1 57 0 .LVL13: # basic block 2 pushl %ebp .LCFI17: - # pieces.c:58 - .loc 1 58 0 + # pieces.c:59 + .loc 1 59 0 movl $4, %edx - # pieces.c:56 - .loc 1 56 0 + # pieces.c:57 + .loc 1 57 0 movl %esp, %ebp .LCFI18: .LVL14: subl $12, %esp .LCFI19: - # pieces.c:58 - .loc 1 58 0 + # pieces.c:59 + .loc 1 59 0 .LVL15: - # pieces.c:56 - .loc 1 56 0 + # pieces.c:57 + .loc 1 57 0 movl %esi, -4(%ebp) .LCFI20: - # pieces.c:60 - .loc 1 60 0 + # pieces.c:61 + .loc 1 61 0 movswl %dx, %esi - # pieces.c:56 - .loc 1 56 0 + # pieces.c:57 + .loc 1 57 0 movl %ebx, -8(%ebp) .LCFI21: - # pieces.c:60 - .loc 1 60 0 + # pieces.c:61 + .loc 1 61 0 movl %esi, (%esp) call bar .LVL16: - # pieces.c:57 - .loc 1 57 0 + # pieces.c:58 + .loc 1 58 0 movl 8(%ebp), %edx sall $4, %edx - # pieces.c:59 - .loc 1 59 0 + # pieces.c:60 + .loc 1 60 0 addl $112, %edx sarw $4, %dx - # pieces.c:61 - .loc 1 61 0 + # pieces.c:62 + .loc 1 62 0 movswl %dx, %ebx movl %ebx, (%esp) call bar - # pieces.c:62 - .loc 1 62 0 - leal (%esi,%ebx), %eax # pieces.c:63 .loc 1 63 0 + leal (%esi,%ebx), %eax + # pieces.c:64 + .loc 1 64 0 movl -8(%ebp), %ebx movl -4(%ebp), %esi .LVL17: @@ -246,8 +246,8 @@ f3: .type f4, @function f4: .LFB4: - # pieces.c:67 - .loc 1 67 0 + # pieces.c:68 + .loc 1 68 0 .LVL18: # basic block 2 pushl %ebp @@ -262,28 +262,28 @@ f4: .LVL19: movl %ebx, -8(%ebp) .LCFI28: - # pieces.c:69 - .loc 1 69 0 - movl %esi, %ebx # pieces.c:70 .loc 1 70 0 - addl $1, %esi - # pieces.c:69 - .loc 1 69 0 -.LVL20: + movl %esi, %ebx # pieces.c:71 .loc 1 71 0 - movl %ebx, (%esp) - call bar + addl $1, %esi + # pieces.c:70 + .loc 1 70 0 +.LVL20: # pieces.c:72 .loc 1 72 0 - movl %esi, (%esp) + movl %ebx, (%esp) call bar # pieces.c:73 .loc 1 73 0 - leal (%ebx,%esi), %eax + movl %esi, (%esp) + call bar # pieces.c:74 .loc 1 74 0 + leal (%ebx,%esi), %eax + # pieces.c:75 + .loc 1 75 0 movl -8(%ebp), %ebx .LVL21: movl -4(%ebp), %esi @@ -300,8 +300,8 @@ f4: .type f5, @function f5: .LFB5: - # pieces.c:78 - .loc 1 78 0 + # pieces.c:79 + .loc 1 79 0 .LVL23: # basic block 2 pushl %ebp @@ -316,28 +316,28 @@ f5: .LVL24: movl %ebx, -8(%ebp) .LCFI35: - # pieces.c:80 - .loc 1 80 0 - movl %esi, %ebx # pieces.c:81 .loc 1 81 0 - addl $1, %esi - # pieces.c:80 - .loc 1 80 0 -.LVL25: + movl %esi, %ebx # pieces.c:82 .loc 1 82 0 - movl %ebx, (%esp) - call bar + addl $1, %esi + # pieces.c:81 + .loc 1 81 0 +.LVL25: # pieces.c:83 .loc 1 83 0 - movl %esi, (%esp) + movl %ebx, (%esp) call bar # pieces.c:84 .loc 1 84 0 - leal (%ebx,%esi), %eax + movl %esi, (%esp) + call bar # pieces.c:85 .loc 1 85 0 + leal (%ebx,%esi), %eax + # pieces.c:86 + .loc 1 86 0 movl -8(%ebp), %ebx .LVL26: movl -4(%ebp), %esi @@ -350,60 +350,118 @@ f5: .LFE5: .size f5, .-f5 .p2align 4,,15 -.globl main - .type main, @function -main: +.globl f6 + .type f6, @function +f6: .LFB6: - # pieces.c:89 - .loc 1 89 0 + # pieces.c:90 + .loc 1 90 0 +.LVL28: # basic block 2 pushl %ebp .LCFI38: movl %esp, %ebp .LCFI39: - pushl %ebx + subl $12, %esp .LCFI40: - # pieces.c:91 - .loc 1 91 0 - movl $7, %ebx - # pieces.c:89 - .loc 1 89 0 - subl $4, %esp + movl %esi, -4(%ebp) .LCFI41: - # pieces.c:91 - .loc 1 91 0 -.LVL28: - # pieces.c:92 - .loc 1 92 0 - movl %ebx, (%esp) - call f1 + movl 8(%ebp), %esi +.LVL29: + movl %ebx, -8(%ebp) +.LCFI42: # pieces.c:93 .loc 1 93 0 - movl %ebx, (%esp) - call f2 + movl %esi, %ebx # pieces.c:94 .loc 1 94 0 - movl %ebx, (%esp) - call f3 + addl $1, %esi + # pieces.c:93 + .loc 1 93 0 +.LVL30: # pieces.c:95 .loc 1 95 0 movl %ebx, (%esp) - call f4 + call bar # pieces.c:96 .loc 1 96 0 - movl %ebx, (%esp) - call f5 + movl %esi, (%esp) + call bar + # pieces.c:97 + .loc 1 97 0 + leal (%ebx,%esi), %eax # pieces.c:98 .loc 1 98 0 + movl -8(%ebp), %ebx +.LVL31: + movl -4(%ebp), %esi +.LVL32: + movl %ebp, %esp +.LCFI43: + popl %ebp +.LCFI44: + ret +.LFE6: + .size f6, .-f6 + .p2align 4,,15 +.globl main + .type main, @function +main: +.LFB7: + # pieces.c:102 + .loc 1 102 0 + # basic block 2 + pushl %ebp +.LCFI45: + movl %esp, %ebp +.LCFI46: + pushl %ebx +.LCFI47: + # pieces.c:104 + .loc 1 104 0 + movl $7, %ebx + # pieces.c:102 + .loc 1 102 0 + subl $4, %esp +.LCFI48: + # pieces.c:104 + .loc 1 104 0 +.LVL33: + # pieces.c:105 + .loc 1 105 0 + movl %ebx, (%esp) + call f1 + # pieces.c:106 + .loc 1 106 0 + movl %ebx, (%esp) + call f2 + # pieces.c:107 + .loc 1 107 0 + movl %ebx, (%esp) + call f3 + # pieces.c:108 + .loc 1 108 0 + movl %ebx, (%esp) + call f4 + # pieces.c:109 + .loc 1 109 0 + movl %ebx, (%esp) + call f5 + # pieces.c:110 + .loc 1 110 0 + movl %ebx, (%esp) + call f6 + # pieces.c:112 + .loc 1 112 0 addl $4, %esp xorl %eax, %eax popl %ebx -.LCFI42: -.LVL29: +.LCFI49: +.LVL34: popl %ebp -.LCFI43: +.LCFI50: ret -.LFE6: +.LFE7: .size main, .-main #APP .section .debug_frame,"",@progbits @@ -649,20 +707,57 @@ main: .byte 0xd # DW_CFA_def_cfa_register .uleb128 0x5 .byte 0x4 # DW_CFA_advance_loc4 - .long .LCFI40-.LCFI39 + .long .LCFI41-.LCFI39 + .byte 0x86 # DW_CFA_offset, column 0x6 + .uleb128 0x3 + .byte 0x4 # DW_CFA_advance_loc4 + .long .LCFI42-.LCFI41 + .byte 0x83 # DW_CFA_offset, column 0x3 + .uleb128 0x4 + .byte 0x4 # DW_CFA_advance_loc4 + .long .LCFI43-.LCFI42 + .byte 0xd # DW_CFA_def_cfa_register + .uleb128 0x4 + .byte 0xc6 # DW_CFA_restore, column 0x6 + .byte 0xc3 # DW_CFA_restore, column 0x3 + .byte 0x4 # DW_CFA_advance_loc4 + .long .LCFI44-.LCFI43 + .byte 0xc5 # DW_CFA_restore, column 0x5 + .byte 0xe # DW_CFA_def_cfa_offset + .uleb128 0x4 + .align 4 +.LEFDE12: +.LSFDE14: + .long .LEFDE14-.LASFDE14 # FDE Length +.LASFDE14: + .long .Lframe0 # FDE CIE offset + .long .LFB7 # FDE initial location + .long .LFE7-.LFB7 # FDE address range + .byte 0x4 # DW_CFA_advance_loc4 + .long .LCFI45-.LFB7 + .byte 0xe # DW_CFA_def_cfa_offset + .uleb128 0x8 + .byte 0x85 # DW_CFA_offset, column 0x5 + .uleb128 0x2 + .byte 0x4 # DW_CFA_advance_loc4 + .long .LCFI46-.LCFI45 + .byte 0xd # DW_CFA_def_cfa_register + .uleb128 0x5 + .byte 0x4 # DW_CFA_advance_loc4 + .long .LCFI47-.LCFI46 .byte 0x83 # DW_CFA_offset, column 0x3 .uleb128 0x3 .byte 0x4 # DW_CFA_advance_loc4 - .long .LCFI42-.LCFI40 + .long .LCFI49-.LCFI47 .byte 0xc3 # DW_CFA_restore, column 0x3 .byte 0x4 # DW_CFA_advance_loc4 - .long .LCFI43-.LCFI42 + .long .LCFI50-.LCFI49 .byte 0xc5 # DW_CFA_restore, column 0x5 .byte 0xc # DW_CFA_def_cfa .uleb128 0x4 .uleb128 0x4 .align 4 -.LEFDE12: +.LEFDE14: #NO_APP .text .Letext0: @@ -1130,6 +1225,11 @@ main: .byte 0x75 # DW_OP_breg5 .sleb128 8 .long .LCFI43-.Ltext0 # Location list begin address (*.LLST11) + .long .LCFI44-.Ltext0 # Location list end address (*.LLST11) + .value 0x2 # Location expression size + .byte 0x74 # DW_OP_breg4 + .sleb128 8 + .long .LCFI44-.Ltext0 # Location list begin address (*.LLST11) .long .LFE6-.Ltext0 # Location list end address (*.LLST11) .value 0x2 # Location expression size .byte 0x74 # DW_OP_breg4 @@ -1137,14 +1237,74 @@ main: .long 0 # Location list terminator begin (*.LLST11) .long 0 # Location list terminator end (*.LLST11) .LLST12: - .long .LVL28-.Ltext0 # Location list begin address (*.LLST12) - .long .LVL29-.Ltext0 # Location list end address (*.LLST12) - .value 0x1 # Location expression size + .long .LVL29-.Ltext0 # Location list begin address (*.LLST12) + .long .LVL30-.Ltext0 # Location list end address (*.LLST12) + .value 0xa # Location expression size + .byte 0x91 # DW_OP_fbreg + .sleb128 0 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .byte 0x91 # DW_OP_fbreg + .sleb128 0 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .long .LVL30-.Ltext0 # Location list begin address (*.LLST12) + .long .LVL31-.Ltext0 # Location list end address (*.LLST12) + .value 0x8 # Location expression size .byte 0x53 # DW_OP_reg3 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .byte 0x56 # DW_OP_reg6 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .long .LVL31-.Ltext0 # Location list begin address (*.LLST12) + .long .LVL32-.Ltext0 # Location list end address (*.LLST12) + .value 0x7 # Location expression size + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .byte 0x56 # DW_OP_reg6 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 + .byte 0x93 # DW_OP_piece + .uleb128 0x4 .long 0 # Location list terminator begin (*.LLST12) .long 0 # Location list terminator end (*.LLST12) +.LLST13: + .long .LFB7-.Ltext0 # Location list begin address (*.LLST13) + .long .LCFI45-.Ltext0 # Location list end address (*.LLST13) + .value 0x2 # Location expression size + .byte 0x74 # DW_OP_breg4 + .sleb128 4 + .long .LCFI45-.Ltext0 # Location list begin address (*.LLST13) + .long .LCFI46-.Ltext0 # Location list end address (*.LLST13) + .value 0x2 # Location expression size + .byte 0x74 # DW_OP_breg4 + .sleb128 8 + .long .LCFI46-.Ltext0 # Location list begin address (*.LLST13) + .long .LCFI50-.Ltext0 # Location list end address (*.LLST13) + .value 0x2 # Location expression size + .byte 0x75 # DW_OP_breg5 + .sleb128 8 + .long .LCFI50-.Ltext0 # Location list begin address (*.LLST13) + .long .LFE7-.Ltext0 # Location list end address (*.LLST13) + .value 0x2 # Location expression size + .byte 0x74 # DW_OP_breg4 + .sleb128 4 + .long 0 # Location list terminator begin (*.LLST13) + .long 0 # Location list terminator end (*.LLST13) +.LLST14: + .long .LVL33-.Ltext0 # Location list begin address (*.LLST14) + .long .LVL34-.Ltext0 # Location list end address (*.LLST14) + .value 0x1 # Location expression size + .byte 0x53 # DW_OP_reg3 + .long 0 # Location list terminator begin (*.LLST14) + .long 0 # Location list terminator end (*.LLST14) .section .debug_info - .long 0x1e3 # Length of Compilation Unit Info + .long 0x252 # Length of Compilation Unit Info .value 0x2 # DWARF version number .long .Ldebug_abbrev0 # Offset Into Abbrev. Section .byte 0x4 # Pointer Size (in bytes) @@ -1212,182 +1372,245 @@ main: .byte 0x23 # DW_OP_plus_uconst .uleb128 0 .byte 0 # end of children of DIE 0x4f - .uleb128 0x6 # (DIE (0x78) DW_TAG_subprogram) + .uleb128 0x2 # (DIE (0x78) DW_TAG_structure_type) + .ascii "C\0" # DW_AT_name + .byte 0xc # DW_AT_byte_size + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x19 # DW_AT_decl_line + .long 0xa7 # DW_AT_sibling + .uleb128 0x3 # (DIE (0x82) DW_TAG_member) + .ascii "i\0" # DW_AT_name + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x19 # DW_AT_decl_line + .long 0x48 # DW_AT_type + .byte 0x2 # DW_AT_data_member_location + .byte 0x23 # DW_OP_plus_uconst + .uleb128 0 + .uleb128 0x3 # (DIE (0x8e) DW_TAG_member) + .ascii "j\0" # DW_AT_name + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x19 # DW_AT_decl_line + .long 0x48 # DW_AT_type + .byte 0x2 # DW_AT_data_member_location + .byte 0x23 # DW_OP_plus_uconst + .uleb128 0x4 + .uleb128 0x3 # (DIE (0x9a) DW_TAG_member) + .ascii "q\0" # DW_AT_name + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x19 # DW_AT_decl_line + .long 0x48 # DW_AT_type + .byte 0x2 # DW_AT_data_member_location + .byte 0x23 # DW_OP_plus_uconst + .uleb128 0x8 + .byte 0 # end of children of DIE 0x78 + .uleb128 0x6 # (DIE (0xa7) DW_TAG_subprogram) .byte 0x1 # DW_AT_external .ascii "bar\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x1b # DW_AT_decl_line + .byte 0x1c # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long .LFB0 # DW_AT_low_pc .long .LFE0 # DW_AT_high_pc .long .LLST0 # DW_AT_frame_base - .long 0x9e # DW_AT_sibling - .uleb128 0x7 # (DIE (0x91) DW_TAG_formal_parameter) + .long 0xcd # DW_AT_sibling + .uleb128 0x7 # (DIE (0xc0) DW_TAG_formal_parameter) .ascii "x\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x1b # DW_AT_decl_line + .byte 0x1c # DW_AT_decl_line .long 0x48 # DW_AT_type .byte 0x2 # DW_AT_location .byte 0x91 # DW_OP_fbreg .sleb128 0 - .byte 0 # end of children of DIE 0x78 - .uleb128 0x8 # (DIE (0x9e) DW_TAG_subprogram) + .byte 0 # end of children of DIE 0xa7 + .uleb128 0x8 # (DIE (0xcd) DW_TAG_subprogram) .byte 0x1 # DW_AT_external .ascii "f1\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x21 # DW_AT_decl_line + .byte 0x22 # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long 0x48 # DW_AT_type .long .LFB1 # DW_AT_low_pc .long .LFE1 # DW_AT_high_pc .long .LLST1 # DW_AT_frame_base - .long 0xd4 # DW_AT_sibling - .uleb128 0x7 # (DIE (0xba) DW_TAG_formal_parameter) + .long 0x103 # DW_AT_sibling + .uleb128 0x7 # (DIE (0xe9) DW_TAG_formal_parameter) .ascii "k\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x21 # DW_AT_decl_line + .byte 0x22 # DW_AT_decl_line .long 0x48 # DW_AT_type .byte 0x2 # DW_AT_location .byte 0x91 # DW_OP_fbreg .sleb128 0 - .uleb128 0x9 # (DIE (0xc6) DW_TAG_variable) + .uleb128 0x9 # (DIE (0xf5) DW_TAG_variable) .ascii "a\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x23 # DW_AT_decl_line + .byte 0x24 # DW_AT_decl_line .long 0x25 # DW_AT_type .long .LLST2 # DW_AT_location - .byte 0 # end of children of DIE 0x9e - .uleb128 0x8 # (DIE (0xd4) DW_TAG_subprogram) + .byte 0 # end of children of DIE 0xcd + .uleb128 0x8 # (DIE (0x103) DW_TAG_subprogram) .byte 0x1 # DW_AT_external .ascii "f2\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x2c # DW_AT_decl_line + .byte 0x2d # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long 0x48 # DW_AT_type .long .LFB2 # DW_AT_low_pc .long .LFE2 # DW_AT_high_pc .long .LLST3 # DW_AT_frame_base - .long 0x10a # DW_AT_sibling - .uleb128 0x7 # (DIE (0xf0) DW_TAG_formal_parameter) + .long 0x139 # DW_AT_sibling + .uleb128 0x7 # (DIE (0x11f) DW_TAG_formal_parameter) .ascii "k\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x2c # DW_AT_decl_line + .byte 0x2d # DW_AT_decl_line .long 0x48 # DW_AT_type .byte 0x2 # DW_AT_location .byte 0x91 # DW_OP_fbreg .sleb128 0 - .uleb128 0x9 # (DIE (0xfc) DW_TAG_variable) + .uleb128 0x9 # (DIE (0x12b) DW_TAG_variable) .ascii "a\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x2e # DW_AT_decl_line - .long 0x10a # DW_AT_type + .byte 0x2f # DW_AT_decl_line + .long 0x139 # DW_AT_type .long .LLST4 # DW_AT_location - .byte 0 # end of children of DIE 0xd4 - .uleb128 0xa # (DIE (0x10a) DW_TAG_array_type) + .byte 0 # end of children of DIE 0x103 + .uleb128 0xa # (DIE (0x139) DW_TAG_array_type) .long 0x48 # DW_AT_type - .long 0x11a # DW_AT_sibling - .uleb128 0xb # (DIE (0x113) DW_TAG_subrange_type) - .long 0x11a # DW_AT_type + .long 0x149 # DW_AT_sibling + .uleb128 0xb # (DIE (0x142) DW_TAG_subrange_type) + .long 0x149 # DW_AT_type .byte 0x1 # DW_AT_upper_bound - .byte 0 # end of children of DIE 0x10a - .uleb128 0xc # (DIE (0x11a) DW_TAG_base_type) + .byte 0 # end of children of DIE 0x139 + .uleb128 0xc # (DIE (0x149) DW_TAG_base_type) .byte 0x4 # DW_AT_byte_size .byte 0x7 # DW_AT_encoding - .uleb128 0x8 # (DIE (0x11d) DW_TAG_subprogram) + .uleb128 0x8 # (DIE (0x14c) DW_TAG_subprogram) .byte 0x1 # DW_AT_external .ascii "f3\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x37 # DW_AT_decl_line + .byte 0x38 # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long 0x48 # DW_AT_type .long .LFB3 # DW_AT_low_pc .long .LFE3 # DW_AT_high_pc .long .LLST5 # DW_AT_frame_base - .long 0x153 # DW_AT_sibling - .uleb128 0x7 # (DIE (0x139) DW_TAG_formal_parameter) + .long 0x182 # DW_AT_sibling + .uleb128 0x7 # (DIE (0x168) DW_TAG_formal_parameter) .ascii "k\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x37 # DW_AT_decl_line + .byte 0x38 # DW_AT_decl_line .long 0x48 # DW_AT_type .byte 0x2 # DW_AT_location .byte 0x91 # DW_OP_fbreg .sleb128 0 - .uleb128 0x9 # (DIE (0x145) DW_TAG_variable) + .uleb128 0x9 # (DIE (0x174) DW_TAG_variable) .ascii "a\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x39 # DW_AT_decl_line + .byte 0x3a # DW_AT_decl_line .long 0x4f # DW_AT_type .long .LLST6 # DW_AT_location - .byte 0 # end of children of DIE 0x11d - .uleb128 0x8 # (DIE (0x153) DW_TAG_subprogram) + .byte 0 # end of children of DIE 0x14c + .uleb128 0x8 # (DIE (0x182) DW_TAG_subprogram) .byte 0x1 # DW_AT_external .ascii "f4\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x42 # DW_AT_decl_line + .byte 0x43 # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long 0x48 # DW_AT_type .long .LFB4 # DW_AT_low_pc .long .LFE4 # DW_AT_high_pc .long .LLST7 # DW_AT_frame_base - .long 0x189 # DW_AT_sibling - .uleb128 0x7 # (DIE (0x16f) DW_TAG_formal_parameter) + .long 0x1b8 # DW_AT_sibling + .uleb128 0x7 # (DIE (0x19e) DW_TAG_formal_parameter) .ascii "k\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x42 # DW_AT_decl_line + .byte 0x43 # DW_AT_decl_line .long 0x48 # DW_AT_type .byte 0x2 # DW_AT_location .byte 0x91 # DW_OP_fbreg .sleb128 0 - .uleb128 0x9 # (DIE (0x17b) DW_TAG_variable) + .uleb128 0x9 # (DIE (0x1aa) DW_TAG_variable) .ascii "a\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x44 # DW_AT_decl_line - .long 0x10a # DW_AT_type + .byte 0x45 # DW_AT_decl_line + .long 0x139 # DW_AT_type .long .LLST8 # DW_AT_location - .byte 0 # end of children of DIE 0x153 - .uleb128 0x8 # (DIE (0x189) DW_TAG_subprogram) + .byte 0 # end of children of DIE 0x182 + .uleb128 0x8 # (DIE (0x1b8) DW_TAG_subprogram) .byte 0x1 # DW_AT_external .ascii "f5\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x4d # DW_AT_decl_line + .byte 0x4e # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long 0x48 # DW_AT_type .long .LFB5 # DW_AT_low_pc .long .LFE5 # DW_AT_high_pc .long .LLST9 # DW_AT_frame_base - .long 0x1bf # DW_AT_sibling - .uleb128 0x7 # (DIE (0x1a5) DW_TAG_formal_parameter) + .long 0x1ee # DW_AT_sibling + .uleb128 0x7 # (DIE (0x1d4) DW_TAG_formal_parameter) .ascii "k\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x4d # DW_AT_decl_line + .byte 0x4e # DW_AT_decl_line .long 0x48 # DW_AT_type .byte 0x2 # DW_AT_location .byte 0x91 # DW_OP_fbreg .sleb128 0 - .uleb128 0x9 # (DIE (0x1b1) DW_TAG_variable) + .uleb128 0x9 # (DIE (0x1e0) DW_TAG_variable) .ascii "a\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x4f # DW_AT_decl_line + .byte 0x50 # DW_AT_decl_line .long 0x25 # DW_AT_type .long .LLST10 # DW_AT_location - .byte 0 # end of children of DIE 0x189 - .uleb128 0xd # (DIE (0x1bf) DW_TAG_subprogram) + .byte 0 # end of children of DIE 0x1b8 + .uleb128 0x8 # (DIE (0x1ee) DW_TAG_subprogram) .byte 0x1 # DW_AT_external - .long .LASF0 # DW_AT_name: "main" + .ascii "f6\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x58 # DW_AT_decl_line + .byte 0x59 # DW_AT_decl_line .byte 0x1 # DW_AT_prototyped .long 0x48 # DW_AT_type .long .LFB6 # DW_AT_low_pc .long .LFE6 # DW_AT_high_pc .long .LLST11 # DW_AT_frame_base - .uleb128 0x9 # (DIE (0x1d8) DW_TAG_variable) + .long 0x22e # DW_AT_sibling + .uleb128 0x7 # (DIE (0x20a) DW_TAG_formal_parameter) .ascii "k\0" # DW_AT_name .byte 0x1 # DW_AT_decl_file (pieces.c) - .byte 0x5a # DW_AT_decl_line + .byte 0x59 # DW_AT_decl_line .long 0x48 # DW_AT_type + .byte 0x2 # DW_AT_location + .byte 0x91 # DW_OP_fbreg + .sleb128 0 + .uleb128 0xd # (DIE (0x216) DW_TAG_variable) + .ascii "z\0" # DW_AT_name + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x5b # DW_AT_decl_line + .long 0x48 # DW_AT_type + .byte 0x17 # DW_AT_const_value + .uleb128 0x9 # (DIE (0x220) DW_TAG_variable) + .ascii "a\0" # DW_AT_name + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x5c # DW_AT_decl_line + .long 0x78 # DW_AT_type .long .LLST12 # DW_AT_location - .byte 0 # end of children of DIE 0x1bf + .byte 0 # end of children of DIE 0x1ee + .uleb128 0xe # (DIE (0x22e) DW_TAG_subprogram) + .byte 0x1 # DW_AT_external + .long .LASF0 # DW_AT_name: "main" + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x65 # DW_AT_decl_line + .byte 0x1 # DW_AT_prototyped + .long 0x48 # DW_AT_type + .long .LFB7 # DW_AT_low_pc + .long .LFE7 # DW_AT_high_pc + .long .LLST13 # DW_AT_frame_base + .uleb128 0x9 # (DIE (0x247) DW_TAG_variable) + .ascii "k\0" # DW_AT_name + .byte 0x1 # DW_AT_decl_file (pieces.c) + .byte 0x67 # DW_AT_decl_line + .long 0x48 # DW_AT_type + .long .LLST14 # DW_AT_location + .byte 0 # end of children of DIE 0x22e .byte 0 # end of children of DIE 0xb .section .debug_abbrev .uleb128 0x1 # (abbrev code) @@ -1577,6 +1800,21 @@ main: .byte 0 .byte 0 .uleb128 0xd # (abbrev code) + .uleb128 0x34 # (TAG: DW_TAG_variable) + .byte 0 # DW_children_no + .uleb128 0x3 # (DW_AT_name) + .uleb128 0x8 # (DW_FORM_string) + .uleb128 0x3a # (DW_AT_decl_file) + .uleb128 0xb # (DW_FORM_data1) + .uleb128 0x3b # (DW_AT_decl_line) + .uleb128 0xb # (DW_FORM_data1) + .uleb128 0x49 # (DW_AT_type) + .uleb128 0x13 # (DW_FORM_ref4) + .uleb128 0x1c # (DW_AT_const_value) + .uleb128 0xb # (DW_FORM_data1) + .byte 0 + .byte 0 + .uleb128 0xe # (abbrev code) .uleb128 0x2e # (TAG: DW_TAG_subprogram) .byte 0x1 # DW_children_yes .uleb128 0x3f # (DW_AT_external) @@ -1601,34 +1839,38 @@ main: .byte 0 .byte 0 .section .debug_pubnames,"",@progbits - .long 0x42 # Length of Public Names Info + .long 0x49 # Length of Public Names Info .value 0x2 # DWARF Version .long .Ldebug_info0 # Offset of Compilation Unit Info - .long 0x1e7 # Compilation Unit Length - .long 0x78 # DIE offset + .long 0x256 # Compilation Unit Length + .long 0xa7 # DIE offset .ascii "bar\0" # external name - .long 0x9e # DIE offset + .long 0xcd # DIE offset .ascii "f1\0" # external name - .long 0xd4 # DIE offset + .long 0x103 # DIE offset .ascii "f2\0" # external name - .long 0x11d # DIE offset + .long 0x14c # DIE offset .ascii "f3\0" # external name - .long 0x153 # DIE offset + .long 0x182 # DIE offset .ascii "f4\0" # external name - .long 0x189 # DIE offset + .long 0x1b8 # DIE offset .ascii "f5\0" # external name - .long 0x1bf # DIE offset + .long 0x1ee # DIE offset + .ascii "f6\0" # external name + .long 0x22e # DIE offset .ascii "main\0" # external name .long 0 .section .debug_pubtypes,"",@progbits - .long 0x1a # Length of Public Type Names Info + .long 0x20 # Length of Public Type Names Info .value 0x2 # DWARF Version .long .Ldebug_info0 # Offset of Compilation Unit Info - .long 0x1e7 # Compilation Unit Length + .long 0x256 # Compilation Unit Length .long 0x25 # DIE offset .ascii "A\0" # external name .long 0x4f # DIE offset .ascii "B\0" # external name + .long 0x78 # DIE offset + .ascii "C\0" # external name .long 0 .section .debug_aranges,"",@progbits .long 0x1c # Length of Address Ranges Info diff --git a/gdb/testsuite/gdb.dwarf2/pieces.c b/gdb/testsuite/gdb.dwarf2/pieces.c index 49028b0..04ea8a2 100644 --- a/gdb/testsuite/gdb.dwarf2/pieces.c +++ b/gdb/testsuite/gdb.dwarf2/pieces.c @@ -22,6 +22,7 @@ struct A { int i; int j; }; struct B { int : 4; int i : 12; int j : 12; int : 4; }; +struct C { int i; int j; int q; }; __attribute__((noinline)) void bar (int x) @@ -84,6 +85,18 @@ f5 (int k) return a.i + a.j; /* f5 breakpoint */ } +__attribute__((noinline)) int +f6 (int k) +{ + int z = 23; + struct C a = { k, k, z}; + asm ("" : "+r" (a.i)); + a.j++; + bar (a.i); + bar (a.j); + return a.i + a.j; /* f6 breakpoint */ +} + int main (void) { @@ -94,5 +107,6 @@ main (void) f3 (k); f4 (k); f5 (k); + f6 (k); return 0; } diff --git a/gdb/testsuite/gdb.dwarf2/pieces.exp b/gdb/testsuite/gdb.dwarf2/pieces.exp index 3515586..c7608cd 100644 --- a/gdb/testsuite/gdb.dwarf2/pieces.exp +++ b/gdb/testsuite/gdb.dwarf2/pieces.exp @@ -67,5 +67,28 @@ proc pieces_test_f2 {} { gdb_test "print a\[1\]" " = 14" "print a\[1\] in pieces:f2" } +# Function f6 tests for an empty DW_OP_piece. +proc pieces_test_f6 {} { + global csrcfile + set line [gdb_get_line_number "f6 breakpoint" $csrcfile] + gdb_test "break pieces.c:$line" "Breakpoint 4.*" \ + "set f6 breakpoint for pieces" + gdb_continue_to_breakpoint "continue to f6 breakpoint for pieces" + gdb_test "print a" \ + "warning: bytes .* in computed object were.* = {i = 7, j = 8, q = 0}" \ + "print a with optimized out piece" + # Note: no warning for this case. + gdb_test_multiple "print a.i" \ + "print a.i with optimized out piece" { + -re "warning: some bits in computed object" { + fail "print a.i with optimized out piece" + } + -re " = 7" { + pass "print a.i with optimized out piece" + } + } +} + pieces_test_f1 pieces_test_f2 +pieces_test_f6 -- cgit v1.1