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