gdb/type-stack.c

   1 /* Type stack for GDB parser.
   2
   3    Copyright (C) 1986-2024 Free Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 #include "type-stack.h"
  21
  22 #include "gdbtypes.h"
  23 #include "parser-defs.h"
  24
  25 /* See type-stack.h.  */
  26
  27 void
  28 type_stack::insert (enum type_pieces tp)
  29 {
  30   union type_stack_elt element;
  31   int slot;
  32
  33   gdb_assert (tp == tp_pointer || tp == tp_reference
  34               || tp == tp_rvalue_reference || tp == tp_const
  35               || tp == tp_volatile || tp == tp_restrict
  36               || tp == tp_atomic);
  37
  38   /* If there is anything on the stack (we know it will be a
  39      tp_pointer), insert the qualifier above it.  Otherwise, simply
  40      push this on the top of the stack.  */
  41   if (!m_elements.empty () && (tp == tp_const || tp == tp_volatile
  42                                || tp == tp_restrict))
  43     slot = 1;
  44   else
  45     slot = 0;
  46
  47   element.piece = tp;
  48   insert_into (slot, element);
  49 }
  50
  51 /* See type-stack.h.  */
  52
  53 void
  54 type_stack::insert (struct expr_builder *pstate, const char *string)
  55 {
  56   union type_stack_elt element;
  57   int slot;
  58
  59   /* If there is anything on the stack (we know it will be a
  60      tp_pointer), insert the address space qualifier above it.
  61      Otherwise, simply push this on the top of the stack.  */
  62   if (!m_elements.empty ())
  63     slot = 1;
  64   else
  65     slot = 0;
  66
  67   element.piece = tp_space_identifier;
  68   insert_into (slot, element);
  69   element.int_val
  70     = address_space_name_to_type_instance_flags (pstate->gdbarch (),
  71                                                  string);
  72   insert_into (slot, element);
  73 }
  74
  75 /* See type-stack.h.  */
  76
  77 type_instance_flags
  78 type_stack::follow_type_instance_flags ()
  79 {
  80   type_instance_flags flags = 0;
  81
  82   for (;;)
  83     switch (pop ())
  84       {
  85       case tp_end:
  86         return flags;
  87       case tp_const:
  88         flags |= TYPE_INSTANCE_FLAG_CONST;
  89         break;
  90       case tp_volatile:
  91         flags |= TYPE_INSTANCE_FLAG_VOLATILE;
  92         break;
  93       case tp_atomic:
  94         flags |= TYPE_INSTANCE_FLAG_ATOMIC;
  95         break;
  96       case tp_restrict:
  97         flags |= TYPE_INSTANCE_FLAG_RESTRICT;
  98         break;
  99       default:
 100         gdb_assert_not_reached ("unrecognized tp_ value in follow_types");
 101       }
 102 }
 103
 104 /* See type-stack.h.  */
 105
 106 struct type *
 107 type_stack::follow_types (struct type *follow_type)
 108 {
 109   int done = 0;
 110   int make_const = 0;
 111   int make_volatile = 0;
 112   type_instance_flags make_addr_space = 0;
 113   bool make_restrict = false;
 114   bool make_atomic = false;
 115   int array_size;
 116
 117   while (!done)
 118     switch (pop ())
 119       {
 120       case tp_end:
 121         done = 1;
 122         goto process_qualifiers;
 123         break;
 124       case tp_const:
 125         make_const = 1;
 126         break;
 127       case tp_volatile:
 128         make_volatile = 1;
 129         break;
 130       case tp_space_identifier:
 131         make_addr_space = (enum type_instance_flag_value) pop_int ();
 132         break;
 133       case tp_atomic:
 134         make_atomic = true;
 135         break;
 136       case tp_restrict:
 137         make_restrict = true;
 138         break;
 139       case tp_pointer:
 140         follow_type = lookup_pointer_type (follow_type);
 141         goto process_qualifiers;
 142       case tp_reference:
 143         follow_type = lookup_lvalue_reference_type (follow_type);
 144         goto process_qualifiers;
 145       case tp_rvalue_reference:
 146         follow_type = lookup_rvalue_reference_type (follow_type);
 147       process_qualifiers:
 148         if (make_const)
 149           follow_type = make_cv_type (make_const,
 150                                       TYPE_VOLATILE (follow_type),
 151                                       follow_type, 0);
 152         if (make_volatile)
 153           follow_type = make_cv_type (TYPE_CONST (follow_type),
 154                                       make_volatile,
 155                                       follow_type, 0);
 156         if (make_addr_space)
 157           follow_type = make_type_with_address_space (follow_type,
 158                                                       make_addr_space);
 159         if (make_restrict)
 160           follow_type = make_restrict_type (follow_type);
 161         if (make_atomic)
 162           follow_type = make_atomic_type (follow_type);
 163         make_const = make_volatile = 0;
 164         make_addr_space = 0;
 165         make_restrict = make_atomic = false;
 166         break;
 167       case tp_array:
 168         array_size = pop_int ();
 169         /* FIXME-type-allocation: need a way to free this type when we are
 170            done with it.  */
 171         follow_type =
 172           lookup_array_range_type (follow_type,
 173                                    0, array_size >= 0 ? array_size - 1 : 0);
 174         if (array_size < 0)
 175           follow_type->bounds ()->high.set_undefined ();
 176         break;
 177       case tp_function:
 178         /* FIXME-type-allocation: need a way to free this type when we are
 179            done with it.  */
 180         follow_type = lookup_function_type (follow_type);
 181         break;
 182
 183       case tp_function_with_arguments:
 184         {
 185           std::vector<struct type *> *args = pop_typelist ();
 186
 187           follow_type
 188             = lookup_function_type_with_arguments (follow_type,
 189                                                    args->size (),
 190                                                    args->data ());
 191         }
 192         break;
 193
 194       case tp_type_stack:
 195         {
 196           struct type_stack *stack = pop_type_stack ();
 197           follow_type = stack->follow_types (follow_type);
 198         }
 199         break;
 200       default:
 201         gdb_assert_not_reached ("unrecognized tp_ value in follow_types");
 202       }
 203   return follow_type;
 204 }