LCOV - code coverage report
Current view: top level - libdw - cfi.c (source / functions) Hit Total Coverage
Test: elfutils-0.191 Lines: 195 266 73.3 %
Date: 2024-07-04 23:21:52 Functions: 5 5 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 80 163 49.1 %

           Branch data     Line data    Source code
       1                 :            : /* CFI program execution.
       2                 :            :    Copyright (C) 2009-2010, 2014, 2015 Red Hat, Inc.
       3                 :            :    This file is part of elfutils.
       4                 :            : 
       5                 :            :    This file is free software; you can redistribute it and/or modify
       6                 :            :    it under the terms of either
       7                 :            : 
       8                 :            :      * the GNU Lesser General Public License as published by the Free
       9                 :            :        Software Foundation; either version 3 of the License, or (at
      10                 :            :        your option) any later version
      11                 :            : 
      12                 :            :    or
      13                 :            : 
      14                 :            :      * the GNU General Public License as published by the Free
      15                 :            :        Software Foundation; either version 2 of the License, or (at
      16                 :            :        your option) any later version
      17                 :            : 
      18                 :            :    or both in parallel, as here.
      19                 :            : 
      20                 :            :    elfutils is distributed in the hope that it will be useful, but
      21                 :            :    WITHOUT ANY WARRANTY; without even the implied warranty of
      22                 :            :    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      23                 :            :    General Public License for more details.
      24                 :            : 
      25                 :            :    You should have received copies of the GNU General Public License and
      26                 :            :    the GNU Lesser General Public License along with this program.  If
      27                 :            :    not, see <http://www.gnu.org/licenses/>.  */
      28                 :            : 
      29                 :            : #ifdef HAVE_CONFIG_H
      30                 :            : # include <config.h>
      31                 :            : #endif
      32                 :            : 
      33                 :            : #include <dwarf.h>
      34                 :            : #include "libebl.h"
      35                 :            : #include "cfi.h"
      36                 :            : #include "memory-access.h"
      37                 :            : #include "encoded-value.h"
      38                 :            : #include "system.h"
      39                 :            : #include <assert.h>
      40                 :            : #include <stdlib.h>
      41                 :            : #include <string.h>
      42                 :            : 
      43                 :            : #define CFI_PRIMARY_MAX 0x3f
      44                 :            : 
      45                 :            : static Dwarf_Frame *
      46                 :      13762 : duplicate_frame_state (const Dwarf_Frame *original,
      47                 :            :                        Dwarf_Frame *prev)
      48                 :            : {
      49                 :      13762 :   size_t size = offsetof (Dwarf_Frame, regs[original->nregs]);
      50                 :      13762 :   Dwarf_Frame *copy = malloc (size);
      51         [ +  - ]:      13762 :   if (likely (copy != NULL))
      52                 :            :     {
      53                 :      13762 :       memcpy (copy, original, size);
      54                 :      13762 :       copy->prev = prev;
      55                 :            :     }
      56                 :      13762 :   return copy;
      57                 :            : }
      58                 :            : 
      59                 :            : static inline bool
      60                 :       3748 : enough_registers (Dwarf_Word reg, Dwarf_Frame **pfs, int *result)
      61                 :            : {
      62                 :            :   /* Don't allow insanely large register numbers.  268435456 registers
      63                 :            :      should be enough for anybody.  And very large values might overflow
      64                 :            :      the array size and offsetof calculations below.  */
      65         [ -  + ]:       3748 :   if (unlikely (reg >= INT32_MAX / sizeof ((*pfs)->regs[0])))
      66                 :            :     {
      67                 :          0 :       *result = DWARF_E_INVALID_CFI;
      68                 :          0 :       return false;
      69                 :            :     }
      70                 :            : 
      71         [ +  + ]:       3748 :   if ((*pfs)->nregs <= reg)
      72                 :            :     {
      73                 :       2042 :        size_t size = offsetof (Dwarf_Frame, regs[reg + 1]);
      74                 :       2042 :        Dwarf_Frame *bigger = realloc (*pfs, size);
      75         [ -  + ]:       2042 :        if (unlikely (bigger == NULL))
      76                 :            :          {
      77                 :          0 :            *result = DWARF_E_NOMEM;
      78                 :          0 :            return false;
      79                 :            :          }
      80                 :            :        else
      81                 :            :          {
      82                 :       2042 :            eu_static_assert (reg_unspecified == 0);
      83                 :       2042 :            memset (bigger->regs + bigger->nregs, 0,
      84                 :       2042 :                    (reg + 1 - bigger->nregs) * sizeof bigger->regs[0]);
      85                 :       2042 :            bigger->nregs = reg + 1;
      86                 :       2042 :            *pfs = bigger;
      87                 :            :          }
      88                 :            :      }
      89                 :            :   return true;
      90                 :            : }
      91                 :            : 
      92                 :            : static inline void
      93                 :        726 : require_cfa_offset (Dwarf_Frame *fs)
      94                 :            : {
      95                 :        726 :   if (unlikely (fs->cfa_rule != cfa_offset))
      96                 :          0 :     fs->cfa_rule = cfa_invalid;
      97                 :            : }
      98                 :            : 
      99                 :            : /* Returns a DWARF_E_* error code, usually NOERROR or INVALID_CFI.
     100                 :            :    Frees *STATE on failure.  */
     101                 :            : static int
     102                 :      14110 : execute_cfi (Dwarf_CFI *cache,
     103                 :            :              const struct dwarf_cie *cie,
     104                 :            :              Dwarf_Frame **state,
     105                 :            :              const uint8_t *program, const uint8_t *const end, bool abi_cfi,
     106                 :            :              Dwarf_Addr loc, Dwarf_Addr find_pc)
     107                 :            : {
     108                 :            :   /* The caller should not give us anything out of range.  */
     109         [ -  + ]:      14110 :   assert (loc <= find_pc);
     110                 :            : 
     111                 :      14110 :   int result = DWARF_E_NOERROR;
     112                 :            : 
     113                 :            : #define cfi_assert(ok) do {                                                   \
     114                 :            :     if (likely (ok)) break;                                                   \
     115                 :            :     result = DWARF_E_INVALID_CFI;                                             \
     116                 :            :     goto out;                                                                 \
     117                 :            :   } while (0)
     118                 :            : 
     119                 :      14110 :   Dwarf_Frame *fs = *state;
     120                 :            : 
     121                 :            : #define register_rule(regno, r_rule, r_value) do {      \
     122                 :            :     if (unlikely (! enough_registers (regno, &fs, &result)))    \
     123                 :            :       goto out;                                         \
     124                 :            :     fs->regs[regno].rule = reg_##r_rule;             \
     125                 :            :     fs->regs[regno].value = (r_value);                       \
     126                 :            :   } while (0)
     127                 :            : 
     128         [ +  + ]:      35450 :   while (program < end)
     129                 :            :     {
     130                 :      30138 :       uint8_t opcode = *program++;
     131                 :      30138 :       Dwarf_Word regno;
     132                 :      30138 :       Dwarf_Word offset;
     133                 :      30138 :       Dwarf_Word sf_offset;
     134                 :      30138 :       Dwarf_Word operand = opcode & CFI_PRIMARY_MAX;
     135   [ +  +  +  -  :      30138 :       switch (opcode)
          -  -  +  +  -  
          +  -  +  +  +  
          -  +  +  -  +  
          -  +  +  -  -  
          +  +  +  +  +  
                   -  - ]
     136                 :            :         {
     137                 :            :           /* These cases move LOC, i.e. "create a new table row".  */
     138                 :            : 
     139                 :        246 :         case DW_CFA_advance_loc1:
     140                 :        246 :           operand = *program++;
     141                 :       9722 :           FALLTHROUGH;
     142                 :            :         case DW_CFA_advance_loc + 0 ... DW_CFA_advance_loc + CFI_PRIMARY_MAX:
     143                 :       9722 :         advance_loc:
     144                 :       9722 :           loc += operand * cie->code_alignment_factor;
     145                 :       9722 :           break;
     146                 :            : 
     147                 :         28 :         case DW_CFA_advance_loc2:
     148         [ -  + ]:         28 :           cfi_assert (program + 2 <= end);
     149         [ +  + ]:         28 :           operand = read_2ubyte_unaligned_inc (cache, program);
     150                 :         28 :           goto advance_loc;
     151                 :          0 :         case DW_CFA_advance_loc4:
     152         [ #  # ]:          0 :           cfi_assert (program + 4 <= end);
     153         [ #  # ]:          0 :           operand = read_4ubyte_unaligned_inc (cache, program);
     154                 :          0 :           goto advance_loc;
     155                 :          0 :         case DW_CFA_MIPS_advance_loc8:
     156         [ #  # ]:          0 :           cfi_assert (program + 8 <= end);
     157         [ #  # ]:          0 :           operand = read_8ubyte_unaligned_inc (cache, program);
     158                 :          0 :           goto advance_loc;
     159                 :            : 
     160                 :          0 :         case DW_CFA_set_loc:
     161         [ #  # ]:          0 :           if (likely (!read_encoded_value (cache, cie->fde_encoding,
     162                 :            :                                            &program, &loc)))
     163                 :            :             break;
     164                 :          0 :           result = INTUSE(dwarf_errno) ();
     165                 :          0 :           goto out;
     166                 :            : 
     167                 :            :           /* Now all following cases affect this row, but do not touch LOC.
     168                 :            :              These cases end with 'continue'.  We only get out of the
     169                 :            :              switch block for the row-copying (LOC-moving) cases above.  */
     170                 :            : 
     171                 :        226 :         case DW_CFA_def_cfa:
     172                 :        226 :           get_uleb128 (operand, program, end);
     173         [ -  + ]:        226 :           cfi_assert (program < end);
     174                 :        226 :           get_uleb128 (offset, program, end);
     175                 :        226 :         def_cfa:
     176                 :        226 :           fs->cfa_rule = cfa_offset;
     177                 :        226 :           fs->cfa_val_reg = operand;
     178                 :        226 :           fs->cfa_val_offset = offset;
     179                 :            :           /* Prime the rest of the Dwarf_Op so dwarf_frame_cfa can use it.  */
     180                 :        226 :           fs->cfa_data.offset.atom = DW_OP_bregx;
     181                 :        226 :           fs->cfa_data.offset.offset = 0;
     182                 :        226 :           continue;
     183                 :            : 
     184                 :        120 :         case DW_CFA_def_cfa_register:
     185                 :        120 :           get_uleb128 (regno, program, end);
     186         [ -  + ]:        120 :           require_cfa_offset (fs);
     187                 :        120 :           fs->cfa_val_reg = regno;
     188                 :        120 :           continue;
     189                 :            : 
     190                 :          0 :         case DW_CFA_def_cfa_sf:
     191                 :          0 :           get_uleb128 (operand, program, end);
     192         [ #  # ]:          0 :           cfi_assert (program < end);
     193                 :          0 :           get_sleb128 (sf_offset, program, end);
     194                 :          0 :           offset = sf_offset * cie->data_alignment_factor;
     195                 :          0 :           goto def_cfa;
     196                 :            : 
     197                 :        606 :         case DW_CFA_def_cfa_offset:
     198                 :        606 :           get_uleb128 (offset, program, end);
     199                 :        606 :         def_cfa_offset:
     200         [ -  + ]:        606 :           require_cfa_offset (fs);
     201                 :        606 :           fs->cfa_val_offset = offset;
     202                 :        606 :           continue;
     203                 :            : 
     204                 :          0 :         case DW_CFA_def_cfa_offset_sf:
     205                 :          0 :           get_sleb128 (sf_offset, program, end);
     206                 :          0 :           offset = sf_offset * cie->data_alignment_factor;
     207                 :          0 :           goto def_cfa_offset;
     208                 :            : 
     209                 :          2 :         case DW_CFA_def_cfa_expression:
     210                 :            :           /* DW_FORM_block is a ULEB128 length followed by that many bytes.  */
     211                 :          2 :           get_uleb128 (operand, program, end);
     212         [ -  + ]:          2 :           cfi_assert (operand <= (Dwarf_Word) (end - program));
     213                 :          2 :           fs->cfa_rule = cfa_expr;
     214                 :          2 :           fs->cfa_data.expr.data = (unsigned char *) program;
     215                 :          2 :           fs->cfa_data.expr.length = operand;
     216                 :          2 :           program += operand;
     217                 :          2 :           continue;
     218                 :            : 
     219                 :         24 :         case DW_CFA_undefined:
     220                 :         24 :           get_uleb128 (regno, program, end);
     221         [ -  + ]:         24 :           register_rule (regno, undefined, 0);
     222                 :         24 :           continue;
     223                 :            : 
     224                 :       2428 :         case DW_CFA_same_value:
     225                 :       2428 :           get_uleb128 (regno, program, end);
     226         [ -  + ]:       2428 :           register_rule (regno, same_value, 0);
     227                 :       2428 :           continue;
     228                 :            : 
     229                 :          0 :         case DW_CFA_offset_extended:
     230                 :          0 :           get_uleb128 (operand, program, end);
     231         [ #  # ]:          0 :           cfi_assert (program < end);
     232                 :        944 :           FALLTHROUGH;
     233                 :            :         case DW_CFA_offset + 0 ... DW_CFA_offset + CFI_PRIMARY_MAX:
     234                 :        944 :           get_uleb128 (offset, program, end);
     235                 :        944 :           offset *= cie->data_alignment_factor;
     236                 :        966 :         offset_extended:
     237         [ -  + ]:        966 :           register_rule (operand, offset, offset);
     238                 :        966 :           continue;
     239                 :            : 
     240                 :         22 :         case DW_CFA_offset_extended_sf:
     241                 :         22 :           get_uleb128 (operand, program, end);
     242         [ -  + ]:         22 :           cfi_assert (program < end);
     243                 :         22 :           get_sleb128 (sf_offset, program, end);
     244                 :         22 :         offset_extended_sf:
     245                 :         22 :           offset = sf_offset * cie->data_alignment_factor;
     246                 :         22 :           goto offset_extended;
     247                 :            : 
     248                 :          0 :         case DW_CFA_GNU_negative_offset_extended:
     249                 :            :           /* GNU extension obsoleted by DW_CFA_offset_extended_sf.  */
     250                 :          0 :           get_uleb128 (operand, program, end);
     251         [ #  # ]:          0 :           cfi_assert (program < end);
     252                 :          0 :           get_uleb128 (offset, program, end);
     253                 :          0 :           sf_offset = -offset;
     254                 :          0 :           goto offset_extended_sf;
     255                 :            : 
     256                 :        180 :         case DW_CFA_val_offset:
     257                 :        180 :           get_uleb128 (operand, program, end);
     258         [ -  + ]:        180 :           cfi_assert (program < end);
     259                 :        180 :           get_uleb128 (offset, program, end);
     260                 :        180 :           offset *= cie->data_alignment_factor;
     261                 :        180 :         val_offset:
     262         [ -  + ]:        180 :           register_rule (operand, val_offset, offset);
     263                 :        180 :           continue;
     264                 :            : 
     265                 :          0 :         case DW_CFA_val_offset_sf:
     266                 :          0 :           get_uleb128 (operand, program, end);
     267         [ #  # ]:          0 :           cfi_assert (program < end);
     268                 :          0 :           get_sleb128 (sf_offset, program, end);
     269                 :          0 :           offset = sf_offset * cie->data_alignment_factor;
     270                 :          0 :           goto val_offset;
     271                 :            : 
     272                 :         26 :         case DW_CFA_register:
     273                 :         26 :           get_uleb128 (regno, program, end);
     274         [ -  + ]:         26 :           cfi_assert (program < end);
     275                 :         26 :           get_uleb128 (operand, program, end);
     276         [ -  + ]:         26 :           register_rule (regno, register, operand);
     277                 :         26 :           continue;
     278                 :            : 
     279                 :         10 :         case DW_CFA_expression:
     280                 :            :           /* Expression rule relies on section data, abi_cfi cannot use it.  */
     281         [ -  + ]:         10 :           assert (! abi_cfi);
     282                 :         10 :           get_uleb128 (regno, program, end);
     283                 :         10 :           offset = program - (const uint8_t *) cache->data->d.d_buf;
     284                 :            :           /* DW_FORM_block is a ULEB128 length followed by that many bytes.  */
     285         [ -  + ]:         10 :           cfi_assert (program < end);
     286                 :         10 :           get_uleb128 (operand, program, end);
     287         [ -  + ]:         10 :           cfi_assert (operand <= (Dwarf_Word) (end - program));
     288                 :         10 :           program += operand;
     289         [ -  + ]:         10 :           register_rule (regno, expression, offset);
     290                 :         10 :           continue;
     291                 :            : 
     292                 :          0 :         case DW_CFA_val_expression:
     293                 :            :           /* Expression rule relies on section data, abi_cfi cannot use it.  */
     294         [ #  # ]:          0 :           assert (! abi_cfi);
     295                 :          0 :           get_uleb128 (regno, program, end);
     296                 :            :           /* DW_FORM_block is a ULEB128 length followed by that many bytes.  */
     297                 :          0 :           offset = program - (const uint8_t *) cache->data->d.d_buf;
     298         [ #  # ]:          0 :           cfi_assert (program < end);
     299                 :          0 :           get_uleb128 (operand, program, end);
     300         [ #  # ]:          0 :           cfi_assert (operand <= (Dwarf_Word) (end - program));
     301                 :          0 :           program += operand;
     302         [ #  # ]:          0 :           register_rule (regno, val_expression, offset);
     303                 :          0 :           continue;
     304                 :            : 
     305                 :          0 :         case DW_CFA_restore_extended:
     306                 :          0 :           get_uleb128 (operand, program, end);
     307                 :         96 :           FALLTHROUGH;
     308                 :         96 :         case DW_CFA_restore + 0 ... DW_CFA_restore + CFI_PRIMARY_MAX:
     309                 :            : 
     310   [ -  +  -  - ]:         96 :           if (unlikely (abi_cfi) && likely (opcode == DW_CFA_restore))
     311                 :            :             {
     312                 :            :               /* Special case hack to give backend abi_cfi a shorthand.  */
     313                 :          0 :               cache->default_same_value = true;
     314                 :          0 :               continue;
     315                 :            :             }
     316                 :            : 
     317                 :            :           /* This can't be used in the CIE's own initial instructions.  */
     318         [ -  + ]:         96 :           cfi_assert (cie->initial_state != NULL);
     319                 :            : 
     320                 :            :           /* Restore the CIE's initial rule for this register.  */
     321         [ -  + ]:         96 :           if (unlikely (! enough_registers (operand, &fs, &result)))
     322                 :          0 :             goto out;
     323         [ +  - ]:         96 :           if (cie->initial_state->nregs > operand)
     324                 :         96 :             fs->regs[operand] = cie->initial_state->regs[operand];
     325                 :            :           else
     326                 :          0 :             fs->regs[operand].rule = reg_unspecified;
     327                 :         96 :           continue;
     328                 :            : 
     329                 :         36 :         case DW_CFA_remember_state:
     330                 :         36 :           {
     331                 :            :             /* Duplicate the state and chain the copy on.  */
     332                 :         36 :             Dwarf_Frame *copy = duplicate_frame_state (fs, fs);
     333         [ -  + ]:         36 :             if (unlikely (copy == NULL))
     334                 :            :               {
     335                 :          0 :                 result = DWARF_E_NOMEM;
     336                 :          0 :                 goto out;
     337                 :            :               }
     338                 :         36 :             fs = copy;
     339                 :         36 :             continue;
     340                 :            :           }
     341                 :            : 
     342                 :         36 :         case DW_CFA_restore_state:
     343                 :         36 :           {
     344                 :            :             /* Pop the current state off and use the old one instead.  */
     345                 :         36 :             Dwarf_Frame *prev = fs->prev;
     346         [ -  + ]:         36 :             cfi_assert (prev != NULL);
     347                 :         36 :             free (fs);
     348                 :         36 :             fs = prev;
     349                 :         36 :             continue;
     350                 :            :           }
     351                 :            : 
     352                 :      15624 :         case DW_CFA_nop:
     353                 :      15624 :           continue;
     354                 :            : 
     355                 :         36 :         case DW_CFA_GNU_window_save: /* DW_CFA_AARCH64_negate_ra_state */
     356         [ +  + ]:         36 :           if (cache->e_machine == EM_AARCH64)
     357                 :            :             {
     358                 :            :               /* Toggles the return address state, indicating whether
     359                 :            :                  the return address is encrypted or not on
     360                 :            :                  aarch64. XXX not handled yet.  */
     361                 :            :             }
     362                 :            :           else
     363                 :            :             {
     364                 :            :               /* This is magic shorthand used only by SPARC.  It's
     365                 :            :                  equivalent to a bunch of DW_CFA_register and
     366                 :            :                  DW_CFA_offset operations.  */
     367         [ -  + ]:         18 :               if (unlikely (! enough_registers (31, &fs, &result)))
     368                 :          0 :                 goto out;
     369         [ +  + ]:        162 :               for (regno = 8; regno < 16; ++regno)
     370                 :            :                 {
     371                 :            :                   /* Find each %oN in %iN.  */
     372                 :        144 :                   fs->regs[regno].rule = reg_register;
     373                 :        144 :                   fs->regs[regno].value = regno + 16;
     374                 :            :                 }
     375                 :         18 :               unsigned int address_size;
     376                 :         36 :               address_size = (cache->e_ident[EI_CLASS] == ELFCLASS32
     377         [ +  - ]:         18 :                               ? 4 : 8);
     378         [ +  + ]:        306 :               for (; regno < 32; ++regno)
     379                 :            :                 {
     380                 :            :                   /* Find %l0..%l7 and %i0..%i7 in a block at the CFA.  */
     381                 :        288 :                   fs->regs[regno].rule = reg_offset;
     382                 :        288 :                   fs->regs[regno].value = (regno - 16) * address_size;
     383                 :            :                 }
     384                 :            :             }
     385                 :         36 :           continue;
     386                 :            : 
     387                 :          0 :         case DW_CFA_GNU_args_size:
     388                 :            :           /* XXX is this useful for anything? */
     389                 :          0 :           get_uleb128 (operand, program, end);
     390                 :          0 :           continue;
     391                 :            : 
     392                 :            :         default:
     393                 :          0 :           cfi_assert (false);
     394                 :            :           continue;
     395                 :            :         }
     396                 :            : 
     397                 :            :       /* We get here only for the cases that have just moved LOC.  */
     398         [ -  + ]:       9722 :       cfi_assert (cie->initial_state != NULL);
     399         [ +  + ]:       9722 :       if (find_pc >= loc)
     400                 :            :         /* This advance has not yet reached FIND_PC.  */
     401                 :        924 :         fs->start = loc;
     402                 :            :       else
     403                 :            :         {
     404                 :            :           /* We have just advanced past the address we're looking for.
     405                 :            :              The state currently described is what we want to see.  */
     406                 :       8798 :           fs->end = loc;
     407                 :       8798 :           break;
     408                 :            :         }
     409                 :            :     }
     410                 :            : 
     411                 :            :   /* "The end of the instruction stream can be thought of as a
     412                 :            :      DW_CFA_set_loc (initial_location + address_range) instruction."
     413                 :            :      (DWARF 3.0 Section 6.4.3)
     414                 :            : 
     415                 :            :      When we fall off the end of the program without an advance_loc/set_loc
     416                 :            :      that put us past FIND_PC, the final state left by the FDE program
     417                 :            :      applies to this address (the caller ensured it was inside the FDE).
     418                 :            :      This address (FDE->end) is already in FS->end as set by the caller.  */
     419                 :            : 
     420                 :            : #undef register_rule
     421                 :            : #undef cfi_assert
     422                 :            : 
     423                 :       5312 :  out:
     424                 :            : 
     425                 :            :   /* Pop any remembered states left on the stack.  */
     426         [ -  + ]:      14110 :   while (fs->prev != NULL)
     427                 :            :     {
     428                 :          0 :       Dwarf_Frame *prev = fs->prev;
     429                 :          0 :       fs->prev = prev->prev;
     430                 :          0 :       free (prev);
     431                 :            :     }
     432                 :            : 
     433         [ +  - ]:      14110 :   if (likely (result == DWARF_E_NOERROR))
     434                 :      14110 :     *state = fs;
     435                 :            :   else
     436                 :          0 :     free (fs);
     437                 :            : 
     438                 :      14110 :   return result;
     439                 :            : }
     440                 :            : 
     441                 :            : static int
     442                 :      13726 : cie_cache_initial_state (Dwarf_CFI *cache, struct dwarf_cie *cie)
     443                 :            : {
     444                 :      13726 :   int result = DWARF_E_NOERROR;
     445                 :            : 
     446         [ +  + ]:      13726 :   if (likely (cie->initial_state != NULL))
     447                 :            :     return result;
     448                 :            : 
     449                 :            :   /* This CIE has not been used before.  Play out its initial
     450                 :            :      instructions and cache the initial state that results.
     451                 :            :      First we'll let the backend fill in the default initial
     452                 :            :      state for this machine's ABI.  */
     453                 :            : 
     454                 :        192 :   Dwarf_CIE abi_info = { DW_CIE_ID_64, NULL, NULL, 1, 1, -1, "", NULL, 0, 0 };
     455                 :            : 
     456                 :            :   /* Make sure we have a backend handle cached.  */
     457         [ +  + ]:        192 :   if (unlikely (cache->ebl == NULL))
     458                 :            :     {
     459                 :         12 :       cache->ebl = ebl_openbackend (cache->data->s->elf);
     460         [ -  + ]:         12 :       if (unlikely (cache->ebl == NULL))
     461                 :          0 :         cache->ebl = (void *) -1l;
     462                 :            :     }
     463                 :            : 
     464                 :            :   /* Fetch the ABI's default CFI program.  */
     465         [ +  - ]:        192 :   if (likely (cache->ebl != (void *) -1l)
     466         [ +  - ]:        192 :       && unlikely (ebl_abi_cfi (cache->ebl, &abi_info) < 0))
     467                 :            :     return DWARF_E_UNKNOWN_ERROR;
     468                 :            : 
     469                 :        192 :   Dwarf_Frame *cie_fs = calloc (1, sizeof (Dwarf_Frame));
     470         [ +  - ]:        192 :   if (unlikely (cie_fs == NULL))
     471                 :            :     return DWARF_E_NOMEM;
     472                 :            : 
     473                 :            :   /* If the default state of any register is not "undefined"
     474                 :            :      (i.e. call-clobbered), then the backend supplies instructions
     475                 :            :      for the standard initial state.  */
     476         [ +  - ]:        192 :   if (abi_info.initial_instructions_end > abi_info.initial_instructions)
     477                 :            :     {
     478                 :            :       /* Dummy CIE for backend's instructions.  */
     479                 :        192 :       struct dwarf_cie abi_cie =
     480                 :            :         {
     481                 :        192 :           .code_alignment_factor = abi_info.code_alignment_factor,
     482                 :        192 :           .data_alignment_factor = abi_info.data_alignment_factor,
     483                 :            :         };
     484                 :        192 :       result = execute_cfi (cache, &abi_cie, &cie_fs,
     485                 :            :                             abi_info.initial_instructions,
     486                 :            :                             abi_info.initial_instructions_end, true,
     487                 :            :                             0, (Dwarf_Addr) -1l);
     488                 :            :     }
     489                 :            : 
     490                 :            :   /* Now run the CIE's initial instructions.  */
     491         [ +  - ]:        192 :   if (cie->initial_instructions_end > cie->initial_instructions
     492         [ +  - ]:        192 :       && likely (result == DWARF_E_NOERROR))
     493                 :        192 :     result = execute_cfi (cache, cie, &cie_fs,
     494                 :            :                           cie->initial_instructions,
     495                 :            :                           cie->initial_instructions_end, false,
     496                 :            :                           0, (Dwarf_Addr) -1l);
     497                 :            : 
     498         [ +  - ]:        192 :   if (likely (result == DWARF_E_NOERROR))
     499                 :            :     {
     500                 :            :       /* Now we have the initial state of things that all
     501                 :            :          FDEs using this CIE will start from.  */
     502                 :        192 :       cie_fs->cache = cache;
     503                 :        192 :       cie->initial_state = cie_fs;
     504                 :            :     }
     505                 :            : 
     506                 :            :   return result;
     507                 :            : }
     508                 :            : 
     509                 :            : int
     510                 :            : internal_function
     511                 :      13726 : __libdw_frame_at_address (Dwarf_CFI *cache, struct dwarf_fde *fde,
     512                 :            :                           Dwarf_Addr address, Dwarf_Frame **frame)
     513                 :            : {
     514                 :      13726 :   int result = cie_cache_initial_state (cache, fde->cie);
     515         [ +  - ]:      13726 :   if (likely (result == DWARF_E_NOERROR))
     516                 :            :     {
     517                 :      13726 :       Dwarf_Frame *fs = duplicate_frame_state (fde->cie->initial_state, NULL);
     518         [ -  + ]:      13726 :       if (unlikely (fs == NULL))
     519                 :          0 :         return DWARF_E_NOMEM;
     520                 :            : 
     521                 :      13726 :       fs->fde = fde;
     522                 :      13726 :       fs->start = fde->start;
     523                 :      13726 :       fs->end = fde->end;
     524                 :            : 
     525                 :      13726 :       result = execute_cfi (cache, fde->cie, &fs,
     526                 :            :                             fde->instructions, fde->instructions_end, false,
     527                 :            :                             fde->start, address);
     528         [ +  - ]:      13726 :       if (likely (result == DWARF_E_NOERROR))
     529                 :      13726 :         *frame = fs;
     530                 :            :     }
     531                 :            :   return result;
     532                 :            : }

Generated by: LCOV version 1.16