Refactor arm_return_in_memory
[external/binutils.git] / gdb / dwarf2loc.c
1 /* DWARF 2 location expression support for GDB.
2
3    Copyright (C) 2003-2015 Free Software Foundation, Inc.
4
5    Contributed by Daniel Jacobowitz, MontaVista Software, Inc.
6
7    This file is part of GDB.
8
9    This program is free software; you can redistribute it and/or modify
10    it under the terms of the GNU General Public License as published by
11    the Free Software Foundation; either version 3 of the License, or
12    (at your option) any later version.
13
14    This program is distributed in the hope that it will be useful,
15    but WITHOUT ANY WARRANTY; without even the implied warranty of
16    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17    GNU General Public License for more details.
18
19    You should have received a copy of the GNU General Public License
20    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
21
22 #include "defs.h"
23 #include "ui-out.h"
24 #include "value.h"
25 #include "frame.h"
26 #include "gdbcore.h"
27 #include "target.h"
28 #include "inferior.h"
29 #include "ax.h"
30 #include "ax-gdb.h"
31 #include "regcache.h"
32 #include "objfiles.h"
33 #include "block.h"
34 #include "gdbcmd.h"
35 #include "complaints.h"
36 #include "dwarf2.h"
37 #include "dwarf2expr.h"
38 #include "dwarf2loc.h"
39 #include "dwarf2-frame.h"
40 #include "compile/compile.h"
41
42 extern int dwarf_always_disassemble;
43
44 extern const struct dwarf_expr_context_funcs dwarf_expr_ctx_funcs;
45
46 static struct value *dwarf2_evaluate_loc_desc_full (struct type *type,
47                                                     struct frame_info *frame,
48                                                     const gdb_byte *data,
49                                                     size_t size,
50                                                     struct dwarf2_per_cu_data *per_cu,
51                                                     LONGEST byte_offset);
52
53 /* Until these have formal names, we define these here.
54    ref: http://gcc.gnu.org/wiki/DebugFission
55    Each entry in .debug_loc.dwo begins with a byte that describes the entry,
56    and is then followed by data specific to that entry.  */
57
58 enum debug_loc_kind
59 {
60   /* Indicates the end of the list of entries.  */
61   DEBUG_LOC_END_OF_LIST = 0,
62
63   /* This is followed by an unsigned LEB128 number that is an index into
64      .debug_addr and specifies the base address for all following entries.  */
65   DEBUG_LOC_BASE_ADDRESS = 1,
66
67   /* This is followed by two unsigned LEB128 numbers that are indices into
68      .debug_addr and specify the beginning and ending addresses, and then
69      a normal location expression as in .debug_loc.  */
70   DEBUG_LOC_START_END = 2,
71
72   /* This is followed by an unsigned LEB128 number that is an index into
73      .debug_addr and specifies the beginning address, and a 4 byte unsigned
74      number that specifies the length, and then a normal location expression
75      as in .debug_loc.  */
76   DEBUG_LOC_START_LENGTH = 3,
77
78   /* An internal value indicating there is insufficient data.  */
79   DEBUG_LOC_BUFFER_OVERFLOW = -1,
80
81   /* An internal value indicating an invalid kind of entry was found.  */
82   DEBUG_LOC_INVALID_ENTRY = -2
83 };
84
85 /* Helper function which throws an error if a synthetic pointer is
86    invalid.  */
87
88 static void
89 invalid_synthetic_pointer (void)
90 {
91   error (_("access outside bounds of object "
92            "referenced via synthetic pointer"));
93 }
94
95 /* Decode the addresses in a non-dwo .debug_loc entry.
96    A pointer to the next byte to examine is returned in *NEW_PTR.
97    The encoded low,high addresses are return in *LOW,*HIGH.
98    The result indicates the kind of entry found.  */
99
100 static enum debug_loc_kind
101 decode_debug_loc_addresses (const gdb_byte *loc_ptr, const gdb_byte *buf_end,
102                             const gdb_byte **new_ptr,
103                             CORE_ADDR *low, CORE_ADDR *high,
104                             enum bfd_endian byte_order,
105                             unsigned int addr_size,
106                             int signed_addr_p)
107 {
108   CORE_ADDR base_mask = ~(~(CORE_ADDR)1 << (addr_size * 8 - 1));
109
110   if (buf_end - loc_ptr < 2 * addr_size)
111     return DEBUG_LOC_BUFFER_OVERFLOW;
112
113   if (signed_addr_p)
114     *low = extract_signed_integer (loc_ptr, addr_size, byte_order);
115   else
116     *low = extract_unsigned_integer (loc_ptr, addr_size, byte_order);
117   loc_ptr += addr_size;
118
119   if (signed_addr_p)
120     *high = extract_signed_integer (loc_ptr, addr_size, byte_order);
121   else
122     *high = extract_unsigned_integer (loc_ptr, addr_size, byte_order);
123   loc_ptr += addr_size;
124
125   *new_ptr = loc_ptr;
126
127   /* A base-address-selection entry.  */
128   if ((*low & base_mask) == base_mask)
129     return DEBUG_LOC_BASE_ADDRESS;
130
131   /* An end-of-list entry.  */
132   if (*low == 0 && *high == 0)
133     return DEBUG_LOC_END_OF_LIST;
134
135   return DEBUG_LOC_START_END;
136 }
137
138 /* Decode the addresses in .debug_loc.dwo entry.
139    A pointer to the next byte to examine is returned in *NEW_PTR.
140    The encoded low,high addresses are return in *LOW,*HIGH.
141    The result indicates the kind of entry found.  */
142
143 static enum debug_loc_kind
144 decode_debug_loc_dwo_addresses (struct dwarf2_per_cu_data *per_cu,
145                                 const gdb_byte *loc_ptr,
146                                 const gdb_byte *buf_end,
147                                 const gdb_byte **new_ptr,
148                                 CORE_ADDR *low, CORE_ADDR *high,
149                                 enum bfd_endian byte_order)
150 {
151   uint64_t low_index, high_index;
152
153   if (loc_ptr == buf_end)
154     return DEBUG_LOC_BUFFER_OVERFLOW;
155
156   switch (*loc_ptr++)
157     {
158     case DEBUG_LOC_END_OF_LIST:
159       *new_ptr = loc_ptr;
160       return DEBUG_LOC_END_OF_LIST;
161     case DEBUG_LOC_BASE_ADDRESS:
162       *low = 0;
163       loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &high_index);
164       if (loc_ptr == NULL)
165         return DEBUG_LOC_BUFFER_OVERFLOW;
166       *high = dwarf2_read_addr_index (per_cu, high_index);
167       *new_ptr = loc_ptr;
168       return DEBUG_LOC_BASE_ADDRESS;
169     case DEBUG_LOC_START_END:
170       loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &low_index);
171       if (loc_ptr == NULL)
172         return DEBUG_LOC_BUFFER_OVERFLOW;
173       *low = dwarf2_read_addr_index (per_cu, low_index);
174       loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &high_index);
175       if (loc_ptr == NULL)
176         return DEBUG_LOC_BUFFER_OVERFLOW;
177       *high = dwarf2_read_addr_index (per_cu, high_index);
178       *new_ptr = loc_ptr;
179       return DEBUG_LOC_START_END;
180     case DEBUG_LOC_START_LENGTH:
181       loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &low_index);
182       if (loc_ptr == NULL)
183         return DEBUG_LOC_BUFFER_OVERFLOW;
184       *low = dwarf2_read_addr_index (per_cu, low_index);
185       if (loc_ptr + 4 > buf_end)
186         return DEBUG_LOC_BUFFER_OVERFLOW;
187       *high = *low;
188       *high += extract_unsigned_integer (loc_ptr, 4, byte_order);
189       *new_ptr = loc_ptr + 4;
190       return DEBUG_LOC_START_LENGTH;
191     default:
192       return DEBUG_LOC_INVALID_ENTRY;
193     }
194 }
195
196 /* A function for dealing with location lists.  Given a
197    symbol baton (BATON) and a pc value (PC), find the appropriate
198    location expression, set *LOCEXPR_LENGTH, and return a pointer
199    to the beginning of the expression.  Returns NULL on failure.
200
201    For now, only return the first matching location expression; there
202    can be more than one in the list.  */
203
204 const gdb_byte *
205 dwarf2_find_location_expression (struct dwarf2_loclist_baton *baton,
206                                  size_t *locexpr_length, CORE_ADDR pc)
207 {
208   struct objfile *objfile = dwarf2_per_cu_objfile (baton->per_cu);
209   struct gdbarch *gdbarch = get_objfile_arch (objfile);
210   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
211   unsigned int addr_size = dwarf2_per_cu_addr_size (baton->per_cu);
212   int signed_addr_p = bfd_get_sign_extend_vma (objfile->obfd);
213   /* Adjust base_address for relocatable objects.  */
214   CORE_ADDR base_offset = dwarf2_per_cu_text_offset (baton->per_cu);
215   CORE_ADDR base_address = baton->base_address + base_offset;
216   const gdb_byte *loc_ptr, *buf_end;
217
218   loc_ptr = baton->data;
219   buf_end = baton->data + baton->size;
220
221   while (1)
222     {
223       CORE_ADDR low = 0, high = 0; /* init for gcc -Wall */
224       int length;
225       enum debug_loc_kind kind;
226       const gdb_byte *new_ptr = NULL; /* init for gcc -Wall */
227
228       if (baton->from_dwo)
229         kind = decode_debug_loc_dwo_addresses (baton->per_cu,
230                                                loc_ptr, buf_end, &new_ptr,
231                                                &low, &high, byte_order);
232       else
233         kind = decode_debug_loc_addresses (loc_ptr, buf_end, &new_ptr,
234                                            &low, &high,
235                                            byte_order, addr_size,
236                                            signed_addr_p);
237       loc_ptr = new_ptr;
238       switch (kind)
239         {
240         case DEBUG_LOC_END_OF_LIST:
241           *locexpr_length = 0;
242           return NULL;
243         case DEBUG_LOC_BASE_ADDRESS:
244           base_address = high + base_offset;
245           continue;
246         case DEBUG_LOC_START_END:
247         case DEBUG_LOC_START_LENGTH:
248           break;
249         case DEBUG_LOC_BUFFER_OVERFLOW:
250         case DEBUG_LOC_INVALID_ENTRY:
251           error (_("dwarf2_find_location_expression: "
252                    "Corrupted DWARF expression."));
253         default:
254           gdb_assert_not_reached ("bad debug_loc_kind");
255         }
256
257       /* Otherwise, a location expression entry.
258          If the entry is from a DWO, don't add base address: the entry is
259          from .debug_addr which has absolute addresses.  */
260       if (! baton->from_dwo)
261         {
262           low += base_address;
263           high += base_address;
264         }
265
266       length = extract_unsigned_integer (loc_ptr, 2, byte_order);
267       loc_ptr += 2;
268
269       if (low == high && pc == low)
270         {
271           /* This is entry PC record present only at entry point
272              of a function.  Verify it is really the function entry point.  */
273
274           const struct block *pc_block = block_for_pc (pc);
275           struct symbol *pc_func = NULL;
276
277           if (pc_block)
278             pc_func = block_linkage_function (pc_block);
279
280           if (pc_func && pc == BLOCK_START (SYMBOL_BLOCK_VALUE (pc_func)))
281             {
282               *locexpr_length = length;
283               return loc_ptr;
284             }
285         }
286
287       if (pc >= low && pc < high)
288         {
289           *locexpr_length = length;
290           return loc_ptr;
291         }
292
293       loc_ptr += length;
294     }
295 }
296
297 /* This is the baton used when performing dwarf2 expression
298    evaluation.  */
299 struct dwarf_expr_baton
300 {
301   struct frame_info *frame;
302   struct dwarf2_per_cu_data *per_cu;
303   CORE_ADDR obj_address;
304 };
305
306 /* Helper functions for dwarf2_evaluate_loc_desc.  */
307
308 /* Using the frame specified in BATON, return the value of register
309    REGNUM, treated as a pointer.  */
310 static CORE_ADDR
311 dwarf_expr_read_addr_from_reg (void *baton, int dwarf_regnum)
312 {
313   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
314   struct gdbarch *gdbarch = get_frame_arch (debaton->frame);
315   int regnum = dwarf_reg_to_regnum_or_error (gdbarch, dwarf_regnum);
316
317   return address_from_register (regnum, debaton->frame);
318 }
319
320 /* Implement struct dwarf_expr_context_funcs' "get_reg_value" callback.  */
321
322 static struct value *
323 dwarf_expr_get_reg_value (void *baton, struct type *type, int dwarf_regnum)
324 {
325   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
326   struct gdbarch *gdbarch = get_frame_arch (debaton->frame);
327   int regnum = dwarf_reg_to_regnum_or_error (gdbarch, dwarf_regnum);
328
329   return value_from_register (type, regnum, debaton->frame);
330 }
331
332 /* Read memory at ADDR (length LEN) into BUF.  */
333
334 static void
335 dwarf_expr_read_mem (void *baton, gdb_byte *buf, CORE_ADDR addr, size_t len)
336 {
337   read_memory (addr, buf, len);
338 }
339
340 /* Using the frame specified in BATON, find the location expression
341    describing the frame base.  Return a pointer to it in START and
342    its length in LENGTH.  */
343 static void
344 dwarf_expr_frame_base (void *baton, const gdb_byte **start, size_t * length)
345 {
346   /* FIXME: cagney/2003-03-26: This code should be using
347      get_frame_base_address(), and then implement a dwarf2 specific
348      this_base method.  */
349   struct symbol *framefunc;
350   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
351   const struct block *bl = get_frame_block (debaton->frame, NULL);
352
353   if (bl == NULL)
354     error (_("frame address is not available."));
355
356   /* Use block_linkage_function, which returns a real (not inlined)
357      function, instead of get_frame_function, which may return an
358      inlined function.  */
359   framefunc = block_linkage_function (bl);
360
361   /* If we found a frame-relative symbol then it was certainly within
362      some function associated with a frame. If we can't find the frame,
363      something has gone wrong.  */
364   gdb_assert (framefunc != NULL);
365
366   func_get_frame_base_dwarf_block (framefunc,
367                                    get_frame_address_in_block (debaton->frame),
368                                    start, length);
369 }
370
371 /* Implement find_frame_base_location method for LOC_BLOCK functions using
372    DWARF expression for its DW_AT_frame_base.  */
373
374 static void
375 locexpr_find_frame_base_location (struct symbol *framefunc, CORE_ADDR pc,
376                                   const gdb_byte **start, size_t *length)
377 {
378   struct dwarf2_locexpr_baton *symbaton
379     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (framefunc);
380
381   *length = symbaton->size;
382   *start = symbaton->data;
383 }
384
385 /* Implement the struct symbol_block_ops::get_frame_base method for
386    LOC_BLOCK functions using a DWARF expression as its DW_AT_frame_base.  */
387
388 static CORE_ADDR
389 locexpr_get_frame_base (struct symbol *framefunc, struct frame_info *frame)
390 {
391   struct gdbarch *gdbarch;
392   struct type *type;
393   struct dwarf2_locexpr_baton *dlbaton;
394   const gdb_byte *start;
395   size_t length;
396   struct value *result;
397
398   /* If this method is called, then FRAMEFUNC is supposed to be a DWARF block.
399      Thus, it's supposed to provide the find_frame_base_location method as
400      well.  */
401   gdb_assert (SYMBOL_BLOCK_OPS (framefunc)->find_frame_base_location != NULL);
402
403   gdbarch = get_frame_arch (frame);
404   type = builtin_type (gdbarch)->builtin_data_ptr;
405   dlbaton = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (framefunc);
406
407   SYMBOL_BLOCK_OPS (framefunc)->find_frame_base_location
408     (framefunc, get_frame_pc (frame), &start, &length);
409   result = dwarf2_evaluate_loc_desc (type, frame, start, length,
410                                      dlbaton->per_cu);
411
412   /* The DW_AT_frame_base attribute contains a location description which
413      computes the base address itself.  However, the call to
414      dwarf2_evaluate_loc_desc returns a value representing a variable at
415      that address.  The frame base address is thus this variable's
416      address.  */
417   return value_address (result);
418 }
419
420 /* Vector for inferior functions as represented by LOC_BLOCK, if the inferior
421    function uses DWARF expression for its DW_AT_frame_base.  */
422
423 const struct symbol_block_ops dwarf2_block_frame_base_locexpr_funcs =
424 {
425   locexpr_find_frame_base_location,
426   locexpr_get_frame_base
427 };
428
429 /* Implement find_frame_base_location method for LOC_BLOCK functions using
430    DWARF location list for its DW_AT_frame_base.  */
431
432 static void
433 loclist_find_frame_base_location (struct symbol *framefunc, CORE_ADDR pc,
434                                   const gdb_byte **start, size_t *length)
435 {
436   struct dwarf2_loclist_baton *symbaton
437     = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (framefunc);
438
439   *start = dwarf2_find_location_expression (symbaton, length, pc);
440 }
441
442 /* Implement the struct symbol_block_ops::get_frame_base method for
443    LOC_BLOCK functions using a DWARF location list as its DW_AT_frame_base.  */
444
445 static CORE_ADDR
446 loclist_get_frame_base (struct symbol *framefunc, struct frame_info *frame)
447 {
448   struct gdbarch *gdbarch;
449   struct type *type;
450   struct dwarf2_loclist_baton *dlbaton;
451   const gdb_byte *start;
452   size_t length;
453   struct value *result;
454
455   /* If this method is called, then FRAMEFUNC is supposed to be a DWARF block.
456      Thus, it's supposed to provide the find_frame_base_location method as
457      well.  */
458   gdb_assert (SYMBOL_BLOCK_OPS (framefunc)->find_frame_base_location != NULL);
459
460   gdbarch = get_frame_arch (frame);
461   type = builtin_type (gdbarch)->builtin_data_ptr;
462   dlbaton = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (framefunc);
463
464   SYMBOL_BLOCK_OPS (framefunc)->find_frame_base_location
465     (framefunc, get_frame_pc (frame), &start, &length);
466   result = dwarf2_evaluate_loc_desc (type, frame, start, length,
467                                      dlbaton->per_cu);
468
469   /* The DW_AT_frame_base attribute contains a location description which
470      computes the base address itself.  However, the call to
471      dwarf2_evaluate_loc_desc returns a value representing a variable at
472      that address.  The frame base address is thus this variable's
473      address.  */
474   return value_address (result);
475 }
476
477 /* Vector for inferior functions as represented by LOC_BLOCK, if the inferior
478    function uses DWARF location list for its DW_AT_frame_base.  */
479
480 const struct symbol_block_ops dwarf2_block_frame_base_loclist_funcs =
481 {
482   loclist_find_frame_base_location,
483   loclist_get_frame_base
484 };
485
486 /* See dwarf2loc.h.  */
487
488 void
489 func_get_frame_base_dwarf_block (struct symbol *framefunc, CORE_ADDR pc,
490                                  const gdb_byte **start, size_t *length)
491 {
492   if (SYMBOL_BLOCK_OPS (framefunc) != NULL)
493     {
494       const struct symbol_block_ops *ops_block = SYMBOL_BLOCK_OPS (framefunc);
495
496       ops_block->find_frame_base_location (framefunc, pc, start, length);
497     }
498   else
499     *length = 0;
500
501   if (*length == 0)
502     error (_("Could not find the frame base for \"%s\"."),
503            SYMBOL_NATURAL_NAME (framefunc));
504 }
505
506 /* Helper function for dwarf2_evaluate_loc_desc.  Computes the CFA for
507    the frame in BATON.  */
508
509 static CORE_ADDR
510 dwarf_expr_frame_cfa (void *baton)
511 {
512   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
513
514   return dwarf2_frame_cfa (debaton->frame);
515 }
516
517 /* Helper function for dwarf2_evaluate_loc_desc.  Computes the PC for
518    the frame in BATON.  */
519
520 static CORE_ADDR
521 dwarf_expr_frame_pc (void *baton)
522 {
523   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
524
525   return get_frame_address_in_block (debaton->frame);
526 }
527
528 /* Using the objfile specified in BATON, find the address for the
529    current thread's thread-local storage with offset OFFSET.  */
530 static CORE_ADDR
531 dwarf_expr_tls_address (void *baton, CORE_ADDR offset)
532 {
533   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
534   struct objfile *objfile = dwarf2_per_cu_objfile (debaton->per_cu);
535
536   return target_translate_tls_address (objfile, offset);
537 }
538
539 /* Call DWARF subroutine from DW_AT_location of DIE at DIE_OFFSET in
540    current CU (as is PER_CU).  State of the CTX is not affected by the
541    call and return.  */
542
543 static void
544 per_cu_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset,
545                    struct dwarf2_per_cu_data *per_cu,
546                    CORE_ADDR (*get_frame_pc) (void *baton),
547                    void *baton)
548 {
549   struct dwarf2_locexpr_baton block;
550
551   block = dwarf2_fetch_die_loc_cu_off (die_offset, per_cu, get_frame_pc, baton);
552
553   /* DW_OP_call_ref is currently not supported.  */
554   gdb_assert (block.per_cu == per_cu);
555
556   dwarf_expr_eval (ctx, block.data, block.size);
557 }
558
559 /* Helper interface of per_cu_dwarf_call for dwarf2_evaluate_loc_desc.  */
560
561 static void
562 dwarf_expr_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset)
563 {
564   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) ctx->baton;
565
566   per_cu_dwarf_call (ctx, die_offset, debaton->per_cu,
567                      ctx->funcs->get_frame_pc, ctx->baton);
568 }
569
570 /* Callback function for dwarf2_evaluate_loc_desc.  */
571
572 static struct type *
573 dwarf_expr_get_base_type (struct dwarf_expr_context *ctx,
574                           cu_offset die_offset)
575 {
576   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) ctx->baton;
577
578   return dwarf2_get_die_type (die_offset, debaton->per_cu);
579 }
580
581 /* See dwarf2loc.h.  */
582
583 unsigned int entry_values_debug = 0;
584
585 /* Helper to set entry_values_debug.  */
586
587 static void
588 show_entry_values_debug (struct ui_file *file, int from_tty,
589                          struct cmd_list_element *c, const char *value)
590 {
591   fprintf_filtered (file,
592                     _("Entry values and tail call frames debugging is %s.\n"),
593                     value);
594 }
595
596 /* Find DW_TAG_GNU_call_site's DW_AT_GNU_call_site_target address.
597    CALLER_FRAME (for registers) can be NULL if it is not known.  This function
598    always returns valid address or it throws NO_ENTRY_VALUE_ERROR.  */
599
600 static CORE_ADDR
601 call_site_to_target_addr (struct gdbarch *call_site_gdbarch,
602                           struct call_site *call_site,
603                           struct frame_info *caller_frame)
604 {
605   switch (FIELD_LOC_KIND (call_site->target))
606     {
607     case FIELD_LOC_KIND_DWARF_BLOCK:
608       {
609         struct dwarf2_locexpr_baton *dwarf_block;
610         struct value *val;
611         struct type *caller_core_addr_type;
612         struct gdbarch *caller_arch;
613
614         dwarf_block = FIELD_DWARF_BLOCK (call_site->target);
615         if (dwarf_block == NULL)
616           {
617             struct bound_minimal_symbol msym;
618             
619             msym = lookup_minimal_symbol_by_pc (call_site->pc - 1);
620             throw_error (NO_ENTRY_VALUE_ERROR,
621                          _("DW_AT_GNU_call_site_target is not specified "
622                            "at %s in %s"),
623                          paddress (call_site_gdbarch, call_site->pc),
624                          (msym.minsym == NULL ? "???"
625                           : MSYMBOL_PRINT_NAME (msym.minsym)));
626                         
627           }
628         if (caller_frame == NULL)
629           {
630             struct bound_minimal_symbol msym;
631             
632             msym = lookup_minimal_symbol_by_pc (call_site->pc - 1);
633             throw_error (NO_ENTRY_VALUE_ERROR,
634                          _("DW_AT_GNU_call_site_target DWARF block resolving "
635                            "requires known frame which is currently not "
636                            "available at %s in %s"),
637                          paddress (call_site_gdbarch, call_site->pc),
638                          (msym.minsym == NULL ? "???"
639                           : MSYMBOL_PRINT_NAME (msym.minsym)));
640                         
641           }
642         caller_arch = get_frame_arch (caller_frame);
643         caller_core_addr_type = builtin_type (caller_arch)->builtin_func_ptr;
644         val = dwarf2_evaluate_loc_desc (caller_core_addr_type, caller_frame,
645                                         dwarf_block->data, dwarf_block->size,
646                                         dwarf_block->per_cu);
647         /* DW_AT_GNU_call_site_target is a DWARF expression, not a DWARF
648            location.  */
649         if (VALUE_LVAL (val) == lval_memory)
650           return value_address (val);
651         else
652           return value_as_address (val);
653       }
654
655     case FIELD_LOC_KIND_PHYSNAME:
656       {
657         const char *physname;
658         struct bound_minimal_symbol msym;
659
660         physname = FIELD_STATIC_PHYSNAME (call_site->target);
661
662         /* Handle both the mangled and demangled PHYSNAME.  */
663         msym = lookup_minimal_symbol (physname, NULL, NULL);
664         if (msym.minsym == NULL)
665           {
666             msym = lookup_minimal_symbol_by_pc (call_site->pc - 1);
667             throw_error (NO_ENTRY_VALUE_ERROR,
668                          _("Cannot find function \"%s\" for a call site target "
669                            "at %s in %s"),
670                          physname, paddress (call_site_gdbarch, call_site->pc),
671                          (msym.minsym == NULL ? "???"
672                           : MSYMBOL_PRINT_NAME (msym.minsym)));
673                         
674           }
675         return BMSYMBOL_VALUE_ADDRESS (msym);
676       }
677
678     case FIELD_LOC_KIND_PHYSADDR:
679       return FIELD_STATIC_PHYSADDR (call_site->target);
680
681     default:
682       internal_error (__FILE__, __LINE__, _("invalid call site target kind"));
683     }
684 }
685
686 /* Convert function entry point exact address ADDR to the function which is
687    compliant with TAIL_CALL_LIST_COMPLETE condition.  Throw
688    NO_ENTRY_VALUE_ERROR otherwise.  */
689
690 static struct symbol *
691 func_addr_to_tail_call_list (struct gdbarch *gdbarch, CORE_ADDR addr)
692 {
693   struct symbol *sym = find_pc_function (addr);
694   struct type *type;
695
696   if (sym == NULL || BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) != addr)
697     throw_error (NO_ENTRY_VALUE_ERROR,
698                  _("DW_TAG_GNU_call_site resolving failed to find function "
699                    "name for address %s"),
700                  paddress (gdbarch, addr));
701
702   type = SYMBOL_TYPE (sym);
703   gdb_assert (TYPE_CODE (type) == TYPE_CODE_FUNC);
704   gdb_assert (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_FUNC);
705
706   return sym;
707 }
708
709 /* Verify function with entry point exact address ADDR can never call itself
710    via its tail calls (incl. transitively).  Throw NO_ENTRY_VALUE_ERROR if it
711    can call itself via tail calls.
712
713    If a funtion can tail call itself its entry value based parameters are
714    unreliable.  There is no verification whether the value of some/all
715    parameters is unchanged through the self tail call, we expect if there is
716    a self tail call all the parameters can be modified.  */
717
718 static void
719 func_verify_no_selftailcall (struct gdbarch *gdbarch, CORE_ADDR verify_addr)
720 {
721   struct obstack addr_obstack;
722   struct cleanup *old_chain;
723   CORE_ADDR addr;
724
725   /* Track here CORE_ADDRs which were already visited.  */
726   htab_t addr_hash;
727
728   /* The verification is completely unordered.  Track here function addresses
729      which still need to be iterated.  */
730   VEC (CORE_ADDR) *todo = NULL;
731
732   obstack_init (&addr_obstack);
733   old_chain = make_cleanup_obstack_free (&addr_obstack);   
734   addr_hash = htab_create_alloc_ex (64, core_addr_hash, core_addr_eq, NULL,
735                                     &addr_obstack, hashtab_obstack_allocate,
736                                     NULL);
737   make_cleanup_htab_delete (addr_hash);
738
739   make_cleanup (VEC_cleanup (CORE_ADDR), &todo);
740
741   VEC_safe_push (CORE_ADDR, todo, verify_addr);
742   while (!VEC_empty (CORE_ADDR, todo))
743     {
744       struct symbol *func_sym;
745       struct call_site *call_site;
746
747       addr = VEC_pop (CORE_ADDR, todo);
748
749       func_sym = func_addr_to_tail_call_list (gdbarch, addr);
750
751       for (call_site = TYPE_TAIL_CALL_LIST (SYMBOL_TYPE (func_sym));
752            call_site; call_site = call_site->tail_call_next)
753         {
754           CORE_ADDR target_addr;
755           void **slot;
756
757           /* CALLER_FRAME with registers is not available for tail-call jumped
758              frames.  */
759           target_addr = call_site_to_target_addr (gdbarch, call_site, NULL);
760
761           if (target_addr == verify_addr)
762             {
763               struct bound_minimal_symbol msym;
764               
765               msym = lookup_minimal_symbol_by_pc (verify_addr);
766               throw_error (NO_ENTRY_VALUE_ERROR,
767                            _("DW_OP_GNU_entry_value resolving has found "
768                              "function \"%s\" at %s can call itself via tail "
769                              "calls"),
770                            (msym.minsym == NULL ? "???"
771                             : MSYMBOL_PRINT_NAME (msym.minsym)),
772                            paddress (gdbarch, verify_addr));
773             }
774
775           slot = htab_find_slot (addr_hash, &target_addr, INSERT);
776           if (*slot == NULL)
777             {
778               *slot = obstack_copy (&addr_obstack, &target_addr,
779                                     sizeof (target_addr));
780               VEC_safe_push (CORE_ADDR, todo, target_addr);
781             }
782         }
783     }
784
785   do_cleanups (old_chain);
786 }
787
788 /* Print user readable form of CALL_SITE->PC to gdb_stdlog.  Used only for
789    ENTRY_VALUES_DEBUG.  */
790
791 static void
792 tailcall_dump (struct gdbarch *gdbarch, const struct call_site *call_site)
793 {
794   CORE_ADDR addr = call_site->pc;
795   struct bound_minimal_symbol msym = lookup_minimal_symbol_by_pc (addr - 1);
796
797   fprintf_unfiltered (gdb_stdlog, " %s(%s)", paddress (gdbarch, addr),
798                       (msym.minsym == NULL ? "???"
799                        : MSYMBOL_PRINT_NAME (msym.minsym)));
800
801 }
802
803 /* vec.h needs single word type name, typedef it.  */
804 typedef struct call_site *call_sitep;
805
806 /* Define VEC (call_sitep) functions.  */
807 DEF_VEC_P (call_sitep);
808
809 /* Intersect RESULTP with CHAIN to keep RESULTP unambiguous, keep in RESULTP
810    only top callers and bottom callees which are present in both.  GDBARCH is
811    used only for ENTRY_VALUES_DEBUG.  RESULTP is NULL after return if there are
812    no remaining possibilities to provide unambiguous non-trivial result.
813    RESULTP should point to NULL on the first (initialization) call.  Caller is
814    responsible for xfree of any RESULTP data.  */
815
816 static void
817 chain_candidate (struct gdbarch *gdbarch, struct call_site_chain **resultp,
818                  VEC (call_sitep) *chain)
819 {
820   struct call_site_chain *result = *resultp;
821   long length = VEC_length (call_sitep, chain);
822   int callers, callees, idx;
823
824   if (result == NULL)
825     {
826       /* Create the initial chain containing all the passed PCs.  */
827
828       result = ((struct call_site_chain *)
829                 xmalloc (sizeof (*result)
830                          + sizeof (*result->call_site) * (length - 1)));
831       result->length = length;
832       result->callers = result->callees = length;
833       if (!VEC_empty (call_sitep, chain))
834         memcpy (result->call_site, VEC_address (call_sitep, chain),
835                 sizeof (*result->call_site) * length);
836       *resultp = result;
837
838       if (entry_values_debug)
839         {
840           fprintf_unfiltered (gdb_stdlog, "tailcall: initial:");
841           for (idx = 0; idx < length; idx++)
842             tailcall_dump (gdbarch, result->call_site[idx]);
843           fputc_unfiltered ('\n', gdb_stdlog);
844         }
845
846       return;
847     }
848
849   if (entry_values_debug)
850     {
851       fprintf_unfiltered (gdb_stdlog, "tailcall: compare:");
852       for (idx = 0; idx < length; idx++)
853         tailcall_dump (gdbarch, VEC_index (call_sitep, chain, idx));
854       fputc_unfiltered ('\n', gdb_stdlog);
855     }
856
857   /* Intersect callers.  */
858
859   callers = min (result->callers, length);
860   for (idx = 0; idx < callers; idx++)
861     if (result->call_site[idx] != VEC_index (call_sitep, chain, idx))
862       {
863         result->callers = idx;
864         break;
865       }
866
867   /* Intersect callees.  */
868
869   callees = min (result->callees, length);
870   for (idx = 0; idx < callees; idx++)
871     if (result->call_site[result->length - 1 - idx]
872         != VEC_index (call_sitep, chain, length - 1 - idx))
873       {
874         result->callees = idx;
875         break;
876       }
877
878   if (entry_values_debug)
879     {
880       fprintf_unfiltered (gdb_stdlog, "tailcall: reduced:");
881       for (idx = 0; idx < result->callers; idx++)
882         tailcall_dump (gdbarch, result->call_site[idx]);
883       fputs_unfiltered (" |", gdb_stdlog);
884       for (idx = 0; idx < result->callees; idx++)
885         tailcall_dump (gdbarch, result->call_site[result->length
886                                                   - result->callees + idx]);
887       fputc_unfiltered ('\n', gdb_stdlog);
888     }
889
890   if (result->callers == 0 && result->callees == 0)
891     {
892       /* There are no common callers or callees.  It could be also a direct
893          call (which has length 0) with ambiguous possibility of an indirect
894          call - CALLERS == CALLEES == 0 is valid during the first allocation
895          but any subsequence processing of such entry means ambiguity.  */
896       xfree (result);
897       *resultp = NULL;
898       return;
899     }
900
901   /* See call_site_find_chain_1 why there is no way to reach the bottom callee
902      PC again.  In such case there must be two different code paths to reach
903      it.  CALLERS + CALLEES equal to LENGTH in the case of self tail-call.  */
904   gdb_assert (result->callers + result->callees <= result->length);
905 }
906
907 /* Create and return call_site_chain for CALLER_PC and CALLEE_PC.  All the
908    assumed frames between them use GDBARCH.  Use depth first search so we can
909    keep single CHAIN of call_site's back to CALLER_PC.  Function recursion
910    would have needless GDB stack overhead.  Caller is responsible for xfree of
911    the returned result.  Any unreliability results in thrown
912    NO_ENTRY_VALUE_ERROR.  */
913
914 static struct call_site_chain *
915 call_site_find_chain_1 (struct gdbarch *gdbarch, CORE_ADDR caller_pc,
916                         CORE_ADDR callee_pc)
917 {
918   CORE_ADDR save_callee_pc = callee_pc;
919   struct obstack addr_obstack;
920   struct cleanup *back_to_retval, *back_to_workdata;
921   struct call_site_chain *retval = NULL;
922   struct call_site *call_site;
923
924   /* Mark CALL_SITEs so we do not visit the same ones twice.  */
925   htab_t addr_hash;
926
927   /* CHAIN contains only the intermediate CALL_SITEs.  Neither CALLER_PC's
928      call_site nor any possible call_site at CALLEE_PC's function is there.
929      Any CALL_SITE in CHAIN will be iterated to its siblings - via
930      TAIL_CALL_NEXT.  This is inappropriate for CALLER_PC's call_site.  */
931   VEC (call_sitep) *chain = NULL;
932
933   /* We are not interested in the specific PC inside the callee function.  */
934   callee_pc = get_pc_function_start (callee_pc);
935   if (callee_pc == 0)
936     throw_error (NO_ENTRY_VALUE_ERROR, _("Unable to find function for PC %s"),
937                  paddress (gdbarch, save_callee_pc));
938
939   back_to_retval = make_cleanup (free_current_contents, &retval);
940
941   obstack_init (&addr_obstack);
942   back_to_workdata = make_cleanup_obstack_free (&addr_obstack);   
943   addr_hash = htab_create_alloc_ex (64, core_addr_hash, core_addr_eq, NULL,
944                                     &addr_obstack, hashtab_obstack_allocate,
945                                     NULL);
946   make_cleanup_htab_delete (addr_hash);
947
948   make_cleanup (VEC_cleanup (call_sitep), &chain);
949
950   /* Do not push CALL_SITE to CHAIN.  Push there only the first tail call site
951      at the target's function.  All the possible tail call sites in the
952      target's function will get iterated as already pushed into CHAIN via their
953      TAIL_CALL_NEXT.  */
954   call_site = call_site_for_pc (gdbarch, caller_pc);
955
956   while (call_site)
957     {
958       CORE_ADDR target_func_addr;
959       struct call_site *target_call_site;
960
961       /* CALLER_FRAME with registers is not available for tail-call jumped
962          frames.  */
963       target_func_addr = call_site_to_target_addr (gdbarch, call_site, NULL);
964
965       if (target_func_addr == callee_pc)
966         {
967           chain_candidate (gdbarch, &retval, chain);
968           if (retval == NULL)
969             break;
970
971           /* There is no way to reach CALLEE_PC again as we would prevent
972              entering it twice as being already marked in ADDR_HASH.  */
973           target_call_site = NULL;
974         }
975       else
976         {
977           struct symbol *target_func;
978
979           target_func = func_addr_to_tail_call_list (gdbarch, target_func_addr);
980           target_call_site = TYPE_TAIL_CALL_LIST (SYMBOL_TYPE (target_func));
981         }
982
983       do
984         {
985           /* Attempt to visit TARGET_CALL_SITE.  */
986
987           if (target_call_site)
988             {
989               void **slot;
990
991               slot = htab_find_slot (addr_hash, &target_call_site->pc, INSERT);
992               if (*slot == NULL)
993                 {
994                   /* Successfully entered TARGET_CALL_SITE.  */
995
996                   *slot = &target_call_site->pc;
997                   VEC_safe_push (call_sitep, chain, target_call_site);
998                   break;
999                 }
1000             }
1001
1002           /* Backtrack (without revisiting the originating call_site).  Try the
1003              callers's sibling; if there isn't any try the callers's callers's
1004              sibling etc.  */
1005
1006           target_call_site = NULL;
1007           while (!VEC_empty (call_sitep, chain))
1008             {
1009               call_site = VEC_pop (call_sitep, chain);
1010
1011               gdb_assert (htab_find_slot (addr_hash, &call_site->pc,
1012                                           NO_INSERT) != NULL);
1013               htab_remove_elt (addr_hash, &call_site->pc);
1014
1015               target_call_site = call_site->tail_call_next;
1016               if (target_call_site)
1017                 break;
1018             }
1019         }
1020       while (target_call_site);
1021
1022       if (VEC_empty (call_sitep, chain))
1023         call_site = NULL;
1024       else
1025         call_site = VEC_last (call_sitep, chain);
1026     }
1027
1028   if (retval == NULL)
1029     {
1030       struct bound_minimal_symbol msym_caller, msym_callee;
1031       
1032       msym_caller = lookup_minimal_symbol_by_pc (caller_pc);
1033       msym_callee = lookup_minimal_symbol_by_pc (callee_pc);
1034       throw_error (NO_ENTRY_VALUE_ERROR,
1035                    _("There are no unambiguously determinable intermediate "
1036                      "callers or callees between caller function \"%s\" at %s "
1037                      "and callee function \"%s\" at %s"),
1038                    (msym_caller.minsym == NULL
1039                     ? "???" : MSYMBOL_PRINT_NAME (msym_caller.minsym)),
1040                    paddress (gdbarch, caller_pc),
1041                    (msym_callee.minsym == NULL
1042                     ? "???" : MSYMBOL_PRINT_NAME (msym_callee.minsym)),
1043                    paddress (gdbarch, callee_pc));
1044     }
1045
1046   do_cleanups (back_to_workdata);
1047   discard_cleanups (back_to_retval);
1048   return retval;
1049 }
1050
1051 /* Create and return call_site_chain for CALLER_PC and CALLEE_PC.  All the
1052    assumed frames between them use GDBARCH.  If valid call_site_chain cannot be
1053    constructed return NULL.  Caller is responsible for xfree of the returned
1054    result.  */
1055
1056 struct call_site_chain *
1057 call_site_find_chain (struct gdbarch *gdbarch, CORE_ADDR caller_pc,
1058                       CORE_ADDR callee_pc)
1059 {
1060   struct call_site_chain *retval = NULL;
1061
1062   TRY
1063     {
1064       retval = call_site_find_chain_1 (gdbarch, caller_pc, callee_pc);
1065     }
1066   CATCH (e, RETURN_MASK_ERROR)
1067     {
1068       if (e.error == NO_ENTRY_VALUE_ERROR)
1069         {
1070           if (entry_values_debug)
1071             exception_print (gdb_stdout, e);
1072
1073           return NULL;
1074         }
1075       else
1076         throw_exception (e);
1077     }
1078   END_CATCH
1079
1080   return retval;
1081 }
1082
1083 /* Return 1 if KIND and KIND_U match PARAMETER.  Return 0 otherwise.  */
1084
1085 static int
1086 call_site_parameter_matches (struct call_site_parameter *parameter,
1087                              enum call_site_parameter_kind kind,
1088                              union call_site_parameter_u kind_u)
1089 {
1090   if (kind == parameter->kind)
1091     switch (kind)
1092       {
1093       case CALL_SITE_PARAMETER_DWARF_REG:
1094         return kind_u.dwarf_reg == parameter->u.dwarf_reg;
1095       case CALL_SITE_PARAMETER_FB_OFFSET:
1096         return kind_u.fb_offset == parameter->u.fb_offset;
1097       case CALL_SITE_PARAMETER_PARAM_OFFSET:
1098         return kind_u.param_offset.cu_off == parameter->u.param_offset.cu_off;
1099       }
1100   return 0;
1101 }
1102
1103 /* Fetch call_site_parameter from caller matching KIND and KIND_U.
1104    FRAME is for callee.
1105
1106    Function always returns non-NULL, it throws NO_ENTRY_VALUE_ERROR
1107    otherwise.  */
1108
1109 static struct call_site_parameter *
1110 dwarf_expr_reg_to_entry_parameter (struct frame_info *frame,
1111                                    enum call_site_parameter_kind kind,
1112                                    union call_site_parameter_u kind_u,
1113                                    struct dwarf2_per_cu_data **per_cu_return)
1114 {
1115   CORE_ADDR func_addr, caller_pc;
1116   struct gdbarch *gdbarch;
1117   struct frame_info *caller_frame;
1118   struct call_site *call_site;
1119   int iparams;
1120   /* Initialize it just to avoid a GCC false warning.  */
1121   struct call_site_parameter *parameter = NULL;
1122   CORE_ADDR target_addr;
1123
1124   while (get_frame_type (frame) == INLINE_FRAME)
1125     {
1126       frame = get_prev_frame (frame);
1127       gdb_assert (frame != NULL);
1128     }
1129
1130   func_addr = get_frame_func (frame);
1131   gdbarch = get_frame_arch (frame);
1132   caller_frame = get_prev_frame (frame);
1133   if (gdbarch != frame_unwind_arch (frame))
1134     {
1135       struct bound_minimal_symbol msym
1136         = lookup_minimal_symbol_by_pc (func_addr);
1137       struct gdbarch *caller_gdbarch = frame_unwind_arch (frame);
1138
1139       throw_error (NO_ENTRY_VALUE_ERROR,
1140                    _("DW_OP_GNU_entry_value resolving callee gdbarch %s "
1141                      "(of %s (%s)) does not match caller gdbarch %s"),
1142                    gdbarch_bfd_arch_info (gdbarch)->printable_name,
1143                    paddress (gdbarch, func_addr),
1144                    (msym.minsym == NULL ? "???"
1145                     : MSYMBOL_PRINT_NAME (msym.minsym)),
1146                    gdbarch_bfd_arch_info (caller_gdbarch)->printable_name);
1147     }
1148
1149   if (caller_frame == NULL)
1150     {
1151       struct bound_minimal_symbol msym
1152         = lookup_minimal_symbol_by_pc (func_addr);
1153
1154       throw_error (NO_ENTRY_VALUE_ERROR, _("DW_OP_GNU_entry_value resolving "
1155                                            "requires caller of %s (%s)"),
1156                    paddress (gdbarch, func_addr),
1157                    (msym.minsym == NULL ? "???"
1158                     : MSYMBOL_PRINT_NAME (msym.minsym)));
1159     }
1160   caller_pc = get_frame_pc (caller_frame);
1161   call_site = call_site_for_pc (gdbarch, caller_pc);
1162
1163   target_addr = call_site_to_target_addr (gdbarch, call_site, caller_frame);
1164   if (target_addr != func_addr)
1165     {
1166       struct minimal_symbol *target_msym, *func_msym;
1167
1168       target_msym = lookup_minimal_symbol_by_pc (target_addr).minsym;
1169       func_msym = lookup_minimal_symbol_by_pc (func_addr).minsym;
1170       throw_error (NO_ENTRY_VALUE_ERROR,
1171                    _("DW_OP_GNU_entry_value resolving expects callee %s at %s "
1172                      "but the called frame is for %s at %s"),
1173                    (target_msym == NULL ? "???"
1174                                         : MSYMBOL_PRINT_NAME (target_msym)),
1175                    paddress (gdbarch, target_addr),
1176                    func_msym == NULL ? "???" : MSYMBOL_PRINT_NAME (func_msym),
1177                    paddress (gdbarch, func_addr));
1178     }
1179
1180   /* No entry value based parameters would be reliable if this function can
1181      call itself via tail calls.  */
1182   func_verify_no_selftailcall (gdbarch, func_addr);
1183
1184   for (iparams = 0; iparams < call_site->parameter_count; iparams++)
1185     {
1186       parameter = &call_site->parameter[iparams];
1187       if (call_site_parameter_matches (parameter, kind, kind_u))
1188         break;
1189     }
1190   if (iparams == call_site->parameter_count)
1191     {
1192       struct minimal_symbol *msym
1193         = lookup_minimal_symbol_by_pc (caller_pc).minsym;
1194
1195       /* DW_TAG_GNU_call_site_parameter will be missing just if GCC could not
1196          determine its value.  */
1197       throw_error (NO_ENTRY_VALUE_ERROR, _("Cannot find matching parameter "
1198                                            "at DW_TAG_GNU_call_site %s at %s"),
1199                    paddress (gdbarch, caller_pc),
1200                    msym == NULL ? "???" : MSYMBOL_PRINT_NAME (msym)); 
1201     }
1202
1203   *per_cu_return = call_site->per_cu;
1204   return parameter;
1205 }
1206
1207 /* Return value for PARAMETER matching DEREF_SIZE.  If DEREF_SIZE is -1, return
1208    the normal DW_AT_GNU_call_site_value block.  Otherwise return the
1209    DW_AT_GNU_call_site_data_value (dereferenced) block.
1210
1211    TYPE and CALLER_FRAME specify how to evaluate the DWARF block into returned
1212    struct value.
1213
1214    Function always returns non-NULL, non-optimized out value.  It throws
1215    NO_ENTRY_VALUE_ERROR if it cannot resolve the value for any reason.  */
1216
1217 static struct value *
1218 dwarf_entry_parameter_to_value (struct call_site_parameter *parameter,
1219                                 CORE_ADDR deref_size, struct type *type,
1220                                 struct frame_info *caller_frame,
1221                                 struct dwarf2_per_cu_data *per_cu)
1222 {
1223   const gdb_byte *data_src;
1224   gdb_byte *data;
1225   size_t size;
1226
1227   data_src = deref_size == -1 ? parameter->value : parameter->data_value;
1228   size = deref_size == -1 ? parameter->value_size : parameter->data_value_size;
1229
1230   /* DEREF_SIZE size is not verified here.  */
1231   if (data_src == NULL)
1232     throw_error (NO_ENTRY_VALUE_ERROR,
1233                  _("Cannot resolve DW_AT_GNU_call_site_data_value"));
1234
1235   /* DW_AT_GNU_call_site_value is a DWARF expression, not a DWARF
1236      location.  Postprocessing of DWARF_VALUE_MEMORY would lose the type from
1237      DWARF block.  */
1238   data = (gdb_byte *) alloca (size + 1);
1239   memcpy (data, data_src, size);
1240   data[size] = DW_OP_stack_value;
1241
1242   return dwarf2_evaluate_loc_desc (type, caller_frame, data, size + 1, per_cu);
1243 }
1244
1245 /* Execute DWARF block of call_site_parameter which matches KIND and KIND_U.
1246    Choose DEREF_SIZE value of that parameter.  Search caller of the CTX's
1247    frame.  CTX must be of dwarf_expr_ctx_funcs kind.
1248
1249    The CTX caller can be from a different CU - per_cu_dwarf_call implementation
1250    can be more simple as it does not support cross-CU DWARF executions.  */
1251
1252 static void
1253 dwarf_expr_push_dwarf_reg_entry_value (struct dwarf_expr_context *ctx,
1254                                        enum call_site_parameter_kind kind,
1255                                        union call_site_parameter_u kind_u,
1256                                        int deref_size)
1257 {
1258   struct dwarf_expr_baton *debaton;
1259   struct frame_info *frame, *caller_frame;
1260   struct dwarf2_per_cu_data *caller_per_cu;
1261   struct dwarf_expr_baton baton_local;
1262   struct dwarf_expr_context saved_ctx;
1263   struct call_site_parameter *parameter;
1264   const gdb_byte *data_src;
1265   size_t size;
1266
1267   gdb_assert (ctx->funcs == &dwarf_expr_ctx_funcs);
1268   debaton = (struct dwarf_expr_baton *) ctx->baton;
1269   frame = debaton->frame;
1270   caller_frame = get_prev_frame (frame);
1271
1272   parameter = dwarf_expr_reg_to_entry_parameter (frame, kind, kind_u,
1273                                                  &caller_per_cu);
1274   data_src = deref_size == -1 ? parameter->value : parameter->data_value;
1275   size = deref_size == -1 ? parameter->value_size : parameter->data_value_size;
1276
1277   /* DEREF_SIZE size is not verified here.  */
1278   if (data_src == NULL)
1279     throw_error (NO_ENTRY_VALUE_ERROR,
1280                  _("Cannot resolve DW_AT_GNU_call_site_data_value"));
1281
1282   baton_local.frame = caller_frame;
1283   baton_local.per_cu = caller_per_cu;
1284   baton_local.obj_address = 0;
1285
1286   saved_ctx.gdbarch = ctx->gdbarch;
1287   saved_ctx.addr_size = ctx->addr_size;
1288   saved_ctx.offset = ctx->offset;
1289   saved_ctx.baton = ctx->baton;
1290   ctx->gdbarch = get_objfile_arch (dwarf2_per_cu_objfile (baton_local.per_cu));
1291   ctx->addr_size = dwarf2_per_cu_addr_size (baton_local.per_cu);
1292   ctx->offset = dwarf2_per_cu_text_offset (baton_local.per_cu);
1293   ctx->baton = &baton_local;
1294
1295   dwarf_expr_eval (ctx, data_src, size);
1296
1297   ctx->gdbarch = saved_ctx.gdbarch;
1298   ctx->addr_size = saved_ctx.addr_size;
1299   ctx->offset = saved_ctx.offset;
1300   ctx->baton = saved_ctx.baton;
1301 }
1302
1303 /* Callback function for dwarf2_evaluate_loc_desc.
1304    Fetch the address indexed by DW_OP_GNU_addr_index.  */
1305
1306 static CORE_ADDR
1307 dwarf_expr_get_addr_index (void *baton, unsigned int index)
1308 {
1309   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
1310
1311   return dwarf2_read_addr_index (debaton->per_cu, index);
1312 }
1313
1314 /* Callback function for get_object_address. Return the address of the VLA
1315    object.  */
1316
1317 static CORE_ADDR
1318 dwarf_expr_get_obj_addr (void *baton)
1319 {
1320   struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
1321
1322   gdb_assert (debaton != NULL);
1323
1324   if (debaton->obj_address == 0)
1325     error (_("Location address is not set."));
1326
1327   return debaton->obj_address;
1328 }
1329
1330 /* VALUE must be of type lval_computed with entry_data_value_funcs.  Perform
1331    the indirect method on it, that is use its stored target value, the sole
1332    purpose of entry_data_value_funcs..  */
1333
1334 static struct value *
1335 entry_data_value_coerce_ref (const struct value *value)
1336 {
1337   struct type *checked_type = check_typedef (value_type (value));
1338   struct value *target_val;
1339
1340   if (TYPE_CODE (checked_type) != TYPE_CODE_REF)
1341     return NULL;
1342
1343   target_val = (struct value *) value_computed_closure (value);
1344   value_incref (target_val);
1345   return target_val;
1346 }
1347
1348 /* Implement copy_closure.  */
1349
1350 static void *
1351 entry_data_value_copy_closure (const struct value *v)
1352 {
1353   struct value *target_val = (struct value *) value_computed_closure (v);
1354
1355   value_incref (target_val);
1356   return target_val;
1357 }
1358
1359 /* Implement free_closure.  */
1360
1361 static void
1362 entry_data_value_free_closure (struct value *v)
1363 {
1364   struct value *target_val = (struct value *) value_computed_closure (v);
1365
1366   value_free (target_val);
1367 }
1368
1369 /* Vector for methods for an entry value reference where the referenced value
1370    is stored in the caller.  On the first dereference use
1371    DW_AT_GNU_call_site_data_value in the caller.  */
1372
1373 static const struct lval_funcs entry_data_value_funcs =
1374 {
1375   NULL, /* read */
1376   NULL, /* write */
1377   NULL, /* indirect */
1378   entry_data_value_coerce_ref,
1379   NULL, /* check_synthetic_pointer */
1380   entry_data_value_copy_closure,
1381   entry_data_value_free_closure
1382 };
1383
1384 /* Read parameter of TYPE at (callee) FRAME's function entry.  KIND and KIND_U
1385    are used to match DW_AT_location at the caller's
1386    DW_TAG_GNU_call_site_parameter.
1387
1388    Function always returns non-NULL value.  It throws NO_ENTRY_VALUE_ERROR if it
1389    cannot resolve the parameter for any reason.  */
1390
1391 static struct value *
1392 value_of_dwarf_reg_entry (struct type *type, struct frame_info *frame,
1393                           enum call_site_parameter_kind kind,
1394                           union call_site_parameter_u kind_u)
1395 {
1396   struct type *checked_type = check_typedef (type);
1397   struct type *target_type = TYPE_TARGET_TYPE (checked_type);
1398   struct frame_info *caller_frame = get_prev_frame (frame);
1399   struct value *outer_val, *target_val, *val;
1400   struct call_site_parameter *parameter;
1401   struct dwarf2_per_cu_data *caller_per_cu;
1402
1403   parameter = dwarf_expr_reg_to_entry_parameter (frame, kind, kind_u,
1404                                                  &caller_per_cu);
1405
1406   outer_val = dwarf_entry_parameter_to_value (parameter, -1 /* deref_size */,
1407                                               type, caller_frame,
1408                                               caller_per_cu);
1409
1410   /* Check if DW_AT_GNU_call_site_data_value cannot be used.  If it should be
1411      used and it is not available do not fall back to OUTER_VAL - dereferencing
1412      TYPE_CODE_REF with non-entry data value would give current value - not the
1413      entry value.  */
1414
1415   if (TYPE_CODE (checked_type) != TYPE_CODE_REF
1416       || TYPE_TARGET_TYPE (checked_type) == NULL)
1417     return outer_val;
1418
1419   target_val = dwarf_entry_parameter_to_value (parameter,
1420                                                TYPE_LENGTH (target_type),
1421                                                target_type, caller_frame,
1422                                                caller_per_cu);
1423
1424   release_value (target_val);
1425   val = allocate_computed_value (type, &entry_data_value_funcs,
1426                                  target_val /* closure */);
1427
1428   /* Copy the referencing pointer to the new computed value.  */
1429   memcpy (value_contents_raw (val), value_contents_raw (outer_val),
1430           TYPE_LENGTH (checked_type));
1431   set_value_lazy (val, 0);
1432
1433   return val;
1434 }
1435
1436 /* Read parameter of TYPE at (callee) FRAME's function entry.  DATA and
1437    SIZE are DWARF block used to match DW_AT_location at the caller's
1438    DW_TAG_GNU_call_site_parameter.
1439
1440    Function always returns non-NULL value.  It throws NO_ENTRY_VALUE_ERROR if it
1441    cannot resolve the parameter for any reason.  */
1442
1443 static struct value *
1444 value_of_dwarf_block_entry (struct type *type, struct frame_info *frame,
1445                             const gdb_byte *block, size_t block_len)
1446 {
1447   union call_site_parameter_u kind_u;
1448
1449   kind_u.dwarf_reg = dwarf_block_to_dwarf_reg (block, block + block_len);
1450   if (kind_u.dwarf_reg != -1)
1451     return value_of_dwarf_reg_entry (type, frame, CALL_SITE_PARAMETER_DWARF_REG,
1452                                      kind_u);
1453
1454   if (dwarf_block_to_fb_offset (block, block + block_len, &kind_u.fb_offset))
1455     return value_of_dwarf_reg_entry (type, frame, CALL_SITE_PARAMETER_FB_OFFSET,
1456                                      kind_u);
1457
1458   /* This can normally happen - throw NO_ENTRY_VALUE_ERROR to get the message
1459      suppressed during normal operation.  The expression can be arbitrary if
1460      there is no caller-callee entry value binding expected.  */
1461   throw_error (NO_ENTRY_VALUE_ERROR,
1462                _("DWARF-2 expression error: DW_OP_GNU_entry_value is supported "
1463                  "only for single DW_OP_reg* or for DW_OP_fbreg(*)"));
1464 }
1465
1466 struct piece_closure
1467 {
1468   /* Reference count.  */
1469   int refc;
1470
1471   /* The CU from which this closure's expression came.  */
1472   struct dwarf2_per_cu_data *per_cu;
1473
1474   /* The number of pieces used to describe this variable.  */
1475   int n_pieces;
1476
1477   /* The target address size, used only for DWARF_VALUE_STACK.  */
1478   int addr_size;
1479
1480   /* The pieces themselves.  */
1481   struct dwarf_expr_piece *pieces;
1482 };
1483
1484 /* Allocate a closure for a value formed from separately-described
1485    PIECES.  */
1486
1487 static struct piece_closure *
1488 allocate_piece_closure (struct dwarf2_per_cu_data *per_cu,
1489                         int n_pieces, struct dwarf_expr_piece *pieces,
1490                         int addr_size)
1491 {
1492   struct piece_closure *c = XCNEW (struct piece_closure);
1493   int i;
1494
1495   c->refc = 1;
1496   c->per_cu = per_cu;
1497   c->n_pieces = n_pieces;
1498   c->addr_size = addr_size;
1499   c->pieces = XCNEWVEC (struct dwarf_expr_piece, n_pieces);
1500
1501   memcpy (c->pieces, pieces, n_pieces * sizeof (struct dwarf_expr_piece));
1502   for (i = 0; i < n_pieces; ++i)
1503     if (c->pieces[i].location == DWARF_VALUE_STACK)
1504       value_incref (c->pieces[i].v.value);
1505
1506   return c;
1507 }
1508
1509 /* The lowest-level function to extract bits from a byte buffer.
1510    SOURCE is the buffer.  It is updated if we read to the end of a
1511    byte.
1512    SOURCE_OFFSET_BITS is the offset of the first bit to read.  It is
1513    updated to reflect the number of bits actually read.
1514    NBITS is the number of bits we want to read.  It is updated to
1515    reflect the number of bits actually read.  This function may read
1516    fewer bits.
1517    BITS_BIG_ENDIAN is taken directly from gdbarch.
1518    This function returns the extracted bits.  */
1519
1520 static unsigned int
1521 extract_bits_primitive (const gdb_byte **source,
1522                         unsigned int *source_offset_bits,
1523                         int *nbits, int bits_big_endian)
1524 {
1525   unsigned int avail, mask, datum;
1526
1527   gdb_assert (*source_offset_bits < 8);
1528
1529   avail = 8 - *source_offset_bits;
1530   if (avail > *nbits)
1531     avail = *nbits;
1532
1533   mask = (1 << avail) - 1;
1534   datum = **source;
1535   if (bits_big_endian)
1536     datum >>= 8 - (*source_offset_bits + *nbits);
1537   else
1538     datum >>= *source_offset_bits;
1539   datum &= mask;
1540
1541   *nbits -= avail;
1542   *source_offset_bits += avail;
1543   if (*source_offset_bits >= 8)
1544     {
1545       *source_offset_bits -= 8;
1546       ++*source;
1547     }
1548
1549   return datum;
1550 }
1551
1552 /* Extract some bits from a source buffer and move forward in the
1553    buffer.
1554    
1555    SOURCE is the source buffer.  It is updated as bytes are read.
1556    SOURCE_OFFSET_BITS is the offset into SOURCE.  It is updated as
1557    bits are read.
1558    NBITS is the number of bits to read.
1559    BITS_BIG_ENDIAN is taken directly from gdbarch.
1560    
1561    This function returns the bits that were read.  */
1562
1563 static unsigned int
1564 extract_bits (const gdb_byte **source, unsigned int *source_offset_bits,
1565               int nbits, int bits_big_endian)
1566 {
1567   unsigned int datum;
1568
1569   gdb_assert (nbits > 0 && nbits <= 8);
1570
1571   datum = extract_bits_primitive (source, source_offset_bits, &nbits,
1572                                   bits_big_endian);
1573   if (nbits > 0)
1574     {
1575       unsigned int more;
1576
1577       more = extract_bits_primitive (source, source_offset_bits, &nbits,
1578                                      bits_big_endian);
1579       if (bits_big_endian)
1580         datum <<= nbits;
1581       else
1582         more <<= nbits;
1583       datum |= more;
1584     }
1585
1586   return datum;
1587 }
1588
1589 /* Write some bits into a buffer and move forward in the buffer.
1590    
1591    DATUM is the bits to write.  The low-order bits of DATUM are used.
1592    DEST is the destination buffer.  It is updated as bytes are
1593    written.
1594    DEST_OFFSET_BITS is the bit offset in DEST at which writing is
1595    done.
1596    NBITS is the number of valid bits in DATUM.
1597    BITS_BIG_ENDIAN is taken directly from gdbarch.  */
1598
1599 static void
1600 insert_bits (unsigned int datum,
1601              gdb_byte *dest, unsigned int dest_offset_bits,
1602              int nbits, int bits_big_endian)
1603 {
1604   unsigned int mask;
1605
1606   gdb_assert (dest_offset_bits + nbits <= 8);
1607
1608   mask = (1 << nbits) - 1;
1609   if (bits_big_endian)
1610     {
1611       datum <<= 8 - (dest_offset_bits + nbits);
1612       mask <<= 8 - (dest_offset_bits + nbits);
1613     }
1614   else
1615     {
1616       datum <<= dest_offset_bits;
1617       mask <<= dest_offset_bits;
1618     }
1619
1620   gdb_assert ((datum & ~mask) == 0);
1621
1622   *dest = (*dest & ~mask) | datum;
1623 }
1624
1625 /* Copy bits from a source to a destination.
1626    
1627    DEST is where the bits should be written.
1628    DEST_OFFSET_BITS is the bit offset into DEST.
1629    SOURCE is the source of bits.
1630    SOURCE_OFFSET_BITS is the bit offset into SOURCE.
1631    BIT_COUNT is the number of bits to copy.
1632    BITS_BIG_ENDIAN is taken directly from gdbarch.  */
1633
1634 static void
1635 copy_bitwise (gdb_byte *dest, unsigned int dest_offset_bits,
1636               const gdb_byte *source, unsigned int source_offset_bits,
1637               unsigned int bit_count,
1638               int bits_big_endian)
1639 {
1640   unsigned int dest_avail;
1641   int datum;
1642
1643   /* Reduce everything to byte-size pieces.  */
1644   dest += dest_offset_bits / 8;
1645   dest_offset_bits %= 8;
1646   source += source_offset_bits / 8;
1647   source_offset_bits %= 8;
1648
1649   dest_avail = 8 - dest_offset_bits % 8;
1650
1651   /* See if we can fill the first destination byte.  */
1652   if (dest_avail < bit_count)
1653     {
1654       datum = extract_bits (&source, &source_offset_bits, dest_avail,
1655                             bits_big_endian);
1656       insert_bits (datum, dest, dest_offset_bits, dest_avail, bits_big_endian);
1657       ++dest;
1658       dest_offset_bits = 0;
1659       bit_count -= dest_avail;
1660     }
1661
1662   /* Now, either DEST_OFFSET_BITS is byte-aligned, or we have fewer
1663      than 8 bits remaining.  */
1664   gdb_assert (dest_offset_bits % 8 == 0 || bit_count < 8);
1665   for (; bit_count >= 8; bit_count -= 8)
1666     {
1667       datum = extract_bits (&source, &source_offset_bits, 8, bits_big_endian);
1668       *dest++ = (gdb_byte) datum;
1669     }
1670
1671   /* Finally, we may have a few leftover bits.  */
1672   gdb_assert (bit_count <= 8 - dest_offset_bits % 8);
1673   if (bit_count > 0)
1674     {
1675       datum = extract_bits (&source, &source_offset_bits, bit_count,
1676                             bits_big_endian);
1677       insert_bits (datum, dest, dest_offset_bits, bit_count, bits_big_endian);
1678     }
1679 }
1680
1681 static void
1682 read_pieced_value (struct value *v)
1683 {
1684   int i;
1685   long offset = 0;
1686   ULONGEST bits_to_skip;
1687   gdb_byte *contents;
1688   struct piece_closure *c
1689     = (struct piece_closure *) value_computed_closure (v);
1690   struct frame_info *frame = frame_find_by_id (VALUE_FRAME_ID (v));
1691   size_t type_len;
1692   size_t buffer_size = 0;
1693   gdb_byte *buffer = NULL;
1694   struct cleanup *cleanup;
1695   int bits_big_endian
1696     = gdbarch_bits_big_endian (get_type_arch (value_type (v)));
1697
1698   if (value_type (v) != value_enclosing_type (v))
1699     internal_error (__FILE__, __LINE__,
1700                     _("Should not be able to create a lazy value with "
1701                       "an enclosing type"));
1702
1703   cleanup = make_cleanup (free_current_contents, &buffer);
1704
1705   contents = value_contents_raw (v);
1706   bits_to_skip = 8 * value_offset (v);
1707   if (value_bitsize (v))
1708     {
1709       bits_to_skip += value_bitpos (v);
1710       type_len = value_bitsize (v);
1711     }
1712   else
1713     type_len = 8 * TYPE_LENGTH (value_type (v));
1714
1715   for (i = 0; i < c->n_pieces && offset < type_len; i++)
1716     {
1717       struct dwarf_expr_piece *p = &c->pieces[i];
1718       size_t this_size, this_size_bits;
1719       long dest_offset_bits, source_offset_bits, source_offset;
1720       const gdb_byte *intermediate_buffer;
1721
1722       /* Compute size, source, and destination offsets for copying, in
1723          bits.  */
1724       this_size_bits = p->size;
1725       if (bits_to_skip > 0 && bits_to_skip >= this_size_bits)
1726         {
1727           bits_to_skip -= this_size_bits;
1728           continue;
1729         }
1730       if (bits_to_skip > 0)
1731         {
1732           dest_offset_bits = 0;
1733           source_offset_bits = bits_to_skip;
1734           this_size_bits -= bits_to_skip;
1735           bits_to_skip = 0;
1736         }
1737       else
1738         {
1739           dest_offset_bits = offset;
1740           source_offset_bits = 0;
1741         }
1742       if (this_size_bits > type_len - offset)
1743         this_size_bits = type_len - offset;
1744
1745       this_size = (this_size_bits + source_offset_bits % 8 + 7) / 8;
1746       source_offset = source_offset_bits / 8;
1747       if (buffer_size < this_size)
1748         {
1749           buffer_size = this_size;
1750           buffer = (gdb_byte *) xrealloc (buffer, buffer_size);
1751         }
1752       intermediate_buffer = buffer;
1753
1754       /* Copy from the source to DEST_BUFFER.  */
1755       switch (p->location)
1756         {
1757         case DWARF_VALUE_REGISTER:
1758           {
1759             struct gdbarch *arch = get_frame_arch (frame);
1760             int gdb_regnum = dwarf_reg_to_regnum_or_error (arch, p->v.regno);
1761             int optim, unavail;
1762             int reg_offset = source_offset;
1763
1764             if (gdbarch_byte_order (arch) == BFD_ENDIAN_BIG
1765                 && this_size < register_size (arch, gdb_regnum))
1766               {
1767                 /* Big-endian, and we want less than full size.  */
1768                 reg_offset = register_size (arch, gdb_regnum) - this_size;
1769                 /* We want the lower-order THIS_SIZE_BITS of the bytes
1770                    we extract from the register.  */
1771                 source_offset_bits += 8 * this_size - this_size_bits;
1772               }
1773
1774             if (!get_frame_register_bytes (frame, gdb_regnum, reg_offset,
1775                                            this_size, buffer,
1776                                            &optim, &unavail))
1777               {
1778                 /* Just so garbage doesn't ever shine through.  */
1779                 memset (buffer, 0, this_size);
1780
1781                 if (optim)
1782                   mark_value_bits_optimized_out (v, offset, this_size_bits);
1783                 if (unavail)
1784                   mark_value_bits_unavailable (v, offset, this_size_bits);
1785               }
1786           }
1787           break;
1788
1789         case DWARF_VALUE_MEMORY:
1790           read_value_memory (v, offset,
1791                              p->v.mem.in_stack_memory,
1792                              p->v.mem.addr + source_offset,
1793                              buffer, this_size);
1794           break;
1795
1796         case DWARF_VALUE_STACK:
1797           {
1798             size_t n = this_size;
1799
1800             if (n > c->addr_size - source_offset)
1801               n = (c->addr_size >= source_offset
1802                    ? c->addr_size - source_offset
1803                    : 0);
1804             if (n == 0)
1805               {
1806                 /* Nothing.  */
1807               }
1808             else
1809               {
1810                 const gdb_byte *val_bytes = value_contents_all (p->v.value);
1811
1812                 intermediate_buffer = val_bytes + source_offset;
1813               }
1814           }
1815           break;
1816
1817         case DWARF_VALUE_LITERAL:
1818           {
1819             size_t n = this_size;
1820
1821             if (n > p->v.literal.length - source_offset)
1822               n = (p->v.literal.length >= source_offset
1823                    ? p->v.literal.length - source_offset
1824                    : 0);
1825             if (n != 0)
1826               intermediate_buffer = p->v.literal.data + source_offset;
1827           }
1828           break;
1829
1830           /* These bits show up as zeros -- but do not cause the value
1831              to be considered optimized-out.  */
1832         case DWARF_VALUE_IMPLICIT_POINTER:
1833           break;
1834
1835         case DWARF_VALUE_OPTIMIZED_OUT:
1836           mark_value_bits_optimized_out (v, offset, this_size_bits);
1837           break;
1838
1839         default:
1840           internal_error (__FILE__, __LINE__, _("invalid location type"));
1841         }
1842
1843       if (p->location != DWARF_VALUE_OPTIMIZED_OUT
1844           && p->location != DWARF_VALUE_IMPLICIT_POINTER)
1845         copy_bitwise (contents, dest_offset_bits,
1846                       intermediate_buffer, source_offset_bits % 8,
1847                       this_size_bits, bits_big_endian);
1848
1849       offset += this_size_bits;
1850     }
1851
1852   do_cleanups (cleanup);
1853 }
1854
1855 static void
1856 write_pieced_value (struct value *to, struct value *from)
1857 {
1858   int i;
1859   long offset = 0;
1860   ULONGEST bits_to_skip;
1861   const gdb_byte *contents;
1862   struct piece_closure *c
1863     = (struct piece_closure *) value_computed_closure (to);
1864   struct frame_info *frame = frame_find_by_id (VALUE_FRAME_ID (to));
1865   size_t type_len;
1866   size_t buffer_size = 0;
1867   gdb_byte *buffer = NULL;
1868   struct cleanup *cleanup;
1869   int bits_big_endian
1870     = gdbarch_bits_big_endian (get_type_arch (value_type (to)));
1871
1872   if (frame == NULL)
1873     {
1874       mark_value_bytes_optimized_out (to, 0, TYPE_LENGTH (value_type (to)));
1875       return;
1876     }
1877
1878   cleanup = make_cleanup (free_current_contents, &buffer);
1879
1880   contents = value_contents (from);
1881   bits_to_skip = 8 * value_offset (to);
1882   if (value_bitsize (to))
1883     {
1884       bits_to_skip += value_bitpos (to);
1885       type_len = value_bitsize (to);
1886     }
1887   else
1888     type_len = 8 * TYPE_LENGTH (value_type (to));
1889
1890   for (i = 0; i < c->n_pieces && offset < type_len; i++)
1891     {
1892       struct dwarf_expr_piece *p = &c->pieces[i];
1893       size_t this_size_bits, this_size;
1894       long dest_offset_bits, source_offset_bits, dest_offset, source_offset;
1895       int need_bitwise;
1896       const gdb_byte *source_buffer;
1897
1898       this_size_bits = p->size;
1899       if (bits_to_skip > 0 && bits_to_skip >= this_size_bits)
1900         {
1901           bits_to_skip -= this_size_bits;
1902           continue;
1903         }
1904       if (this_size_bits > type_len - offset)
1905         this_size_bits = type_len - offset;
1906       if (bits_to_skip > 0)
1907         {
1908           dest_offset_bits = bits_to_skip;
1909           source_offset_bits = 0;
1910           this_size_bits -= bits_to_skip;
1911           bits_to_skip = 0;
1912         }
1913       else
1914         {
1915           dest_offset_bits = 0;
1916           source_offset_bits = offset;
1917         }
1918
1919       this_size = (this_size_bits + source_offset_bits % 8 + 7) / 8;
1920       source_offset = source_offset_bits / 8;
1921       dest_offset = dest_offset_bits / 8;
1922       if (dest_offset_bits % 8 == 0 && source_offset_bits % 8 == 0)
1923         {
1924           source_buffer = contents + source_offset;
1925           need_bitwise = 0;
1926         }
1927       else
1928         {
1929           if (buffer_size < this_size)
1930             {
1931               buffer_size = this_size;
1932               buffer = (gdb_byte *) xrealloc (buffer, buffer_size);
1933             }
1934           source_buffer = buffer;
1935           need_bitwise = 1;
1936         }
1937
1938       switch (p->location)
1939         {
1940         case DWARF_VALUE_REGISTER:
1941           {
1942             struct gdbarch *arch = get_frame_arch (frame);
1943             int gdb_regnum = dwarf_reg_to_regnum_or_error (arch, p->v.regno);
1944             int reg_offset = dest_offset;
1945
1946             if (gdbarch_byte_order (arch) == BFD_ENDIAN_BIG
1947                 && this_size <= register_size (arch, gdb_regnum))
1948               {
1949                 /* Big-endian, and we want less than full size.  */
1950                 reg_offset = register_size (arch, gdb_regnum) - this_size;
1951               }
1952
1953             if (need_bitwise)
1954               {
1955                 int optim, unavail;
1956
1957                 if (!get_frame_register_bytes (frame, gdb_regnum, reg_offset,
1958                                                this_size, buffer,
1959                                                &optim, &unavail))
1960                   {
1961                     if (optim)
1962                       throw_error (OPTIMIZED_OUT_ERROR,
1963                                    _("Can't do read-modify-write to "
1964                                      "update bitfield; containing word "
1965                                      "has been optimized out"));
1966                     if (unavail)
1967                       throw_error (NOT_AVAILABLE_ERROR,
1968                                    _("Can't do read-modify-write to update "
1969                                      "bitfield; containing word "
1970                                      "is unavailable"));
1971                   }
1972                 copy_bitwise (buffer, dest_offset_bits,
1973                               contents, source_offset_bits,
1974                               this_size_bits,
1975                               bits_big_endian);
1976               }
1977
1978             put_frame_register_bytes (frame, gdb_regnum, reg_offset, 
1979                                       this_size, source_buffer);
1980           }
1981           break;
1982         case DWARF_VALUE_MEMORY:
1983           if (need_bitwise)
1984             {
1985               /* Only the first and last bytes can possibly have any
1986                  bits reused.  */
1987               read_memory (p->v.mem.addr + dest_offset, buffer, 1);
1988               read_memory (p->v.mem.addr + dest_offset + this_size - 1,
1989                            buffer + this_size - 1, 1);
1990               copy_bitwise (buffer, dest_offset_bits,
1991                             contents, source_offset_bits,
1992                             this_size_bits,
1993                             bits_big_endian);
1994             }
1995
1996           write_memory (p->v.mem.addr + dest_offset,
1997                         source_buffer, this_size);
1998           break;
1999         default:
2000           mark_value_bytes_optimized_out (to, 0, TYPE_LENGTH (value_type (to)));
2001           break;
2002         }
2003       offset += this_size_bits;
2004     }
2005
2006   do_cleanups (cleanup);
2007 }
2008
2009 /* An implementation of an lval_funcs method to see whether a value is
2010    a synthetic pointer.  */
2011
2012 static int
2013 check_pieced_synthetic_pointer (const struct value *value, int bit_offset,
2014                                 int bit_length)
2015 {
2016   struct piece_closure *c
2017     = (struct piece_closure *) value_computed_closure (value);
2018   int i;
2019
2020   bit_offset += 8 * value_offset (value);
2021   if (value_bitsize (value))
2022     bit_offset += value_bitpos (value);
2023
2024   for (i = 0; i < c->n_pieces && bit_length > 0; i++)
2025     {
2026       struct dwarf_expr_piece *p = &c->pieces[i];
2027       size_t this_size_bits = p->size;
2028
2029       if (bit_offset > 0)
2030         {
2031           if (bit_offset >= this_size_bits)
2032             {
2033               bit_offset -= this_size_bits;
2034               continue;
2035             }
2036
2037           bit_length -= this_size_bits - bit_offset;
2038           bit_offset = 0;
2039         }
2040       else
2041         bit_length -= this_size_bits;
2042
2043       if (p->location != DWARF_VALUE_IMPLICIT_POINTER)
2044         return 0;
2045     }
2046
2047   return 1;
2048 }
2049
2050 /* A wrapper function for get_frame_address_in_block.  */
2051
2052 static CORE_ADDR
2053 get_frame_address_in_block_wrapper (void *baton)
2054 {
2055   return get_frame_address_in_block ((struct frame_info *) baton);
2056 }
2057
2058 /* An implementation of an lval_funcs method to indirect through a
2059    pointer.  This handles the synthetic pointer case when needed.  */
2060
2061 static struct value *
2062 indirect_pieced_value (struct value *value)
2063 {
2064   struct piece_closure *c
2065     = (struct piece_closure *) value_computed_closure (value);
2066   struct type *type;
2067   struct frame_info *frame;
2068   struct dwarf2_locexpr_baton baton;
2069   int i, bit_offset, bit_length;
2070   struct dwarf_expr_piece *piece = NULL;
2071   LONGEST byte_offset;
2072   enum bfd_endian byte_order;
2073
2074   type = check_typedef (value_type (value));
2075   if (TYPE_CODE (type) != TYPE_CODE_PTR)
2076     return NULL;
2077
2078   bit_length = 8 * TYPE_LENGTH (type);
2079   bit_offset = 8 * value_offset (value);
2080   if (value_bitsize (value))
2081     bit_offset += value_bitpos (value);
2082
2083   for (i = 0; i < c->n_pieces && bit_length > 0; i++)
2084     {
2085       struct dwarf_expr_piece *p = &c->pieces[i];
2086       size_t this_size_bits = p->size;
2087
2088       if (bit_offset > 0)
2089         {
2090           if (bit_offset >= this_size_bits)
2091             {
2092               bit_offset -= this_size_bits;
2093               continue;
2094             }
2095
2096           bit_length -= this_size_bits - bit_offset;
2097           bit_offset = 0;
2098         }
2099       else
2100         bit_length -= this_size_bits;
2101
2102       if (p->location != DWARF_VALUE_IMPLICIT_POINTER)
2103         return NULL;
2104
2105       if (bit_length != 0)
2106         error (_("Invalid use of DW_OP_GNU_implicit_pointer"));
2107
2108       piece = p;
2109       break;
2110     }
2111
2112   frame = get_selected_frame (_("No frame selected."));
2113
2114   /* This is an offset requested by GDB, such as value subscripts.
2115      However, due to how synthetic pointers are implemented, this is
2116      always presented to us as a pointer type.  This means we have to
2117      sign-extend it manually as appropriate.  Use raw
2118      extract_signed_integer directly rather than value_as_address and
2119      sign extend afterwards on architectures that would need it
2120      (mostly everywhere except MIPS, which has signed addresses) as
2121      the later would go through gdbarch_pointer_to_address and thus
2122      return a CORE_ADDR with high bits set on architectures that
2123      encode address spaces and other things in CORE_ADDR.  */
2124   byte_order = gdbarch_byte_order (get_frame_arch (frame));
2125   byte_offset = extract_signed_integer (value_contents (value),
2126                                         TYPE_LENGTH (type), byte_order);
2127   byte_offset += piece->v.ptr.offset;
2128
2129   gdb_assert (piece);
2130   baton
2131     = dwarf2_fetch_die_loc_sect_off (piece->v.ptr.die, c->per_cu,
2132                                      get_frame_address_in_block_wrapper,
2133                                      frame);
2134
2135   if (baton.data != NULL)
2136     return dwarf2_evaluate_loc_desc_full (TYPE_TARGET_TYPE (type), frame,
2137                                           baton.data, baton.size, baton.per_cu,
2138                                           byte_offset);
2139
2140   {
2141     struct obstack temp_obstack;
2142     struct cleanup *cleanup;
2143     const gdb_byte *bytes;
2144     LONGEST len;
2145     struct value *result;
2146
2147     obstack_init (&temp_obstack);
2148     cleanup = make_cleanup_obstack_free (&temp_obstack);
2149
2150     bytes = dwarf2_fetch_constant_bytes (piece->v.ptr.die, c->per_cu,
2151                                          &temp_obstack, &len);
2152     if (bytes == NULL)
2153       result = allocate_optimized_out_value (TYPE_TARGET_TYPE (type));
2154     else
2155       {
2156         if (byte_offset < 0
2157             || byte_offset + TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > len)
2158           invalid_synthetic_pointer ();
2159         bytes += byte_offset;
2160         result = value_from_contents (TYPE_TARGET_TYPE (type), bytes);
2161       }
2162
2163     do_cleanups (cleanup);
2164     return result;
2165   }
2166 }
2167
2168 static void *
2169 copy_pieced_value_closure (const struct value *v)
2170 {
2171   struct piece_closure *c
2172     = (struct piece_closure *) value_computed_closure (v);
2173   
2174   ++c->refc;
2175   return c;
2176 }
2177
2178 static void
2179 free_pieced_value_closure (struct value *v)
2180 {
2181   struct piece_closure *c
2182     = (struct piece_closure *) value_computed_closure (v);
2183
2184   --c->refc;
2185   if (c->refc == 0)
2186     {
2187       int i;
2188
2189       for (i = 0; i < c->n_pieces; ++i)
2190         if (c->pieces[i].location == DWARF_VALUE_STACK)
2191           value_free (c->pieces[i].v.value);
2192
2193       xfree (c->pieces);
2194       xfree (c);
2195     }
2196 }
2197
2198 /* Functions for accessing a variable described by DW_OP_piece.  */
2199 static const struct lval_funcs pieced_value_funcs = {
2200   read_pieced_value,
2201   write_pieced_value,
2202   indirect_pieced_value,
2203   NULL, /* coerce_ref */
2204   check_pieced_synthetic_pointer,
2205   copy_pieced_value_closure,
2206   free_pieced_value_closure
2207 };
2208
2209 /* Virtual method table for dwarf2_evaluate_loc_desc_full below.  */
2210
2211 const struct dwarf_expr_context_funcs dwarf_expr_ctx_funcs =
2212 {
2213   dwarf_expr_read_addr_from_reg,
2214   dwarf_expr_get_reg_value,
2215   dwarf_expr_read_mem,
2216   dwarf_expr_frame_base,
2217   dwarf_expr_frame_cfa,
2218   dwarf_expr_frame_pc,
2219   dwarf_expr_tls_address,
2220   dwarf_expr_dwarf_call,
2221   dwarf_expr_get_base_type,
2222   dwarf_expr_push_dwarf_reg_entry_value,
2223   dwarf_expr_get_addr_index,
2224   dwarf_expr_get_obj_addr
2225 };
2226
2227 /* Evaluate a location description, starting at DATA and with length
2228    SIZE, to find the current location of variable of TYPE in the
2229    context of FRAME.  BYTE_OFFSET is applied after the contents are
2230    computed.  */
2231
2232 static struct value *
2233 dwarf2_evaluate_loc_desc_full (struct type *type, struct frame_info *frame,
2234                                const gdb_byte *data, size_t size,
2235                                struct dwarf2_per_cu_data *per_cu,
2236                                LONGEST byte_offset)
2237 {
2238   struct value *retval;
2239   struct dwarf_expr_baton baton;
2240   struct dwarf_expr_context *ctx;
2241   struct cleanup *old_chain, *value_chain;
2242   struct objfile *objfile = dwarf2_per_cu_objfile (per_cu);
2243
2244   if (byte_offset < 0)
2245     invalid_synthetic_pointer ();
2246
2247   if (size == 0)
2248     return allocate_optimized_out_value (type);
2249
2250   baton.frame = frame;
2251   baton.per_cu = per_cu;
2252   baton.obj_address = 0;
2253
2254   ctx = new_dwarf_expr_context ();
2255   old_chain = make_cleanup_free_dwarf_expr_context (ctx);
2256   value_chain = make_cleanup_value_free_to_mark (value_mark ());
2257
2258   ctx->gdbarch = get_objfile_arch (objfile);
2259   ctx->addr_size = dwarf2_per_cu_addr_size (per_cu);
2260   ctx->ref_addr_size = dwarf2_per_cu_ref_addr_size (per_cu);
2261   ctx->offset = dwarf2_per_cu_text_offset (per_cu);
2262   ctx->baton = &baton;
2263   ctx->funcs = &dwarf_expr_ctx_funcs;
2264
2265   TRY
2266     {
2267       dwarf_expr_eval (ctx, data, size);
2268     }
2269   CATCH (ex, RETURN_MASK_ERROR)
2270     {
2271       if (ex.error == NOT_AVAILABLE_ERROR)
2272         {
2273           do_cleanups (old_chain);
2274           retval = allocate_value (type);
2275           mark_value_bytes_unavailable (retval, 0, TYPE_LENGTH (type));
2276           return retval;
2277         }
2278       else if (ex.error == NO_ENTRY_VALUE_ERROR)
2279         {
2280           if (entry_values_debug)
2281             exception_print (gdb_stdout, ex);
2282           do_cleanups (old_chain);
2283           return allocate_optimized_out_value (type);
2284         }
2285       else
2286         throw_exception (ex);
2287     }
2288   END_CATCH
2289
2290   if (ctx->num_pieces > 0)
2291     {
2292       struct piece_closure *c;
2293       struct frame_id frame_id = get_frame_id (frame);
2294       ULONGEST bit_size = 0;
2295       int i;
2296
2297       for (i = 0; i < ctx->num_pieces; ++i)
2298         bit_size += ctx->pieces[i].size;
2299       if (8 * (byte_offset + TYPE_LENGTH (type)) > bit_size)
2300         invalid_synthetic_pointer ();
2301
2302       c = allocate_piece_closure (per_cu, ctx->num_pieces, ctx->pieces,
2303                                   ctx->addr_size);
2304       /* We must clean up the value chain after creating the piece
2305          closure but before allocating the result.  */
2306       do_cleanups (value_chain);
2307       retval = allocate_computed_value (type, &pieced_value_funcs, c);
2308       VALUE_FRAME_ID (retval) = frame_id;
2309       set_value_offset (retval, byte_offset);
2310     }
2311   else
2312     {
2313       switch (ctx->location)
2314         {
2315         case DWARF_VALUE_REGISTER:
2316           {
2317             struct gdbarch *arch = get_frame_arch (frame);
2318             int dwarf_regnum
2319               = longest_to_int (value_as_long (dwarf_expr_fetch (ctx, 0)));
2320             int gdb_regnum = dwarf_reg_to_regnum_or_error (arch, dwarf_regnum);
2321
2322             if (byte_offset != 0)
2323               error (_("cannot use offset on synthetic pointer to register"));
2324             do_cleanups (value_chain);
2325             retval = value_from_register (type, gdb_regnum, frame);
2326             if (value_optimized_out (retval))
2327               {
2328                 struct value *tmp;
2329
2330                 /* This means the register has undefined value / was
2331                    not saved.  As we're computing the location of some
2332                    variable etc. in the program, not a value for
2333                    inspecting a register ($pc, $sp, etc.), return a
2334                    generic optimized out value instead, so that we show
2335                    <optimized out> instead of <not saved>.  */
2336                 do_cleanups (value_chain);
2337                 tmp = allocate_value (type);
2338                 value_contents_copy (tmp, 0, retval, 0, TYPE_LENGTH (type));
2339                 retval = tmp;
2340               }
2341           }
2342           break;
2343
2344         case DWARF_VALUE_MEMORY:
2345           {
2346             CORE_ADDR address = dwarf_expr_fetch_address (ctx, 0);
2347             int in_stack_memory = dwarf_expr_fetch_in_stack_memory (ctx, 0);
2348
2349             do_cleanups (value_chain);
2350             retval = value_at_lazy (type, address + byte_offset);
2351             if (in_stack_memory)
2352               set_value_stack (retval, 1);
2353           }
2354           break;
2355
2356         case DWARF_VALUE_STACK:
2357           {
2358             struct value *value = dwarf_expr_fetch (ctx, 0);
2359             gdb_byte *contents;
2360             const gdb_byte *val_bytes;
2361             size_t n = TYPE_LENGTH (value_type (value));
2362
2363             if (byte_offset + TYPE_LENGTH (type) > n)
2364               invalid_synthetic_pointer ();
2365
2366             val_bytes = value_contents_all (value);
2367             val_bytes += byte_offset;
2368             n -= byte_offset;
2369
2370             /* Preserve VALUE because we are going to free values back
2371                to the mark, but we still need the value contents
2372                below.  */
2373             value_incref (value);
2374             do_cleanups (value_chain);
2375             make_cleanup_value_free (value);
2376
2377             retval = allocate_value (type);
2378             contents = value_contents_raw (retval);
2379             if (n > TYPE_LENGTH (type))
2380               {
2381                 struct gdbarch *objfile_gdbarch = get_objfile_arch (objfile);
2382
2383                 if (gdbarch_byte_order (objfile_gdbarch) == BFD_ENDIAN_BIG)
2384                   val_bytes += n - TYPE_LENGTH (type);
2385                 n = TYPE_LENGTH (type);
2386               }
2387             memcpy (contents, val_bytes, n);
2388           }
2389           break;
2390
2391         case DWARF_VALUE_LITERAL:
2392           {
2393             bfd_byte *contents;
2394             const bfd_byte *ldata;
2395             size_t n = ctx->len;
2396
2397             if (byte_offset + TYPE_LENGTH (type) > n)
2398               invalid_synthetic_pointer ();
2399
2400             do_cleanups (value_chain);
2401             retval = allocate_value (type);
2402             contents = value_contents_raw (retval);
2403
2404             ldata = ctx->data + byte_offset;
2405             n -= byte_offset;
2406
2407             if (n > TYPE_LENGTH (type))
2408               {
2409                 struct gdbarch *objfile_gdbarch = get_objfile_arch (objfile);
2410
2411                 if (gdbarch_byte_order (objfile_gdbarch) == BFD_ENDIAN_BIG)
2412                   ldata += n - TYPE_LENGTH (type);
2413                 n = TYPE_LENGTH (type);
2414               }
2415             memcpy (contents, ldata, n);
2416           }
2417           break;
2418
2419         case DWARF_VALUE_OPTIMIZED_OUT:
2420           do_cleanups (value_chain);
2421           retval = allocate_optimized_out_value (type);
2422           break;
2423
2424           /* DWARF_VALUE_IMPLICIT_POINTER was converted to a pieced
2425              operation by execute_stack_op.  */
2426         case DWARF_VALUE_IMPLICIT_POINTER:
2427           /* DWARF_VALUE_OPTIMIZED_OUT can't occur in this context --
2428              it can only be encountered when making a piece.  */
2429         default:
2430           internal_error (__FILE__, __LINE__, _("invalid location type"));
2431         }
2432     }
2433
2434   set_value_initialized (retval, ctx->initialized);
2435
2436   do_cleanups (old_chain);
2437
2438   return retval;
2439 }
2440
2441 /* The exported interface to dwarf2_evaluate_loc_desc_full; it always
2442    passes 0 as the byte_offset.  */
2443
2444 struct value *
2445 dwarf2_evaluate_loc_desc (struct type *type, struct frame_info *frame,
2446                           const gdb_byte *data, size_t size,
2447                           struct dwarf2_per_cu_data *per_cu)
2448 {
2449   return dwarf2_evaluate_loc_desc_full (type, frame, data, size, per_cu, 0);
2450 }
2451
2452 /* Evaluates a dwarf expression and stores the result in VAL, expecting
2453    that the dwarf expression only produces a single CORE_ADDR.  FRAME is the
2454    frame in which the expression is evaluated.  ADDR is a context (location of
2455    a variable) and might be needed to evaluate the location expression.
2456    Returns 1 on success, 0 otherwise.   */
2457
2458 static int
2459 dwarf2_locexpr_baton_eval (const struct dwarf2_locexpr_baton *dlbaton,
2460                            struct frame_info *frame,
2461                            CORE_ADDR addr,
2462                            CORE_ADDR *valp)
2463 {
2464   struct dwarf_expr_context *ctx;
2465   struct dwarf_expr_baton baton;
2466   struct objfile *objfile;
2467   struct cleanup *cleanup;
2468
2469   if (dlbaton == NULL || dlbaton->size == 0)
2470     return 0;
2471
2472   ctx = new_dwarf_expr_context ();
2473   cleanup = make_cleanup_free_dwarf_expr_context (ctx);
2474
2475   baton.frame = frame;
2476   baton.per_cu = dlbaton->per_cu;
2477   baton.obj_address = addr;
2478
2479   objfile = dwarf2_per_cu_objfile (dlbaton->per_cu);
2480
2481   ctx->gdbarch = get_objfile_arch (objfile);
2482   ctx->addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
2483   ctx->ref_addr_size = dwarf2_per_cu_ref_addr_size (dlbaton->per_cu);
2484   ctx->offset = dwarf2_per_cu_text_offset (dlbaton->per_cu);
2485   ctx->funcs = &dwarf_expr_ctx_funcs;
2486   ctx->baton = &baton;
2487
2488   dwarf_expr_eval (ctx, dlbaton->data, dlbaton->size);
2489
2490   switch (ctx->location)
2491     {
2492     case DWARF_VALUE_REGISTER:
2493     case DWARF_VALUE_MEMORY:
2494     case DWARF_VALUE_STACK:
2495       *valp = dwarf_expr_fetch_address (ctx, 0);
2496       if (ctx->location == DWARF_VALUE_REGISTER)
2497         *valp = dwarf_expr_read_addr_from_reg (&baton, *valp);
2498       do_cleanups (cleanup);
2499       return 1;
2500     case DWARF_VALUE_LITERAL:
2501       *valp = extract_signed_integer (ctx->data, ctx->len,
2502                                       gdbarch_byte_order (ctx->gdbarch));
2503       do_cleanups (cleanup);
2504       return 1;
2505       /* Unsupported dwarf values.  */
2506     case DWARF_VALUE_OPTIMIZED_OUT:
2507     case DWARF_VALUE_IMPLICIT_POINTER:
2508       break;
2509     }
2510
2511   do_cleanups (cleanup);
2512   return 0;
2513 }
2514
2515 /* See dwarf2loc.h.  */
2516
2517 int
2518 dwarf2_evaluate_property (const struct dynamic_prop *prop,
2519                           struct frame_info *frame,
2520                           struct property_addr_info *addr_stack,
2521                           CORE_ADDR *value)
2522 {
2523   if (prop == NULL)
2524     return 0;
2525
2526   if (frame == NULL && has_stack_frames ())
2527     frame = get_selected_frame (NULL);
2528
2529   switch (prop->kind)
2530     {
2531     case PROP_LOCEXPR:
2532       {
2533         const struct dwarf2_property_baton *baton
2534           = (const struct dwarf2_property_baton *) prop->data.baton;
2535
2536         if (dwarf2_locexpr_baton_eval (&baton->locexpr, frame,
2537                                        addr_stack ? addr_stack->addr : 0,
2538                                        value))
2539           {
2540             if (baton->referenced_type)
2541               {
2542                 struct value *val = value_at (baton->referenced_type, *value);
2543
2544                 *value = value_as_address (val);
2545               }
2546             return 1;
2547           }
2548       }
2549       break;
2550
2551     case PROP_LOCLIST:
2552       {
2553         struct dwarf2_property_baton *baton
2554           = (struct dwarf2_property_baton *) prop->data.baton;
2555         CORE_ADDR pc = get_frame_address_in_block (frame);
2556         const gdb_byte *data;
2557         struct value *val;
2558         size_t size;
2559
2560         data = dwarf2_find_location_expression (&baton->loclist, &size, pc);
2561         if (data != NULL)
2562           {
2563             val = dwarf2_evaluate_loc_desc (baton->referenced_type, frame, data,
2564                                             size, baton->loclist.per_cu);
2565             if (!value_optimized_out (val))
2566               {
2567                 *value = value_as_address (val);
2568                 return 1;
2569               }
2570           }
2571       }
2572       break;
2573
2574     case PROP_CONST:
2575       *value = prop->data.const_val;
2576       return 1;
2577
2578     case PROP_ADDR_OFFSET:
2579       {
2580         struct dwarf2_property_baton *baton
2581           = (struct dwarf2_property_baton *) prop->data.baton;
2582         struct property_addr_info *pinfo;
2583         struct value *val;
2584
2585         for (pinfo = addr_stack; pinfo != NULL; pinfo = pinfo->next)
2586           if (pinfo->type == baton->referenced_type)
2587             break;
2588         if (pinfo == NULL)
2589           error (_("cannot find reference address for offset property"));
2590         if (pinfo->valaddr != NULL)
2591           val = value_from_contents
2592                   (baton->offset_info.type,
2593                    pinfo->valaddr + baton->offset_info.offset);
2594         else
2595           val = value_at (baton->offset_info.type,
2596                           pinfo->addr + baton->offset_info.offset);
2597         *value = value_as_address (val);
2598         return 1;
2599       }
2600     }
2601
2602   return 0;
2603 }
2604
2605 /* See dwarf2loc.h.  */
2606
2607 void
2608 dwarf2_compile_property_to_c (struct ui_file *stream,
2609                               const char *result_name,
2610                               struct gdbarch *gdbarch,
2611                               unsigned char *registers_used,
2612                               const struct dynamic_prop *prop,
2613                               CORE_ADDR pc,
2614                               struct symbol *sym)
2615 {
2616   struct dwarf2_property_baton *baton
2617     = (struct dwarf2_property_baton *) prop->data.baton;
2618   const gdb_byte *data;
2619   size_t size;
2620   struct dwarf2_per_cu_data *per_cu;
2621
2622   if (prop->kind == PROP_LOCEXPR)
2623     {
2624       data = baton->locexpr.data;
2625       size = baton->locexpr.size;
2626       per_cu = baton->locexpr.per_cu;
2627     }
2628   else
2629     {
2630       gdb_assert (prop->kind == PROP_LOCLIST);
2631
2632       data = dwarf2_find_location_expression (&baton->loclist, &size, pc);
2633       per_cu = baton->loclist.per_cu;
2634     }
2635
2636   compile_dwarf_bounds_to_c (stream, result_name, prop, sym, pc,
2637                              gdbarch, registers_used,
2638                              dwarf2_per_cu_addr_size (per_cu),
2639                              data, data + size, per_cu);
2640 }
2641
2642 \f
2643 /* Helper functions and baton for dwarf2_loc_desc_needs_frame.  */
2644
2645 struct needs_frame_baton
2646 {
2647   int needs_frame;
2648   struct dwarf2_per_cu_data *per_cu;
2649 };
2650
2651 /* Reads from registers do require a frame.  */
2652 static CORE_ADDR
2653 needs_frame_read_addr_from_reg (void *baton, int regnum)
2654 {
2655   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) baton;
2656
2657   nf_baton->needs_frame = 1;
2658   return 1;
2659 }
2660
2661 /* struct dwarf_expr_context_funcs' "get_reg_value" callback:
2662    Reads from registers do require a frame.  */
2663
2664 static struct value *
2665 needs_frame_get_reg_value (void *baton, struct type *type, int regnum)
2666 {
2667   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) baton;
2668
2669   nf_baton->needs_frame = 1;
2670   return value_zero (type, not_lval);
2671 }
2672
2673 /* Reads from memory do not require a frame.  */
2674 static void
2675 needs_frame_read_mem (void *baton, gdb_byte *buf, CORE_ADDR addr, size_t len)
2676 {
2677   memset (buf, 0, len);
2678 }
2679
2680 /* Frame-relative accesses do require a frame.  */
2681 static void
2682 needs_frame_frame_base (void *baton, const gdb_byte **start, size_t * length)
2683 {
2684   static gdb_byte lit0 = DW_OP_lit0;
2685   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) baton;
2686
2687   *start = &lit0;
2688   *length = 1;
2689
2690   nf_baton->needs_frame = 1;
2691 }
2692
2693 /* CFA accesses require a frame.  */
2694
2695 static CORE_ADDR
2696 needs_frame_frame_cfa (void *baton)
2697 {
2698   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) baton;
2699
2700   nf_baton->needs_frame = 1;
2701   return 1;
2702 }
2703
2704 /* Thread-local accesses do require a frame.  */
2705 static CORE_ADDR
2706 needs_frame_tls_address (void *baton, CORE_ADDR offset)
2707 {
2708   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) baton;
2709
2710   nf_baton->needs_frame = 1;
2711   return 1;
2712 }
2713
2714 /* Helper interface of per_cu_dwarf_call for dwarf2_loc_desc_needs_frame.  */
2715
2716 static void
2717 needs_frame_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset)
2718 {
2719   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) ctx->baton;
2720
2721   per_cu_dwarf_call (ctx, die_offset, nf_baton->per_cu,
2722                      ctx->funcs->get_frame_pc, ctx->baton);
2723 }
2724
2725 /* DW_OP_GNU_entry_value accesses require a caller, therefore a frame.  */
2726
2727 static void
2728 needs_dwarf_reg_entry_value (struct dwarf_expr_context *ctx,
2729                              enum call_site_parameter_kind kind,
2730                              union call_site_parameter_u kind_u, int deref_size)
2731 {
2732   struct needs_frame_baton *nf_baton = (struct needs_frame_baton *) ctx->baton;
2733
2734   nf_baton->needs_frame = 1;
2735
2736   /* The expression may require some stub values on DWARF stack.  */
2737   dwarf_expr_push_address (ctx, 0, 0);
2738 }
2739
2740 /* DW_OP_GNU_addr_index doesn't require a frame.  */
2741
2742 static CORE_ADDR
2743 needs_get_addr_index (void *baton, unsigned int index)
2744 {
2745   /* Nothing to do.  */
2746   return 1;
2747 }
2748
2749 /* DW_OP_push_object_address has a frame already passed through.  */
2750
2751 static CORE_ADDR
2752 needs_get_obj_addr (void *baton)
2753 {
2754   /* Nothing to do.  */
2755   return 1;
2756 }
2757
2758 /* Virtual method table for dwarf2_loc_desc_needs_frame below.  */
2759
2760 static const struct dwarf_expr_context_funcs needs_frame_ctx_funcs =
2761 {
2762   needs_frame_read_addr_from_reg,
2763   needs_frame_get_reg_value,
2764   needs_frame_read_mem,
2765   needs_frame_frame_base,
2766   needs_frame_frame_cfa,
2767   needs_frame_frame_cfa,        /* get_frame_pc */
2768   needs_frame_tls_address,
2769   needs_frame_dwarf_call,
2770   NULL,                         /* get_base_type */
2771   needs_dwarf_reg_entry_value,
2772   needs_get_addr_index,
2773   needs_get_obj_addr
2774 };
2775
2776 /* Return non-zero iff the location expression at DATA (length SIZE)
2777    requires a frame to evaluate.  */
2778
2779 static int
2780 dwarf2_loc_desc_needs_frame (const gdb_byte *data, size_t size,
2781                              struct dwarf2_per_cu_data *per_cu)
2782 {
2783   struct needs_frame_baton baton;
2784   struct dwarf_expr_context *ctx;
2785   int in_reg;
2786   struct cleanup *old_chain;
2787   struct objfile *objfile = dwarf2_per_cu_objfile (per_cu);
2788
2789   baton.needs_frame = 0;
2790   baton.per_cu = per_cu;
2791
2792   ctx = new_dwarf_expr_context ();
2793   old_chain = make_cleanup_free_dwarf_expr_context (ctx);
2794   make_cleanup_value_free_to_mark (value_mark ());
2795
2796   ctx->gdbarch = get_objfile_arch (objfile);
2797   ctx->addr_size = dwarf2_per_cu_addr_size (per_cu);
2798   ctx->ref_addr_size = dwarf2_per_cu_ref_addr_size (per_cu);
2799   ctx->offset = dwarf2_per_cu_text_offset (per_cu);
2800   ctx->baton = &baton;
2801   ctx->funcs = &needs_frame_ctx_funcs;
2802
2803   dwarf_expr_eval (ctx, data, size);
2804
2805   in_reg = ctx->location == DWARF_VALUE_REGISTER;
2806
2807   if (ctx->num_pieces > 0)
2808     {
2809       int i;
2810
2811       /* If the location has several pieces, and any of them are in
2812          registers, then we will need a frame to fetch them from.  */
2813       for (i = 0; i < ctx->num_pieces; i++)
2814         if (ctx->pieces[i].location == DWARF_VALUE_REGISTER)
2815           in_reg = 1;
2816     }
2817
2818   do_cleanups (old_chain);
2819
2820   return baton.needs_frame || in_reg;
2821 }
2822
2823 /* A helper function that throws an unimplemented error mentioning a
2824    given DWARF operator.  */
2825
2826 static void
2827 unimplemented (unsigned int op)
2828 {
2829   const char *name = get_DW_OP_name (op);
2830
2831   if (name)
2832     error (_("DWARF operator %s cannot be translated to an agent expression"),
2833            name);
2834   else
2835     error (_("Unknown DWARF operator 0x%02x cannot be translated "
2836              "to an agent expression"),
2837            op);
2838 }
2839
2840 /* See dwarf2loc.h.
2841
2842    This is basically a wrapper on gdbarch_dwarf2_reg_to_regnum so that we
2843    can issue a complaint, which is better than having every target's
2844    implementation of dwarf2_reg_to_regnum do it.  */
2845
2846 int
2847 dwarf_reg_to_regnum (struct gdbarch *arch, int dwarf_reg)
2848 {
2849   int reg = gdbarch_dwarf2_reg_to_regnum (arch, dwarf_reg);
2850
2851   if (reg == -1)
2852     {
2853       complaint (&symfile_complaints,
2854                  _("bad DWARF register number %d"), dwarf_reg);
2855     }
2856   return reg;
2857 }
2858
2859 /* Subroutine of dwarf_reg_to_regnum_or_error to simplify it.
2860    Throw an error because DWARF_REG is bad.  */
2861
2862 static void
2863 throw_bad_regnum_error (ULONGEST dwarf_reg)
2864 {
2865   /* Still want to print -1 as "-1".
2866      We *could* have int and ULONGEST versions of dwarf2_reg_to_regnum_or_error
2867      but that's overkill for now.  */
2868   if ((int) dwarf_reg == dwarf_reg)
2869     error (_("Unable to access DWARF register number %d"), (int) dwarf_reg);
2870   error (_("Unable to access DWARF register number %s"),
2871          pulongest (dwarf_reg));
2872 }
2873
2874 /* See dwarf2loc.h.  */
2875
2876 int
2877 dwarf_reg_to_regnum_or_error (struct gdbarch *arch, ULONGEST dwarf_reg)
2878 {
2879   int reg;
2880
2881   if (dwarf_reg > INT_MAX)
2882     throw_bad_regnum_error (dwarf_reg);
2883   /* Yes, we will end up issuing a complaint and an error if DWARF_REG is
2884      bad, but that's ok.  */
2885   reg = dwarf_reg_to_regnum (arch, (int) dwarf_reg);
2886   if (reg == -1)
2887     throw_bad_regnum_error (dwarf_reg);
2888   return reg;
2889 }
2890
2891 /* A helper function that emits an access to memory.  ARCH is the
2892    target architecture.  EXPR is the expression which we are building.
2893    NBITS is the number of bits we want to read.  This emits the
2894    opcodes needed to read the memory and then extract the desired
2895    bits.  */
2896
2897 static void
2898 access_memory (struct gdbarch *arch, struct agent_expr *expr, ULONGEST nbits)
2899 {
2900   ULONGEST nbytes = (nbits + 7) / 8;
2901
2902   gdb_assert (nbytes > 0 && nbytes <= sizeof (LONGEST));
2903
2904   if (expr->tracing)
2905     ax_trace_quick (expr, nbytes);
2906
2907   if (nbits <= 8)
2908     ax_simple (expr, aop_ref8);
2909   else if (nbits <= 16)
2910     ax_simple (expr, aop_ref16);
2911   else if (nbits <= 32)
2912     ax_simple (expr, aop_ref32);
2913   else
2914     ax_simple (expr, aop_ref64);
2915
2916   /* If we read exactly the number of bytes we wanted, we're done.  */
2917   if (8 * nbytes == nbits)
2918     return;
2919
2920   if (gdbarch_bits_big_endian (arch))
2921     {
2922       /* On a bits-big-endian machine, we want the high-order
2923          NBITS.  */
2924       ax_const_l (expr, 8 * nbytes - nbits);
2925       ax_simple (expr, aop_rsh_unsigned);
2926     }
2927   else
2928     {
2929       /* On a bits-little-endian box, we want the low-order NBITS.  */
2930       ax_zero_ext (expr, nbits);
2931     }
2932 }
2933
2934 /* A helper function to return the frame's PC.  */
2935
2936 static CORE_ADDR
2937 get_ax_pc (void *baton)
2938 {
2939   struct agent_expr *expr = (struct agent_expr *) baton;
2940
2941   return expr->scope;
2942 }
2943
2944 /* Compile a DWARF location expression to an agent expression.
2945    
2946    EXPR is the agent expression we are building.
2947    LOC is the agent value we modify.
2948    ARCH is the architecture.
2949    ADDR_SIZE is the size of addresses, in bytes.
2950    OP_PTR is the start of the location expression.
2951    OP_END is one past the last byte of the location expression.
2952    
2953    This will throw an exception for various kinds of errors -- for
2954    example, if the expression cannot be compiled, or if the expression
2955    is invalid.  */
2956
2957 void
2958 dwarf2_compile_expr_to_ax (struct agent_expr *expr, struct axs_value *loc,
2959                            struct gdbarch *arch, unsigned int addr_size,
2960                            const gdb_byte *op_ptr, const gdb_byte *op_end,
2961                            struct dwarf2_per_cu_data *per_cu)
2962 {
2963   struct cleanup *cleanups;
2964   int i, *offsets;
2965   VEC(int) *dw_labels = NULL, *patches = NULL;
2966   const gdb_byte * const base = op_ptr;
2967   const gdb_byte *previous_piece = op_ptr;
2968   enum bfd_endian byte_order = gdbarch_byte_order (arch);
2969   ULONGEST bits_collected = 0;
2970   unsigned int addr_size_bits = 8 * addr_size;
2971   int bits_big_endian = gdbarch_bits_big_endian (arch);
2972
2973   offsets = XNEWVEC (int, op_end - op_ptr);
2974   cleanups = make_cleanup (xfree, offsets);
2975
2976   for (i = 0; i < op_end - op_ptr; ++i)
2977     offsets[i] = -1;
2978
2979   make_cleanup (VEC_cleanup (int), &dw_labels);
2980   make_cleanup (VEC_cleanup (int), &patches);
2981
2982   /* By default we are making an address.  */
2983   loc->kind = axs_lvalue_memory;
2984
2985   while (op_ptr < op_end)
2986     {
2987       enum dwarf_location_atom op = (enum dwarf_location_atom) *op_ptr;
2988       uint64_t uoffset, reg;
2989       int64_t offset;
2990       int i;
2991
2992       offsets[op_ptr - base] = expr->len;
2993       ++op_ptr;
2994
2995       /* Our basic approach to code generation is to map DWARF
2996          operations directly to AX operations.  However, there are
2997          some differences.
2998
2999          First, DWARF works on address-sized units, but AX always uses
3000          LONGEST.  For most operations we simply ignore this
3001          difference; instead we generate sign extensions as needed
3002          before division and comparison operations.  It would be nice
3003          to omit the sign extensions, but there is no way to determine
3004          the size of the target's LONGEST.  (This code uses the size
3005          of the host LONGEST in some cases -- that is a bug but it is
3006          difficult to fix.)
3007
3008          Second, some DWARF operations cannot be translated to AX.
3009          For these we simply fail.  See
3010          http://sourceware.org/bugzilla/show_bug.cgi?id=11662.  */
3011       switch (op)
3012         {
3013         case DW_OP_lit0:
3014         case DW_OP_lit1:
3015         case DW_OP_lit2:
3016         case DW_OP_lit3:
3017         case DW_OP_lit4:
3018         case DW_OP_lit5:
3019         case DW_OP_lit6:
3020         case DW_OP_lit7:
3021         case DW_OP_lit8:
3022         case DW_OP_lit9:
3023         case DW_OP_lit10:
3024         case DW_OP_lit11:
3025         case DW_OP_lit12:
3026         case DW_OP_lit13:
3027         case DW_OP_lit14:
3028         case DW_OP_lit15:
3029         case DW_OP_lit16:
3030         case DW_OP_lit17:
3031         case DW_OP_lit18:
3032         case DW_OP_lit19:
3033         case DW_OP_lit20:
3034         case DW_OP_lit21:
3035         case DW_OP_lit22:
3036         case DW_OP_lit23:
3037         case DW_OP_lit24:
3038         case DW_OP_lit25:
3039         case DW_OP_lit26:
3040         case DW_OP_lit27:
3041         case DW_OP_lit28:
3042         case DW_OP_lit29:
3043         case DW_OP_lit30:
3044         case DW_OP_lit31:
3045           ax_const_l (expr, op - DW_OP_lit0);
3046           break;
3047
3048         case DW_OP_addr:
3049           uoffset = extract_unsigned_integer (op_ptr, addr_size, byte_order);
3050           op_ptr += addr_size;
3051           /* Some versions of GCC emit DW_OP_addr before
3052              DW_OP_GNU_push_tls_address.  In this case the value is an
3053              index, not an address.  We don't support things like
3054              branching between the address and the TLS op.  */
3055           if (op_ptr >= op_end || *op_ptr != DW_OP_GNU_push_tls_address)
3056             uoffset += dwarf2_per_cu_text_offset (per_cu);
3057           ax_const_l (expr, uoffset);
3058           break;
3059
3060         case DW_OP_const1u:
3061           ax_const_l (expr, extract_unsigned_integer (op_ptr, 1, byte_order));
3062           op_ptr += 1;
3063           break;
3064         case DW_OP_const1s:
3065           ax_const_l (expr, extract_signed_integer (op_ptr, 1, byte_order));
3066           op_ptr += 1;
3067           break;
3068         case DW_OP_const2u:
3069           ax_const_l (expr, extract_unsigned_integer (op_ptr, 2, byte_order));
3070           op_ptr += 2;
3071           break;
3072         case DW_OP_const2s:
3073           ax_const_l (expr, extract_signed_integer (op_ptr, 2, byte_order));
3074           op_ptr += 2;
3075           break;
3076         case DW_OP_const4u:
3077           ax_const_l (expr, extract_unsigned_integer (op_ptr, 4, byte_order));
3078           op_ptr += 4;
3079           break;
3080         case DW_OP_const4s:
3081           ax_const_l (expr, extract_signed_integer (op_ptr, 4, byte_order));
3082           op_ptr += 4;
3083           break;
3084         case DW_OP_const8u:
3085           ax_const_l (expr, extract_unsigned_integer (op_ptr, 8, byte_order));
3086           op_ptr += 8;
3087           break;
3088         case DW_OP_const8s:
3089           ax_const_l (expr, extract_signed_integer (op_ptr, 8, byte_order));
3090           op_ptr += 8;
3091           break;
3092         case DW_OP_constu:
3093           op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
3094           ax_const_l (expr, uoffset);
3095           break;
3096         case DW_OP_consts:
3097           op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
3098           ax_const_l (expr, offset);
3099           break;
3100
3101         case DW_OP_reg0:
3102         case DW_OP_reg1:
3103         case DW_OP_reg2:
3104         case DW_OP_reg3:
3105         case DW_OP_reg4:
3106         case DW_OP_reg5:
3107         case DW_OP_reg6:
3108         case DW_OP_reg7:
3109         case DW_OP_reg8:
3110         case DW_OP_reg9:
3111         case DW_OP_reg10:
3112         case DW_OP_reg11:
3113         case DW_OP_reg12:
3114         case DW_OP_reg13:
3115         case DW_OP_reg14:
3116         case DW_OP_reg15:
3117         case DW_OP_reg16:
3118         case DW_OP_reg17:
3119         case DW_OP_reg18:
3120         case DW_OP_reg19:
3121         case DW_OP_reg20:
3122         case DW_OP_reg21:
3123         case DW_OP_reg22:
3124         case DW_OP_reg23:
3125         case DW_OP_reg24:
3126         case DW_OP_reg25:
3127         case DW_OP_reg26:
3128         case DW_OP_reg27:
3129         case DW_OP_reg28:
3130         case DW_OP_reg29:
3131         case DW_OP_reg30:
3132         case DW_OP_reg31:
3133           dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
3134           loc->u.reg = dwarf_reg_to_regnum_or_error (arch, op - DW_OP_reg0);
3135           loc->kind = axs_lvalue_register;
3136           break;
3137
3138         case DW_OP_regx:
3139           op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3140           dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
3141           loc->u.reg = dwarf_reg_to_regnum_or_error (arch, reg);
3142           loc->kind = axs_lvalue_register;
3143           break;
3144
3145         case DW_OP_implicit_value:
3146           {
3147             uint64_t len;
3148
3149             op_ptr = safe_read_uleb128 (op_ptr, op_end, &len);
3150             if (op_ptr + len > op_end)
3151               error (_("DW_OP_implicit_value: too few bytes available."));
3152             if (len > sizeof (ULONGEST))
3153               error (_("Cannot translate DW_OP_implicit_value of %d bytes"),
3154                      (int) len);
3155
3156             ax_const_l (expr, extract_unsigned_integer (op_ptr, len,
3157                                                         byte_order));
3158             op_ptr += len;
3159             dwarf_expr_require_composition (op_ptr, op_end,
3160                                             "DW_OP_implicit_value");
3161
3162             loc->kind = axs_rvalue;
3163           }
3164           break;
3165
3166         case DW_OP_stack_value:
3167           dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_stack_value");
3168           loc->kind = axs_rvalue;
3169           break;
3170
3171         case DW_OP_breg0:
3172         case DW_OP_breg1:
3173         case DW_OP_breg2:
3174         case DW_OP_breg3:
3175         case DW_OP_breg4:
3176         case DW_OP_breg5:
3177         case DW_OP_breg6:
3178         case DW_OP_breg7:
3179         case DW_OP_breg8:
3180         case DW_OP_breg9:
3181         case DW_OP_breg10:
3182         case DW_OP_breg11:
3183         case DW_OP_breg12:
3184         case DW_OP_breg13:
3185         case DW_OP_breg14:
3186         case DW_OP_breg15:
3187         case DW_OP_breg16:
3188         case DW_OP_breg17:
3189         case DW_OP_breg18:
3190         case DW_OP_breg19:
3191         case DW_OP_breg20:
3192         case DW_OP_breg21:
3193         case DW_OP_breg22:
3194         case DW_OP_breg23:
3195         case DW_OP_breg24:
3196         case DW_OP_breg25:
3197         case DW_OP_breg26:
3198         case DW_OP_breg27:
3199         case DW_OP_breg28:
3200         case DW_OP_breg29:
3201         case DW_OP_breg30:
3202         case DW_OP_breg31:
3203           op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
3204           i = dwarf_reg_to_regnum_or_error (arch, op - DW_OP_breg0);
3205           ax_reg (expr, i);
3206           if (offset != 0)
3207             {
3208               ax_const_l (expr, offset);
3209               ax_simple (expr, aop_add);
3210             }
3211           break;
3212         case DW_OP_bregx:
3213           {
3214             op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3215             op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
3216             i = dwarf_reg_to_regnum_or_error (arch, reg);
3217             ax_reg (expr, i);
3218             if (offset != 0)
3219               {
3220                 ax_const_l (expr, offset);
3221                 ax_simple (expr, aop_add);
3222               }
3223           }
3224           break;
3225         case DW_OP_fbreg:
3226           {
3227             const gdb_byte *datastart;
3228             size_t datalen;
3229             const struct block *b;
3230             struct symbol *framefunc;
3231
3232             b = block_for_pc (expr->scope);
3233
3234             if (!b)
3235               error (_("No block found for address"));
3236
3237             framefunc = block_linkage_function (b);
3238
3239             if (!framefunc)
3240               error (_("No function found for block"));
3241
3242             func_get_frame_base_dwarf_block (framefunc, expr->scope,
3243                                              &datastart, &datalen);
3244
3245             op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
3246             dwarf2_compile_expr_to_ax (expr, loc, arch, addr_size, datastart,
3247                                        datastart + datalen, per_cu);
3248             if (loc->kind == axs_lvalue_register)
3249               require_rvalue (expr, loc);
3250
3251             if (offset != 0)
3252               {
3253                 ax_const_l (expr, offset);
3254                 ax_simple (expr, aop_add);
3255               }
3256
3257             loc->kind = axs_lvalue_memory;
3258           }
3259           break;
3260
3261         case DW_OP_dup:
3262           ax_simple (expr, aop_dup);
3263           break;
3264
3265         case DW_OP_drop:
3266           ax_simple (expr, aop_pop);
3267           break;
3268
3269         case DW_OP_pick:
3270           offset = *op_ptr++;
3271           ax_pick (expr, offset);
3272           break;
3273           
3274         case DW_OP_swap:
3275           ax_simple (expr, aop_swap);
3276           break;
3277
3278         case DW_OP_over:
3279           ax_pick (expr, 1);
3280           break;
3281
3282         case DW_OP_rot:
3283           ax_simple (expr, aop_rot);
3284           break;
3285
3286         case DW_OP_deref:
3287         case DW_OP_deref_size:
3288           {
3289             int size;
3290
3291             if (op == DW_OP_deref_size)
3292               size = *op_ptr++;
3293             else
3294               size = addr_size;
3295
3296             if (size != 1 && size != 2 && size != 4 && size != 8)
3297               error (_("Unsupported size %d in %s"),
3298                      size, get_DW_OP_name (op));
3299             access_memory (arch, expr, size * TARGET_CHAR_BIT);
3300           }
3301           break;
3302
3303         case DW_OP_abs:
3304           /* Sign extend the operand.  */
3305           ax_ext (expr, addr_size_bits);
3306           ax_simple (expr, aop_dup);
3307           ax_const_l (expr, 0);
3308           ax_simple (expr, aop_less_signed);
3309           ax_simple (expr, aop_log_not);
3310           i = ax_goto (expr, aop_if_goto);
3311           /* We have to emit 0 - X.  */
3312           ax_const_l (expr, 0);
3313           ax_simple (expr, aop_swap);
3314           ax_simple (expr, aop_sub);
3315           ax_label (expr, i, expr->len);
3316           break;
3317
3318         case DW_OP_neg:
3319           /* No need to sign extend here.  */
3320           ax_const_l (expr, 0);
3321           ax_simple (expr, aop_swap);
3322           ax_simple (expr, aop_sub);
3323           break;
3324
3325         case DW_OP_not:
3326           /* Sign extend the operand.  */
3327           ax_ext (expr, addr_size_bits);
3328           ax_simple (expr, aop_bit_not);
3329           break;
3330
3331         case DW_OP_plus_uconst:
3332           op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3333           /* It would be really weird to emit `DW_OP_plus_uconst 0',
3334              but we micro-optimize anyhow.  */
3335           if (reg != 0)
3336             {
3337               ax_const_l (expr, reg);
3338               ax_simple (expr, aop_add);
3339             }
3340           break;
3341
3342         case DW_OP_and:
3343           ax_simple (expr, aop_bit_and);
3344           break;
3345
3346         case DW_OP_div:
3347           /* Sign extend the operands.  */
3348           ax_ext (expr, addr_size_bits);
3349           ax_simple (expr, aop_swap);
3350           ax_ext (expr, addr_size_bits);
3351           ax_simple (expr, aop_swap);
3352           ax_simple (expr, aop_div_signed);
3353           break;
3354
3355         case DW_OP_minus:
3356           ax_simple (expr, aop_sub);
3357           break;
3358
3359         case DW_OP_mod:
3360           ax_simple (expr, aop_rem_unsigned);
3361           break;
3362
3363         case DW_OP_mul:
3364           ax_simple (expr, aop_mul);
3365           break;
3366
3367         case DW_OP_or:
3368           ax_simple (expr, aop_bit_or);
3369           break;
3370
3371         case DW_OP_plus:
3372           ax_simple (expr, aop_add);
3373           break;
3374
3375         case DW_OP_shl:
3376           ax_simple (expr, aop_lsh);
3377           break;
3378
3379         case DW_OP_shr:
3380           ax_simple (expr, aop_rsh_unsigned);
3381           break;
3382
3383         case DW_OP_shra:
3384           ax_simple (expr, aop_rsh_signed);
3385           break;
3386
3387         case DW_OP_xor:
3388           ax_simple (expr, aop_bit_xor);
3389           break;
3390
3391         case DW_OP_le:
3392           /* Sign extend the operands.  */
3393           ax_ext (expr, addr_size_bits);
3394           ax_simple (expr, aop_swap);
3395           ax_ext (expr, addr_size_bits);
3396           /* Note no swap here: A <= B is !(B < A).  */
3397           ax_simple (expr, aop_less_signed);
3398           ax_simple (expr, aop_log_not);
3399           break;
3400
3401         case DW_OP_ge:
3402           /* Sign extend the operands.  */
3403           ax_ext (expr, addr_size_bits);
3404           ax_simple (expr, aop_swap);
3405           ax_ext (expr, addr_size_bits);
3406           ax_simple (expr, aop_swap);
3407           /* A >= B is !(A < B).  */
3408           ax_simple (expr, aop_less_signed);
3409           ax_simple (expr, aop_log_not);
3410           break;
3411
3412         case DW_OP_eq:
3413           /* Sign extend the operands.  */
3414           ax_ext (expr, addr_size_bits);
3415           ax_simple (expr, aop_swap);
3416           ax_ext (expr, addr_size_bits);
3417           /* No need for a second swap here.  */
3418           ax_simple (expr, aop_equal);
3419           break;
3420
3421         case DW_OP_lt:
3422           /* Sign extend the operands.  */
3423           ax_ext (expr, addr_size_bits);
3424           ax_simple (expr, aop_swap);
3425           ax_ext (expr, addr_size_bits);
3426           ax_simple (expr, aop_swap);
3427           ax_simple (expr, aop_less_signed);
3428           break;
3429
3430         case DW_OP_gt:
3431           /* Sign extend the operands.  */
3432           ax_ext (expr, addr_size_bits);
3433           ax_simple (expr, aop_swap);
3434           ax_ext (expr, addr_size_bits);
3435           /* Note no swap here: A > B is B < A.  */
3436           ax_simple (expr, aop_less_signed);
3437           break;
3438
3439         case DW_OP_ne:
3440           /* Sign extend the operands.  */
3441           ax_ext (expr, addr_size_bits);
3442           ax_simple (expr, aop_swap);
3443           ax_ext (expr, addr_size_bits);
3444           /* No need for a swap here.  */
3445           ax_simple (expr, aop_equal);
3446           ax_simple (expr, aop_log_not);
3447           break;
3448
3449         case DW_OP_call_frame_cfa:
3450           {
3451             int regnum;
3452             CORE_ADDR text_offset;
3453             LONGEST off;
3454             const gdb_byte *cfa_start, *cfa_end;
3455
3456             if (dwarf2_fetch_cfa_info (arch, expr->scope, per_cu,
3457                                        &regnum, &off,
3458                                        &text_offset, &cfa_start, &cfa_end))
3459               {
3460                 /* Register.  */
3461                 ax_reg (expr, regnum);
3462                 if (off != 0)
3463                   {
3464                     ax_const_l (expr, off);
3465                     ax_simple (expr, aop_add);
3466                   }
3467               }
3468             else
3469               {
3470                 /* Another expression.  */
3471                 ax_const_l (expr, text_offset);
3472                 dwarf2_compile_expr_to_ax (expr, loc, arch, addr_size,
3473                                            cfa_start, cfa_end, per_cu);
3474               }
3475
3476             loc->kind = axs_lvalue_memory;
3477           }
3478           break;
3479
3480         case DW_OP_GNU_push_tls_address:
3481           unimplemented (op);
3482           break;
3483
3484         case DW_OP_push_object_address:
3485           unimplemented (op);
3486           break;
3487
3488         case DW_OP_skip:
3489           offset = extract_signed_integer (op_ptr, 2, byte_order);
3490           op_ptr += 2;
3491           i = ax_goto (expr, aop_goto);
3492           VEC_safe_push (int, dw_labels, op_ptr + offset - base);
3493           VEC_safe_push (int, patches, i);
3494           break;
3495
3496         case DW_OP_bra:
3497           offset = extract_signed_integer (op_ptr, 2, byte_order);
3498           op_ptr += 2;
3499           /* Zero extend the operand.  */
3500           ax_zero_ext (expr, addr_size_bits);
3501           i = ax_goto (expr, aop_if_goto);
3502           VEC_safe_push (int, dw_labels, op_ptr + offset - base);
3503           VEC_safe_push (int, patches, i);
3504           break;
3505
3506         case DW_OP_nop:
3507           break;
3508
3509         case DW_OP_piece:
3510         case DW_OP_bit_piece:
3511           {
3512             uint64_t size, offset;
3513
3514             if (op_ptr - 1 == previous_piece)
3515               error (_("Cannot translate empty pieces to agent expressions"));
3516             previous_piece = op_ptr - 1;
3517
3518             op_ptr = safe_read_uleb128 (op_ptr, op_end, &size);
3519             if (op == DW_OP_piece)
3520               {
3521                 size *= 8;
3522                 offset = 0;
3523               }
3524             else
3525               op_ptr = safe_read_uleb128 (op_ptr, op_end, &offset);
3526
3527             if (bits_collected + size > 8 * sizeof (LONGEST))
3528               error (_("Expression pieces exceed word size"));
3529
3530             /* Access the bits.  */
3531             switch (loc->kind)
3532               {
3533               case axs_lvalue_register:
3534                 ax_reg (expr, loc->u.reg);
3535                 break;
3536
3537               case axs_lvalue_memory:
3538                 /* Offset the pointer, if needed.  */
3539                 if (offset > 8)
3540                   {
3541                     ax_const_l (expr, offset / 8);
3542                     ax_simple (expr, aop_add);
3543                     offset %= 8;
3544                   }
3545                 access_memory (arch, expr, size);
3546                 break;
3547               }
3548
3549             /* For a bits-big-endian target, shift up what we already
3550                have.  For a bits-little-endian target, shift up the
3551                new data.  Note that there is a potential bug here if
3552                the DWARF expression leaves multiple values on the
3553                stack.  */
3554             if (bits_collected > 0)
3555               {
3556                 if (bits_big_endian)
3557                   {
3558                     ax_simple (expr, aop_swap);
3559                     ax_const_l (expr, size);
3560                     ax_simple (expr, aop_lsh);
3561                     /* We don't need a second swap here, because
3562                        aop_bit_or is symmetric.  */
3563                   }
3564                 else
3565                   {
3566                     ax_const_l (expr, size);
3567                     ax_simple (expr, aop_lsh);
3568                   }
3569                 ax_simple (expr, aop_bit_or);
3570               }
3571
3572             bits_collected += size;
3573             loc->kind = axs_rvalue;
3574           }
3575           break;
3576
3577         case DW_OP_GNU_uninit:
3578           unimplemented (op);
3579
3580         case DW_OP_call2:
3581         case DW_OP_call4:
3582           {
3583             struct dwarf2_locexpr_baton block;
3584             int size = (op == DW_OP_call2 ? 2 : 4);
3585             cu_offset offset;
3586
3587             uoffset = extract_unsigned_integer (op_ptr, size, byte_order);
3588             op_ptr += size;
3589
3590             offset.cu_off = uoffset;
3591             block = dwarf2_fetch_die_loc_cu_off (offset, per_cu,
3592                                                  get_ax_pc, expr);
3593
3594             /* DW_OP_call_ref is currently not supported.  */
3595             gdb_assert (block.per_cu == per_cu);
3596
3597             dwarf2_compile_expr_to_ax (expr, loc, arch, addr_size,
3598                                        block.data, block.data + block.size,
3599                                        per_cu);
3600           }
3601           break;
3602
3603         case DW_OP_call_ref:
3604           unimplemented (op);
3605
3606         default:
3607           unimplemented (op);
3608         }
3609     }
3610
3611   /* Patch all the branches we emitted.  */
3612   for (i = 0; i < VEC_length (int, patches); ++i)
3613     {
3614       int targ = offsets[VEC_index (int, dw_labels, i)];
3615       if (targ == -1)
3616         internal_error (__FILE__, __LINE__, _("invalid label"));
3617       ax_label (expr, VEC_index (int, patches, i), targ);
3618     }
3619
3620   do_cleanups (cleanups);
3621 }
3622
3623 \f
3624 /* Return the value of SYMBOL in FRAME using the DWARF-2 expression
3625    evaluator to calculate the location.  */
3626 static struct value *
3627 locexpr_read_variable (struct symbol *symbol, struct frame_info *frame)
3628 {
3629   struct dwarf2_locexpr_baton *dlbaton
3630     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (symbol);
3631   struct value *val;
3632
3633   val = dwarf2_evaluate_loc_desc (SYMBOL_TYPE (symbol), frame, dlbaton->data,
3634                                   dlbaton->size, dlbaton->per_cu);
3635
3636   return val;
3637 }
3638
3639 /* Return the value of SYMBOL in FRAME at (callee) FRAME's function
3640    entry.  SYMBOL should be a function parameter, otherwise NO_ENTRY_VALUE_ERROR
3641    will be thrown.  */
3642
3643 static struct value *
3644 locexpr_read_variable_at_entry (struct symbol *symbol, struct frame_info *frame)
3645 {
3646   struct dwarf2_locexpr_baton *dlbaton
3647     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (symbol);
3648
3649   return value_of_dwarf_block_entry (SYMBOL_TYPE (symbol), frame, dlbaton->data,
3650                                      dlbaton->size);
3651 }
3652
3653 /* Return non-zero iff we need a frame to evaluate SYMBOL.  */
3654 static int
3655 locexpr_read_needs_frame (struct symbol *symbol)
3656 {
3657   struct dwarf2_locexpr_baton *dlbaton
3658     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (symbol);
3659
3660   return dwarf2_loc_desc_needs_frame (dlbaton->data, dlbaton->size,
3661                                       dlbaton->per_cu);
3662 }
3663
3664 /* Return true if DATA points to the end of a piece.  END is one past
3665    the last byte in the expression.  */
3666
3667 static int
3668 piece_end_p (const gdb_byte *data, const gdb_byte *end)
3669 {
3670   return data == end || data[0] == DW_OP_piece || data[0] == DW_OP_bit_piece;
3671 }
3672
3673 /* Helper for locexpr_describe_location_piece that finds the name of a
3674    DWARF register.  */
3675
3676 static const char *
3677 locexpr_regname (struct gdbarch *gdbarch, int dwarf_regnum)
3678 {
3679   int regnum;
3680
3681   /* This doesn't use dwarf_reg_to_regnum_or_error on purpose.
3682      We'd rather print *something* here than throw an error.  */
3683   regnum = dwarf_reg_to_regnum (gdbarch, dwarf_regnum);
3684   /* gdbarch_register_name may just return "", return something more
3685      descriptive for bad register numbers.  */
3686   if (regnum == -1)
3687     {
3688       /* The text is output as "$bad_register_number".
3689          That is why we use the underscores.  */
3690       return _("bad_register_number");
3691     }
3692   return gdbarch_register_name (gdbarch, regnum);
3693 }
3694
3695 /* Nicely describe a single piece of a location, returning an updated
3696    position in the bytecode sequence.  This function cannot recognize
3697    all locations; if a location is not recognized, it simply returns
3698    DATA.  If there is an error during reading, e.g. we run off the end
3699    of the buffer, an error is thrown.  */
3700
3701 static const gdb_byte *
3702 locexpr_describe_location_piece (struct symbol *symbol, struct ui_file *stream,
3703                                  CORE_ADDR addr, struct objfile *objfile,
3704                                  struct dwarf2_per_cu_data *per_cu,
3705                                  const gdb_byte *data, const gdb_byte *end,
3706                                  unsigned int addr_size)
3707 {
3708   struct gdbarch *gdbarch = get_objfile_arch (objfile);
3709   size_t leb128_size;
3710
3711   if (data[0] >= DW_OP_reg0 && data[0] <= DW_OP_reg31)
3712     {
3713       fprintf_filtered (stream, _("a variable in $%s"),
3714                         locexpr_regname (gdbarch, data[0] - DW_OP_reg0));
3715       data += 1;
3716     }
3717   else if (data[0] == DW_OP_regx)
3718     {
3719       uint64_t reg;
3720
3721       data = safe_read_uleb128 (data + 1, end, &reg);
3722       fprintf_filtered (stream, _("a variable in $%s"),
3723                         locexpr_regname (gdbarch, reg));
3724     }
3725   else if (data[0] == DW_OP_fbreg)
3726     {
3727       const struct block *b;
3728       struct symbol *framefunc;
3729       int frame_reg = 0;
3730       int64_t frame_offset;
3731       const gdb_byte *base_data, *new_data, *save_data = data;
3732       size_t base_size;
3733       int64_t base_offset = 0;
3734
3735       new_data = safe_read_sleb128 (data + 1, end, &frame_offset);
3736       if (!piece_end_p (new_data, end))
3737         return data;
3738       data = new_data;
3739
3740       b = block_for_pc (addr);
3741
3742       if (!b)
3743         error (_("No block found for address for symbol \"%s\"."),
3744                SYMBOL_PRINT_NAME (symbol));
3745
3746       framefunc = block_linkage_function (b);
3747
3748       if (!framefunc)
3749         error (_("No function found for block for symbol \"%s\"."),
3750                SYMBOL_PRINT_NAME (symbol));
3751
3752       func_get_frame_base_dwarf_block (framefunc, addr, &base_data, &base_size);
3753
3754       if (base_data[0] >= DW_OP_breg0 && base_data[0] <= DW_OP_breg31)
3755         {
3756           const gdb_byte *buf_end;
3757           
3758           frame_reg = base_data[0] - DW_OP_breg0;
3759           buf_end = safe_read_sleb128 (base_data + 1, base_data + base_size,
3760                                        &base_offset);
3761           if (buf_end != base_data + base_size)
3762             error (_("Unexpected opcode after "
3763                      "DW_OP_breg%u for symbol \"%s\"."),
3764                    frame_reg, SYMBOL_PRINT_NAME (symbol));
3765         }
3766       else if (base_data[0] >= DW_OP_reg0 && base_data[0] <= DW_OP_reg31)
3767         {
3768           /* The frame base is just the register, with no offset.  */
3769           frame_reg = base_data[0] - DW_OP_reg0;
3770           base_offset = 0;
3771         }
3772       else
3773         {
3774           /* We don't know what to do with the frame base expression,
3775              so we can't trace this variable; give up.  */
3776           return save_data;
3777         }
3778
3779       fprintf_filtered (stream,
3780                         _("a variable at frame base reg $%s offset %s+%s"),
3781                         locexpr_regname (gdbarch, frame_reg),
3782                         plongest (base_offset), plongest (frame_offset));
3783     }
3784   else if (data[0] >= DW_OP_breg0 && data[0] <= DW_OP_breg31
3785            && piece_end_p (data, end))
3786     {
3787       int64_t offset;
3788
3789       data = safe_read_sleb128 (data + 1, end, &offset);
3790
3791       fprintf_filtered (stream,
3792                         _("a variable at offset %s from base reg $%s"),
3793                         plongest (offset),
3794                         locexpr_regname (gdbarch, data[0] - DW_OP_breg0));
3795     }
3796
3797   /* The location expression for a TLS variable looks like this (on a
3798      64-bit LE machine):
3799
3800      DW_AT_location    : 10 byte block: 3 4 0 0 0 0 0 0 0 e0
3801                         (DW_OP_addr: 4; DW_OP_GNU_push_tls_address)
3802
3803      0x3 is the encoding for DW_OP_addr, which has an operand as long
3804      as the size of an address on the target machine (here is 8
3805      bytes).  Note that more recent version of GCC emit DW_OP_const4u
3806      or DW_OP_const8u, depending on address size, rather than
3807      DW_OP_addr.  0xe0 is the encoding for DW_OP_GNU_push_tls_address.
3808      The operand represents the offset at which the variable is within
3809      the thread local storage.  */
3810
3811   else if (data + 1 + addr_size < end
3812            && (data[0] == DW_OP_addr
3813                || (addr_size == 4 && data[0] == DW_OP_const4u)
3814                || (addr_size == 8 && data[0] == DW_OP_const8u))
3815            && data[1 + addr_size] == DW_OP_GNU_push_tls_address
3816            && piece_end_p (data + 2 + addr_size, end))
3817     {
3818       ULONGEST offset;
3819       offset = extract_unsigned_integer (data + 1, addr_size,
3820                                          gdbarch_byte_order (gdbarch));
3821
3822       fprintf_filtered (stream, 
3823                         _("a thread-local variable at offset 0x%s "
3824                           "in the thread-local storage for `%s'"),
3825                         phex_nz (offset, addr_size), objfile_name (objfile));
3826
3827       data += 1 + addr_size + 1;
3828     }
3829
3830   /* With -gsplit-dwarf a TLS variable can also look like this:
3831      DW_AT_location    : 3 byte block: fc 4 e0
3832                         (DW_OP_GNU_const_index: 4;
3833                          DW_OP_GNU_push_tls_address)  */
3834   else if (data + 3 <= end
3835            && data + 1 + (leb128_size = skip_leb128 (data + 1, end)) < end
3836            && data[0] == DW_OP_GNU_const_index
3837            && leb128_size > 0
3838            && data[1 + leb128_size] == DW_OP_GNU_push_tls_address
3839            && piece_end_p (data + 2 + leb128_size, end))
3840     {
3841       uint64_t offset;
3842
3843       data = safe_read_uleb128 (data + 1, end, &offset);
3844       offset = dwarf2_read_addr_index (per_cu, offset);
3845       fprintf_filtered (stream, 
3846                         _("a thread-local variable at offset 0x%s "
3847                           "in the thread-local storage for `%s'"),
3848                         phex_nz (offset, addr_size), objfile_name (objfile));
3849       ++data;
3850     }
3851
3852   else if (data[0] >= DW_OP_lit0
3853            && data[0] <= DW_OP_lit31
3854            && data + 1 < end
3855            && data[1] == DW_OP_stack_value)
3856     {
3857       fprintf_filtered (stream, _("the constant %d"), data[0] - DW_OP_lit0);
3858       data += 2;
3859     }
3860
3861   return data;
3862 }
3863
3864 /* Disassemble an expression, stopping at the end of a piece or at the
3865    end of the expression.  Returns a pointer to the next unread byte
3866    in the input expression.  If ALL is nonzero, then this function
3867    will keep going until it reaches the end of the expression.
3868    If there is an error during reading, e.g. we run off the end
3869    of the buffer, an error is thrown.  */
3870
3871 static const gdb_byte *
3872 disassemble_dwarf_expression (struct ui_file *stream,
3873                               struct gdbarch *arch, unsigned int addr_size,
3874                               int offset_size, const gdb_byte *start,
3875                               const gdb_byte *data, const gdb_byte *end,
3876                               int indent, int all,
3877                               struct dwarf2_per_cu_data *per_cu)
3878 {
3879   while (data < end
3880          && (all
3881              || (data[0] != DW_OP_piece && data[0] != DW_OP_bit_piece)))
3882     {
3883       enum dwarf_location_atom op = (enum dwarf_location_atom) *data++;
3884       uint64_t ul;
3885       int64_t l;
3886       const char *name;
3887
3888       name = get_DW_OP_name (op);
3889
3890       if (!name)
3891         error (_("Unrecognized DWARF opcode 0x%02x at %ld"),
3892                op, (long) (data - 1 - start));
3893       fprintf_filtered (stream, "  %*ld: %s", indent + 4,
3894                         (long) (data - 1 - start), name);
3895
3896       switch (op)
3897         {
3898         case DW_OP_addr:
3899           ul = extract_unsigned_integer (data, addr_size,
3900                                          gdbarch_byte_order (arch));
3901           data += addr_size;
3902           fprintf_filtered (stream, " 0x%s", phex_nz (ul, addr_size));
3903           break;
3904
3905         case DW_OP_const1u:
3906           ul = extract_unsigned_integer (data, 1, gdbarch_byte_order (arch));
3907           data += 1;
3908           fprintf_filtered (stream, " %s", pulongest (ul));
3909           break;
3910         case DW_OP_const1s:
3911           l = extract_signed_integer (data, 1, gdbarch_byte_order (arch));
3912           data += 1;
3913           fprintf_filtered (stream, " %s", plongest (l));
3914           break;
3915         case DW_OP_const2u:
3916           ul = extract_unsigned_integer (data, 2, gdbarch_byte_order (arch));
3917           data += 2;
3918           fprintf_filtered (stream, " %s", pulongest (ul));
3919           break;
3920         case DW_OP_const2s:
3921           l = extract_signed_integer (data, 2, gdbarch_byte_order (arch));
3922           data += 2;
3923           fprintf_filtered (stream, " %s", plongest (l));
3924           break;
3925         case DW_OP_const4u:
3926           ul = extract_unsigned_integer (data, 4, gdbarch_byte_order (arch));
3927           data += 4;
3928           fprintf_filtered (stream, " %s", pulongest (ul));
3929           break;
3930         case DW_OP_const4s:
3931           l = extract_signed_integer (data, 4, gdbarch_byte_order (arch));
3932           data += 4;
3933           fprintf_filtered (stream, " %s", plongest (l));
3934           break;
3935         case DW_OP_const8u:
3936           ul = extract_unsigned_integer (data, 8, gdbarch_byte_order (arch));
3937           data += 8;
3938           fprintf_filtered (stream, " %s", pulongest (ul));
3939           break;
3940         case DW_OP_const8s:
3941           l = extract_signed_integer (data, 8, gdbarch_byte_order (arch));
3942           data += 8;
3943           fprintf_filtered (stream, " %s", plongest (l));
3944           break;
3945         case DW_OP_constu:
3946           data = safe_read_uleb128 (data, end, &ul);
3947           fprintf_filtered (stream, " %s", pulongest (ul));
3948           break;
3949         case DW_OP_consts:
3950           data = safe_read_sleb128 (data, end, &l);
3951           fprintf_filtered (stream, " %s", plongest (l));
3952           break;
3953
3954         case DW_OP_reg0:
3955         case DW_OP_reg1:
3956         case DW_OP_reg2:
3957         case DW_OP_reg3:
3958         case DW_OP_reg4:
3959         case DW_OP_reg5:
3960         case DW_OP_reg6:
3961         case DW_OP_reg7:
3962         case DW_OP_reg8:
3963         case DW_OP_reg9:
3964         case DW_OP_reg10:
3965         case DW_OP_reg11:
3966         case DW_OP_reg12:
3967         case DW_OP_reg13:
3968         case DW_OP_reg14:
3969         case DW_OP_reg15:
3970         case DW_OP_reg16:
3971         case DW_OP_reg17:
3972         case DW_OP_reg18:
3973         case DW_OP_reg19:
3974         case DW_OP_reg20:
3975         case DW_OP_reg21:
3976         case DW_OP_reg22:
3977         case DW_OP_reg23:
3978         case DW_OP_reg24:
3979         case DW_OP_reg25:
3980         case DW_OP_reg26:
3981         case DW_OP_reg27:
3982         case DW_OP_reg28:
3983         case DW_OP_reg29:
3984         case DW_OP_reg30:
3985         case DW_OP_reg31:
3986           fprintf_filtered (stream, " [$%s]",
3987                             locexpr_regname (arch, op - DW_OP_reg0));
3988           break;
3989
3990         case DW_OP_regx:
3991           data = safe_read_uleb128 (data, end, &ul);
3992           fprintf_filtered (stream, " %s [$%s]", pulongest (ul),
3993                             locexpr_regname (arch, (int) ul));
3994           break;
3995
3996         case DW_OP_implicit_value:
3997           data = safe_read_uleb128 (data, end, &ul);
3998           data += ul;
3999           fprintf_filtered (stream, " %s", pulongest (ul));
4000           break;
4001
4002         case DW_OP_breg0:
4003         case DW_OP_breg1:
4004         case DW_OP_breg2:
4005         case DW_OP_breg3:
4006         case DW_OP_breg4:
4007         case DW_OP_breg5:
4008         case DW_OP_breg6:
4009         case DW_OP_breg7:
4010         case DW_OP_breg8:
4011         case DW_OP_breg9:
4012         case DW_OP_breg10:
4013         case DW_OP_breg11:
4014         case DW_OP_breg12:
4015         case DW_OP_breg13:
4016         case DW_OP_breg14:
4017         case DW_OP_breg15:
4018         case DW_OP_breg16:
4019         case DW_OP_breg17:
4020         case DW_OP_breg18:
4021         case DW_OP_breg19:
4022         case DW_OP_breg20:
4023         case DW_OP_breg21:
4024         case DW_OP_breg22:
4025         case DW_OP_breg23:
4026         case DW_OP_breg24:
4027         case DW_OP_breg25:
4028         case DW_OP_breg26:
4029         case DW_OP_breg27:
4030         case DW_OP_breg28:
4031         case DW_OP_breg29:
4032         case DW_OP_breg30:
4033         case DW_OP_breg31:
4034           data = safe_read_sleb128 (data, end, &l);
4035           fprintf_filtered (stream, " %s [$%s]", plongest (l),
4036                             locexpr_regname (arch, op - DW_OP_breg0));
4037           break;
4038
4039         case DW_OP_bregx:
4040           data = safe_read_uleb128 (data, end, &ul);
4041           data = safe_read_sleb128 (data, end, &l);
4042           fprintf_filtered (stream, " register %s [$%s] offset %s",
4043                             pulongest (ul),
4044                             locexpr_regname (arch, (int) ul),
4045                             plongest (l));
4046           break;
4047
4048         case DW_OP_fbreg:
4049           data = safe_read_sleb128 (data, end, &l);
4050           fprintf_filtered (stream, " %s", plongest (l));
4051           break;
4052
4053         case DW_OP_xderef_size:
4054         case DW_OP_deref_size:
4055         case DW_OP_pick:
4056           fprintf_filtered (stream, " %d", *data);
4057           ++data;
4058           break;
4059
4060         case DW_OP_plus_uconst:
4061           data = safe_read_uleb128 (data, end, &ul);
4062           fprintf_filtered (stream, " %s", pulongest (ul));
4063           break;
4064
4065         case DW_OP_skip:
4066           l = extract_signed_integer (data, 2, gdbarch_byte_order (arch));
4067           data += 2;
4068           fprintf_filtered (stream, " to %ld",
4069                             (long) (data + l - start));
4070           break;
4071
4072         case DW_OP_bra:
4073           l = extract_signed_integer (data, 2, gdbarch_byte_order (arch));
4074           data += 2;
4075           fprintf_filtered (stream, " %ld",
4076                             (long) (data + l - start));
4077           break;
4078
4079         case DW_OP_call2:
4080           ul = extract_unsigned_integer (data, 2, gdbarch_byte_order (arch));
4081           data += 2;
4082           fprintf_filtered (stream, " offset %s", phex_nz (ul, 2));
4083           break;
4084
4085         case DW_OP_call4:
4086           ul = extract_unsigned_integer (data, 4, gdbarch_byte_order (arch));
4087           data += 4;
4088           fprintf_filtered (stream, " offset %s", phex_nz (ul, 4));
4089           break;
4090
4091         case DW_OP_call_ref:
4092           ul = extract_unsigned_integer (data, offset_size,
4093                                          gdbarch_byte_order (arch));
4094           data += offset_size;
4095           fprintf_filtered (stream, " offset %s", phex_nz (ul, offset_size));
4096           break;
4097
4098         case DW_OP_piece:
4099           data = safe_read_uleb128 (data, end, &ul);
4100           fprintf_filtered (stream, " %s (bytes)", pulongest (ul));
4101           break;
4102
4103         case DW_OP_bit_piece:
4104           {
4105             uint64_t offset;
4106
4107             data = safe_read_uleb128 (data, end, &ul);
4108             data = safe_read_uleb128 (data, end, &offset);
4109             fprintf_filtered (stream, " size %s offset %s (bits)",
4110                               pulongest (ul), pulongest (offset));
4111           }
4112           break;
4113
4114         case DW_OP_GNU_implicit_pointer:
4115           {
4116             ul = extract_unsigned_integer (data, offset_size,
4117                                            gdbarch_byte_order (arch));
4118             data += offset_size;
4119
4120             data = safe_read_sleb128 (data, end, &l);
4121
4122             fprintf_filtered (stream, " DIE %s offset %s",
4123                               phex_nz (ul, offset_size),
4124                               plongest (l));
4125           }
4126           break;
4127
4128         case DW_OP_GNU_deref_type:
4129           {
4130             int addr_size = *data++;
4131             cu_offset offset;
4132             struct type *type;
4133
4134             data = safe_read_uleb128 (data, end, &ul);
4135             offset.cu_off = ul;
4136             type = dwarf2_get_die_type (offset, per_cu);
4137             fprintf_filtered (stream, "<");
4138             type_print (type, "", stream, -1);
4139             fprintf_filtered (stream, " [0x%s]> %d", phex_nz (offset.cu_off, 0),
4140                               addr_size);
4141           }
4142           break;
4143
4144         case DW_OP_GNU_const_type:
4145           {
4146             cu_offset type_die;
4147             struct type *type;
4148
4149             data = safe_read_uleb128 (data, end, &ul);
4150             type_die.cu_off = ul;
4151             type = dwarf2_get_die_type (type_die, per_cu);
4152             fprintf_filtered (stream, "<");
4153             type_print (type, "", stream, -1);
4154             fprintf_filtered (stream, " [0x%s]>", phex_nz (type_die.cu_off, 0));
4155           }
4156           break;
4157
4158         case DW_OP_GNU_regval_type:
4159           {
4160             uint64_t reg;
4161             cu_offset type_die;
4162             struct type *type;
4163
4164             data = safe_read_uleb128 (data, end, &reg);
4165             data = safe_read_uleb128 (data, end, &ul);
4166             type_die.cu_off = ul;
4167
4168             type = dwarf2_get_die_type (type_die, per_cu);
4169             fprintf_filtered (stream, "<");
4170             type_print (type, "", stream, -1);
4171             fprintf_filtered (stream, " [0x%s]> [$%s]",
4172                               phex_nz (type_die.cu_off, 0),
4173                               locexpr_regname (arch, reg));
4174           }
4175           break;
4176
4177         case DW_OP_GNU_convert:
4178         case DW_OP_GNU_reinterpret:
4179           {
4180             cu_offset type_die;
4181
4182             data = safe_read_uleb128 (data, end, &ul);
4183             type_die.cu_off = ul;
4184
4185             if (type_die.cu_off == 0)
4186               fprintf_filtered (stream, "<0>");
4187             else
4188               {
4189                 struct type *type;
4190
4191                 type = dwarf2_get_die_type (type_die, per_cu);
4192                 fprintf_filtered (stream, "<");
4193                 type_print (type, "", stream, -1);
4194                 fprintf_filtered (stream, " [0x%s]>", phex_nz (type_die.cu_off, 0));
4195               }
4196           }
4197           break;
4198
4199         case DW_OP_GNU_entry_value:
4200           data = safe_read_uleb128 (data, end, &ul);
4201           fputc_filtered ('\n', stream);
4202           disassemble_dwarf_expression (stream, arch, addr_size, offset_size,
4203                                         start, data, data + ul, indent + 2,
4204                                         all, per_cu);
4205           data += ul;
4206           continue;
4207
4208         case DW_OP_GNU_parameter_ref:
4209           ul = extract_unsigned_integer (data, 4, gdbarch_byte_order (arch));
4210           data += 4;
4211           fprintf_filtered (stream, " offset %s", phex_nz (ul, 4));
4212           break;
4213
4214         case DW_OP_GNU_addr_index:
4215           data = safe_read_uleb128 (data, end, &ul);
4216           ul = dwarf2_read_addr_index (per_cu, ul);
4217           fprintf_filtered (stream, " 0x%s", phex_nz (ul, addr_size));
4218           break;
4219         case DW_OP_GNU_const_index:
4220           data = safe_read_uleb128 (data, end, &ul);
4221           ul = dwarf2_read_addr_index (per_cu, ul);
4222           fprintf_filtered (stream, " %s", pulongest (ul));
4223           break;
4224         }
4225
4226       fprintf_filtered (stream, "\n");
4227     }
4228
4229   return data;
4230 }
4231
4232 /* Describe a single location, which may in turn consist of multiple
4233    pieces.  */
4234
4235 static void
4236 locexpr_describe_location_1 (struct symbol *symbol, CORE_ADDR addr,
4237                              struct ui_file *stream,
4238                              const gdb_byte *data, size_t size,
4239                              struct objfile *objfile, unsigned int addr_size,
4240                              int offset_size, struct dwarf2_per_cu_data *per_cu)
4241 {
4242   const gdb_byte *end = data + size;
4243   int first_piece = 1, bad = 0;
4244
4245   while (data < end)
4246     {
4247       const gdb_byte *here = data;
4248       int disassemble = 1;
4249
4250       if (first_piece)
4251         first_piece = 0;
4252       else
4253         fprintf_filtered (stream, _(", and "));
4254
4255       if (!dwarf_always_disassemble)
4256         {
4257           data = locexpr_describe_location_piece (symbol, stream,
4258                                                   addr, objfile, per_cu,
4259                                                   data, end, addr_size);
4260           /* If we printed anything, or if we have an empty piece,
4261              then don't disassemble.  */
4262           if (data != here
4263               || data[0] == DW_OP_piece
4264               || data[0] == DW_OP_bit_piece)
4265             disassemble = 0;
4266         }
4267       if (disassemble)
4268         {
4269           fprintf_filtered (stream, _("a complex DWARF expression:\n"));
4270           data = disassemble_dwarf_expression (stream,
4271                                                get_objfile_arch (objfile),
4272                                                addr_size, offset_size, data,
4273                                                data, end, 0,
4274                                                dwarf_always_disassemble,
4275                                                per_cu);
4276         }
4277
4278       if (data < end)
4279         {
4280           int empty = data == here;
4281               
4282           if (disassemble)
4283             fprintf_filtered (stream, "   ");
4284           if (data[0] == DW_OP_piece)
4285             {
4286               uint64_t bytes;
4287
4288               data = safe_read_uleb128 (data + 1, end, &bytes);
4289
4290               if (empty)
4291                 fprintf_filtered (stream, _("an empty %s-byte piece"),
4292                                   pulongest (bytes));
4293               else
4294                 fprintf_filtered (stream, _(" [%s-byte piece]"),
4295                                   pulongest (bytes));
4296             }
4297           else if (data[0] == DW_OP_bit_piece)
4298             {
4299               uint64_t bits, offset;
4300
4301               data = safe_read_uleb128 (data + 1, end, &bits);
4302               data = safe_read_uleb128 (data, end, &offset);
4303
4304               if (empty)
4305                 fprintf_filtered (stream,
4306                                   _("an empty %s-bit piece"),
4307                                   pulongest (bits));
4308               else
4309                 fprintf_filtered (stream,
4310                                   _(" [%s-bit piece, offset %s bits]"),
4311                                   pulongest (bits), pulongest (offset));
4312             }
4313           else
4314             {
4315               bad = 1;
4316               break;
4317             }
4318         }
4319     }
4320
4321   if (bad || data > end)
4322     error (_("Corrupted DWARF2 expression for \"%s\"."),
4323            SYMBOL_PRINT_NAME (symbol));
4324 }
4325
4326 /* Print a natural-language description of SYMBOL to STREAM.  This
4327    version is for a symbol with a single location.  */
4328
4329 static void
4330 locexpr_describe_location (struct symbol *symbol, CORE_ADDR addr,
4331                            struct ui_file *stream)
4332 {
4333   struct dwarf2_locexpr_baton *dlbaton
4334     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (symbol);
4335   struct objfile *objfile = dwarf2_per_cu_objfile (dlbaton->per_cu);
4336   unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4337   int offset_size = dwarf2_per_cu_offset_size (dlbaton->per_cu);
4338
4339   locexpr_describe_location_1 (symbol, addr, stream,
4340                                dlbaton->data, dlbaton->size,
4341                                objfile, addr_size, offset_size,
4342                                dlbaton->per_cu);
4343 }
4344
4345 /* Describe the location of SYMBOL as an agent value in VALUE, generating
4346    any necessary bytecode in AX.  */
4347
4348 static void
4349 locexpr_tracepoint_var_ref (struct symbol *symbol, struct gdbarch *gdbarch,
4350                             struct agent_expr *ax, struct axs_value *value)
4351 {
4352   struct dwarf2_locexpr_baton *dlbaton
4353     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (symbol);
4354   unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4355
4356   if (dlbaton->size == 0)
4357     value->optimized_out = 1;
4358   else
4359     dwarf2_compile_expr_to_ax (ax, value, gdbarch, addr_size,
4360                                dlbaton->data, dlbaton->data + dlbaton->size,
4361                                dlbaton->per_cu);
4362 }
4363
4364 /* symbol_computed_ops 'generate_c_location' method.  */
4365
4366 static void
4367 locexpr_generate_c_location (struct symbol *sym, struct ui_file *stream,
4368                              struct gdbarch *gdbarch,
4369                              unsigned char *registers_used,
4370                              CORE_ADDR pc, const char *result_name)
4371 {
4372   struct dwarf2_locexpr_baton *dlbaton
4373     = (struct dwarf2_locexpr_baton *) SYMBOL_LOCATION_BATON (sym);
4374   unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4375
4376   if (dlbaton->size == 0)
4377     error (_("symbol \"%s\" is optimized out"), SYMBOL_NATURAL_NAME (sym));
4378
4379   compile_dwarf_expr_to_c (stream, result_name,
4380                            sym, pc, gdbarch, registers_used, addr_size,
4381                            dlbaton->data, dlbaton->data + dlbaton->size,
4382                            dlbaton->per_cu);
4383 }
4384
4385 /* The set of location functions used with the DWARF-2 expression
4386    evaluator.  */
4387 const struct symbol_computed_ops dwarf2_locexpr_funcs = {
4388   locexpr_read_variable,
4389   locexpr_read_variable_at_entry,
4390   locexpr_read_needs_frame,
4391   locexpr_describe_location,
4392   0,    /* location_has_loclist */
4393   locexpr_tracepoint_var_ref,
4394   locexpr_generate_c_location
4395 };
4396
4397
4398 /* Wrapper functions for location lists.  These generally find
4399    the appropriate location expression and call something above.  */
4400
4401 /* Return the value of SYMBOL in FRAME using the DWARF-2 expression
4402    evaluator to calculate the location.  */
4403 static struct value *
4404 loclist_read_variable (struct symbol *symbol, struct frame_info *frame)
4405 {
4406   struct dwarf2_loclist_baton *dlbaton
4407     = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (symbol);
4408   struct value *val;
4409   const gdb_byte *data;
4410   size_t size;
4411   CORE_ADDR pc = frame ? get_frame_address_in_block (frame) : 0;
4412
4413   data = dwarf2_find_location_expression (dlbaton, &size, pc);
4414   val = dwarf2_evaluate_loc_desc (SYMBOL_TYPE (symbol), frame, data, size,
4415                                   dlbaton->per_cu);
4416
4417   return val;
4418 }
4419
4420 /* Read variable SYMBOL like loclist_read_variable at (callee) FRAME's function
4421    entry.  SYMBOL should be a function parameter, otherwise NO_ENTRY_VALUE_ERROR
4422    will be thrown.
4423
4424    Function always returns non-NULL value, it may be marked optimized out if
4425    inferior frame information is not available.  It throws NO_ENTRY_VALUE_ERROR
4426    if it cannot resolve the parameter for any reason.  */
4427
4428 static struct value *
4429 loclist_read_variable_at_entry (struct symbol *symbol, struct frame_info *frame)
4430 {
4431   struct dwarf2_loclist_baton *dlbaton
4432     = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (symbol);
4433   const gdb_byte *data;
4434   size_t size;
4435   CORE_ADDR pc;
4436
4437   if (frame == NULL || !get_frame_func_if_available (frame, &pc))
4438     return allocate_optimized_out_value (SYMBOL_TYPE (symbol));
4439
4440   data = dwarf2_find_location_expression (dlbaton, &size, pc);
4441   if (data == NULL)
4442     return allocate_optimized_out_value (SYMBOL_TYPE (symbol));
4443
4444   return value_of_dwarf_block_entry (SYMBOL_TYPE (symbol), frame, data, size);
4445 }
4446
4447 /* Return non-zero iff we need a frame to evaluate SYMBOL.  */
4448 static int
4449 loclist_read_needs_frame (struct symbol *symbol)
4450 {
4451   /* If there's a location list, then assume we need to have a frame
4452      to choose the appropriate location expression.  With tracking of
4453      global variables this is not necessarily true, but such tracking
4454      is disabled in GCC at the moment until we figure out how to
4455      represent it.  */
4456
4457   return 1;
4458 }
4459
4460 /* Print a natural-language description of SYMBOL to STREAM.  This
4461    version applies when there is a list of different locations, each
4462    with a specified address range.  */
4463
4464 static void
4465 loclist_describe_location (struct symbol *symbol, CORE_ADDR addr,
4466                            struct ui_file *stream)
4467 {
4468   struct dwarf2_loclist_baton *dlbaton
4469     = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (symbol);
4470   const gdb_byte *loc_ptr, *buf_end;
4471   struct objfile *objfile = dwarf2_per_cu_objfile (dlbaton->per_cu);
4472   struct gdbarch *gdbarch = get_objfile_arch (objfile);
4473   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
4474   unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4475   int offset_size = dwarf2_per_cu_offset_size (dlbaton->per_cu);
4476   int signed_addr_p = bfd_get_sign_extend_vma (objfile->obfd);
4477   /* Adjust base_address for relocatable objects.  */
4478   CORE_ADDR base_offset = dwarf2_per_cu_text_offset (dlbaton->per_cu);
4479   CORE_ADDR base_address = dlbaton->base_address + base_offset;
4480   int done = 0;
4481
4482   loc_ptr = dlbaton->data;
4483   buf_end = dlbaton->data + dlbaton->size;
4484
4485   fprintf_filtered (stream, _("multi-location:\n"));
4486
4487   /* Iterate through locations until we run out.  */
4488   while (!done)
4489     {
4490       CORE_ADDR low = 0, high = 0; /* init for gcc -Wall */
4491       int length;
4492       enum debug_loc_kind kind;
4493       const gdb_byte *new_ptr = NULL; /* init for gcc -Wall */
4494
4495       if (dlbaton->from_dwo)
4496         kind = decode_debug_loc_dwo_addresses (dlbaton->per_cu,
4497                                                loc_ptr, buf_end, &new_ptr,
4498                                                &low, &high, byte_order);
4499       else
4500         kind = decode_debug_loc_addresses (loc_ptr, buf_end, &new_ptr,
4501                                            &low, &high,
4502                                            byte_order, addr_size,
4503                                            signed_addr_p);
4504       loc_ptr = new_ptr;
4505       switch (kind)
4506         {
4507         case DEBUG_LOC_END_OF_LIST:
4508           done = 1;
4509           continue;
4510         case DEBUG_LOC_BASE_ADDRESS:
4511           base_address = high + base_offset;
4512           fprintf_filtered (stream, _("  Base address %s"),
4513                             paddress (gdbarch, base_address));
4514           continue;
4515         case DEBUG_LOC_START_END:
4516         case DEBUG_LOC_START_LENGTH:
4517           break;
4518         case DEBUG_LOC_BUFFER_OVERFLOW:
4519         case DEBUG_LOC_INVALID_ENTRY:
4520           error (_("Corrupted DWARF expression for symbol \"%s\"."),
4521                  SYMBOL_PRINT_NAME (symbol));
4522         default:
4523           gdb_assert_not_reached ("bad debug_loc_kind");
4524         }
4525
4526       /* Otherwise, a location expression entry.  */
4527       low += base_address;
4528       high += base_address;
4529
4530       low = gdbarch_adjust_dwarf2_addr (gdbarch, low);
4531       high = gdbarch_adjust_dwarf2_addr (gdbarch, high);
4532
4533       length = extract_unsigned_integer (loc_ptr, 2, byte_order);
4534       loc_ptr += 2;
4535
4536       /* (It would improve readability to print only the minimum
4537          necessary digits of the second number of the range.)  */
4538       fprintf_filtered (stream, _("  Range %s-%s: "),
4539                         paddress (gdbarch, low), paddress (gdbarch, high));
4540
4541       /* Now describe this particular location.  */
4542       locexpr_describe_location_1 (symbol, low, stream, loc_ptr, length,
4543                                    objfile, addr_size, offset_size,
4544                                    dlbaton->per_cu);
4545
4546       fprintf_filtered (stream, "\n");
4547
4548       loc_ptr += length;
4549     }
4550 }
4551
4552 /* Describe the location of SYMBOL as an agent value in VALUE, generating
4553    any necessary bytecode in AX.  */
4554 static void
4555 loclist_tracepoint_var_ref (struct symbol *symbol, struct gdbarch *gdbarch,
4556                             struct agent_expr *ax, struct axs_value *value)
4557 {
4558   struct dwarf2_loclist_baton *dlbaton
4559     = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (symbol);
4560   const gdb_byte *data;
4561   size_t size;
4562   unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4563
4564   data = dwarf2_find_location_expression (dlbaton, &size, ax->scope);
4565   if (size == 0)
4566     value->optimized_out = 1;
4567   else
4568     dwarf2_compile_expr_to_ax (ax, value, gdbarch, addr_size, data, data + size,
4569                                dlbaton->per_cu);
4570 }
4571
4572 /* symbol_computed_ops 'generate_c_location' method.  */
4573
4574 static void
4575 loclist_generate_c_location (struct symbol *sym, struct ui_file *stream,
4576                              struct gdbarch *gdbarch,
4577                              unsigned char *registers_used,
4578                              CORE_ADDR pc, const char *result_name)
4579 {
4580   struct dwarf2_loclist_baton *dlbaton
4581     = (struct dwarf2_loclist_baton *) SYMBOL_LOCATION_BATON (sym);
4582   unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4583   const gdb_byte *data;
4584   size_t size;
4585
4586   data = dwarf2_find_location_expression (dlbaton, &size, pc);
4587   if (size == 0)
4588     error (_("symbol \"%s\" is optimized out"), SYMBOL_NATURAL_NAME (sym));
4589
4590   compile_dwarf_expr_to_c (stream, result_name,
4591                            sym, pc, gdbarch, registers_used, addr_size,
4592                            data, data + size,
4593                            dlbaton->per_cu);
4594 }
4595
4596 /* The set of location functions used with the DWARF-2 expression
4597    evaluator and location lists.  */
4598 const struct symbol_computed_ops dwarf2_loclist_funcs = {
4599   loclist_read_variable,
4600   loclist_read_variable_at_entry,
4601   loclist_read_needs_frame,
4602   loclist_describe_location,
4603   1,    /* location_has_loclist */
4604   loclist_tracepoint_var_ref,
4605   loclist_generate_c_location
4606 };
4607
4608 /* Provide a prototype to silence -Wmissing-prototypes.  */
4609 extern initialize_file_ftype _initialize_dwarf2loc;
4610
4611 void
4612 _initialize_dwarf2loc (void)
4613 {
4614   add_setshow_zuinteger_cmd ("entry-values", class_maintenance,
4615                              &entry_values_debug,
4616                              _("Set entry values and tail call frames "
4617                                "debugging."),
4618                              _("Show entry values and tail call frames "
4619                                "debugging."),
4620                              _("When non-zero, the process of determining "
4621                                "parameter values from function entry point "
4622                                "and tail call frames will be printed."),
4623                              NULL,
4624                              show_entry_values_debug,
4625                              &setdebuglist, &showdebuglist);
4626 }