LCOV - code coverage report
Current view: top level - libdw - dwarf_getsrclines.c (source / functions) Hit Total Coverage
Test: elfutils-0.190 Lines: 427 602 70.9 %
Date: 2023-11-14 21:22:18 Functions: 7 7 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 241 425 56.7 %

           Branch data     Line data    Source code
       1                 :            : /* Return line number information of CU.
       2                 :            :    Copyright (C) 2004-2010, 2013, 2014, 2015, 2016, 2018 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 <assert.h>
      34                 :            : #include <stdlib.h>
      35                 :            : #include <string.h>
      36                 :            : #include <search.h>
      37                 :            : 
      38                 :            : #include "dwarf.h"
      39                 :            : #include "libdwP.h"
      40                 :            : 
      41                 :            : 
      42                 :            : struct filelist
      43                 :            : {
      44                 :            :   Dwarf_Fileinfo info;
      45                 :            :   struct filelist *next;
      46                 :            : };
      47                 :            : 
      48                 :            : struct linelist
      49                 :            : {
      50                 :            :   Dwarf_Line line;
      51                 :            :   struct linelist *next;
      52                 :            :   size_t sequence;
      53                 :            : };
      54                 :            : 
      55                 :            : 
      56                 :            : /* Compare by Dwarf_Line.addr, given pointers into an array of pointers.  */
      57                 :            : static int
      58                 :   39219030 : compare_lines (const void *a, const void *b)
      59                 :            : {
      60                 :   39219030 :   struct linelist *const *p1 = a;
      61                 :   39219030 :   struct linelist *const *p2 = b;
      62                 :   39219030 :   struct linelist *list1 = *p1;
      63                 :   39219030 :   struct linelist *list2 = *p2;
      64                 :   39219030 :   Dwarf_Line *line1 = &list1->line;
      65                 :   39219030 :   Dwarf_Line *line2 = &list2->line;
      66                 :            : 
      67         [ +  + ]:   39219030 :   if (line1->addr != line2->addr)
      68         [ +  + ]:   35224400 :     return (line1->addr < line2->addr) ? -1 : 1;
      69                 :            : 
      70                 :            :   /* An end_sequence marker precedes a normal record at the same address.  */
      71         [ +  + ]:    3994630 :   if (line1->end_sequence != line2->end_sequence)
      72                 :       4092 :     return line2->end_sequence - line1->end_sequence;
      73                 :            : 
      74                 :            :   /* Otherwise, the linelist sequence maintains a stable sort.  */
      75                 :    3990538 :   return (list1->sequence < list2->sequence) ? -1
      76         [ -  + ]:    3990538 :     : (list1->sequence > list2->sequence) ? 1
      77                 :          0 :     : 0;
      78                 :            : }
      79                 :            : 
      80                 :            : struct line_state
      81                 :            : {
      82                 :            :   Dwarf_Word addr;
      83                 :            :   unsigned int op_index;
      84                 :            :   unsigned int file;
      85                 :            :   int64_t line;
      86                 :            :   unsigned int column;
      87                 :            :   uint_fast8_t is_stmt;
      88                 :            :   bool basic_block;
      89                 :            :   bool prologue_end;
      90                 :            :   bool epilogue_begin;
      91                 :            :   unsigned int isa;
      92                 :            :   unsigned int discriminator;
      93                 :            :   struct linelist *linelist;
      94                 :            :   size_t nlinelist;
      95                 :            :   unsigned int end_sequence;
      96                 :            :   unsigned int context;
      97                 :            :   unsigned int function_name;
      98                 :            : };
      99                 :            : 
     100                 :            : static inline void
     101                 :    6726600 : run_advance_pc (struct line_state *state, unsigned int op_advance,
     102                 :            :                 uint_fast8_t minimum_instr_len, uint_fast8_t max_ops_per_instr)
     103                 :            : {
     104                 :    6726600 :   state->addr += minimum_instr_len * ((state->op_index + op_advance)
     105                 :    6726600 :                                       / max_ops_per_instr);
     106                 :    6726600 :   state->op_index = (state->op_index + op_advance) % max_ops_per_instr;
     107                 :     543680 : }
     108                 :            : 
     109                 :            : static inline bool
     110                 :    8430442 : add_new_line (struct line_state *state, struct linelist *new_line)
     111                 :            : {
     112                 :            :   /* Set the line information.  For some fields we use bitfields,
     113                 :            :      so we would lose information if the encoded values are too large.
     114                 :            :      Check just for paranoia, and call the data "invalid" if it
     115                 :            :      violates our assumptions on reasonable limits for the values.  */
     116                 :    8430442 :   new_line->next = state->linelist;
     117                 :    8430442 :   new_line->sequence = state->nlinelist;
     118                 :    8430442 :   state->linelist = new_line;
     119                 :    8430442 :   ++(state->nlinelist);
     120                 :            : 
     121                 :            :   /* Set the line information.  For some fields we use bitfields,
     122                 :            :      so we would lose information if the encoded values are too large.
     123                 :            :      Check just for paranoia, and call the data "invalid" if it
     124                 :            :      violates our assumptions on reasonable limits for the values.  */
     125                 :            : #define SET(field)                                                    \
     126                 :            :   do {                                                                \
     127                 :            :      new_line->line.field = state->field;                       \
     128                 :            :      if (unlikely (new_line->line.field != state->field))       \
     129                 :            :        return true;                                                   \
     130                 :            :    } while (0)
     131                 :            : 
     132                 :            :   /* Same as above, but don't flag as "invalid" just use truncated
     133                 :            :      value.  Used for discriminator for which llvm might use a value
     134                 :            :      that won't fit 24 bits.  */
     135                 :            : #define SETX(field)                                                   \
     136                 :            :      new_line->line.field = state->field;                       \
     137                 :            : 
     138                 :    8430442 :   SET (addr);
     139         [ -  + ]:    8430442 :   SET (op_index);
     140                 :    8430442 :   SET (file);
     141         [ -  + ]:    8430442 :   SET (line);
     142         [ -  + ]:    8430442 :   SET (column);
     143         [ -  + ]:    8430442 :   SET (is_stmt);
     144                 :    8430442 :   SET (basic_block);
     145         [ -  + ]:    8430442 :   SET (end_sequence);
     146                 :    8430442 :   SET (prologue_end);
     147                 :    8430442 :   SET (epilogue_begin);
     148         [ -  + ]:    8430442 :   SET (isa);
     149                 :    8430442 :   SETX (discriminator);
     150                 :    8430442 :   SET (context);
     151                 :    8430442 :   SET (function_name);
     152                 :            : 
     153                 :            : #undef SET
     154                 :            : 
     155                 :            :   return false;
     156                 :            : }
     157                 :            : 
     158                 :            : static int
     159                 :      40812 : read_srclines (Dwarf *dbg,
     160                 :            :                const unsigned char *linep, const unsigned char *lineendp,
     161                 :            :                const char *comp_dir, unsigned address_size,
     162                 :            :                Dwarf_Lines **linesp, Dwarf_Files **filesp)
     163                 :            : {
     164                 :      40812 :   int res = -1;
     165                 :            : 
     166                 :      40812 :   struct filelist *filelist = NULL;
     167                 :      40812 :   size_t nfilelist = 0;
     168                 :      40812 :   size_t ndirlist = 0;
     169                 :            : 
     170                 :            :   /* If there are a large number of lines, files or dirs don't blow up
     171                 :            :      the stack.  Stack allocate some entries, only dynamically malloc
     172                 :            :      when more than MAX.  */
     173                 :            : #define MAX_STACK_ALLOC 4096
     174                 :            : #define MAX_STACK_LINES (MAX_STACK_ALLOC / 2)
     175                 :            : #define MAX_STACK_FILES (MAX_STACK_ALLOC / 4)
     176                 :            : #define MAX_STACK_DIRS  (MAX_STACK_ALLOC / 16)
     177                 :            : 
     178                 :            :   /* Initial statement program state (except for stmt_list, see below).  */
     179                 :      40812 :   struct line_state state =
     180                 :            :     {
     181                 :            :       .linelist = NULL,
     182                 :            :       .nlinelist = 0,
     183                 :            :       .addr = 0,
     184                 :            :       .op_index = 0,
     185                 :            :       .file = 1,
     186                 :            :       /* We only store int but want to check for overflow (see SET above).  */
     187                 :            :       .line = 1,
     188                 :            :       .column = 0,
     189                 :            :       .basic_block = false,
     190                 :            :       .prologue_end = false,
     191                 :            :       .epilogue_begin = false,
     192                 :            :       .isa = 0,
     193                 :            :       .discriminator = 0,
     194                 :            :       .context = 0,
     195                 :            :       .function_name = 0
     196                 :            :     };
     197                 :            : 
     198                 :            :   /* The dirs normally go on the stack, but if there are too many
     199                 :            :      we alloc them all.  Set up stack storage early, so we can check on
     200                 :            :      error if we need to free them or not.  */
     201                 :      40812 :   struct dirlist
     202                 :            :   {
     203                 :            :     const char *dir;
     204                 :            :     size_t len;
     205                 :            :   };
     206                 :      40812 :   struct dirlist dirstack[MAX_STACK_DIRS];
     207                 :      40812 :   struct dirlist *dirarray = dirstack;
     208                 :            : 
     209         [ -  + ]:      40812 :   if (unlikely (linep + 4 > lineendp))
     210                 :            :     {
     211                 :          0 :     invalid_data:
     212                 :          0 :       __libdw_seterrno (DWARF_E_INVALID_DEBUG_LINE);
     213                 :          0 :       goto out;
     214                 :            :     }
     215                 :            : 
     216         [ +  + ]:      40812 :   Dwarf_Word unit_length = read_4ubyte_unaligned_inc (dbg, linep);
     217                 :      40812 :   unsigned int length = 4;
     218         [ -  + ]:      40812 :   if (unlikely (unit_length == DWARF3_LENGTH_64_BIT))
     219                 :            :     {
     220         [ #  # ]:          0 :       if (unlikely (linep + 8 > lineendp))
     221                 :          0 :         goto invalid_data;
     222         [ #  # ]:          0 :       unit_length = read_8ubyte_unaligned_inc (dbg, linep);
     223                 :          0 :       length = 8;
     224                 :            :     }
     225                 :            : 
     226                 :            :   /* Check whether we have enough room in the section.  */
     227         [ -  + ]:      40812 :   if (unlikely (unit_length > (size_t) (lineendp - linep)))
     228                 :          0 :     goto invalid_data;
     229                 :      40812 :   lineendp = linep + unit_length;
     230                 :            : 
     231                 :            :   /* The next element of the header is the version identifier.  */
     232         [ -  + ]:      40812 :   if ((size_t) (lineendp - linep) < 2)
     233                 :          0 :     goto invalid_data;
     234         [ +  + ]:      40812 :   uint_fast16_t version = read_2ubyte_unaligned_inc (dbg, linep);
     235   [ +  -  -  + ]:      40812 :   if (unlikely (version < 2) || unlikely (version > 5))
     236                 :            :     {
     237                 :          0 :       __libdw_seterrno (DWARF_E_VERSION);
     238                 :          0 :       goto out;
     239                 :            :     }
     240                 :            : 
     241                 :            :   /* DWARF5 explicitly lists address and segment_selector sizes.  */
     242         [ +  + ]:      40812 :   if (version >= 5)
     243                 :            :     {
     244         [ -  + ]:      40074 :       if ((size_t) (lineendp - linep) < 2)
     245                 :          0 :         goto invalid_data;
     246                 :      40074 :       size_t line_address_size = *linep++;
     247                 :      40074 :       size_t segment_selector_size = *linep++;
     248   [ +  -  -  + ]:      40074 :       if (line_address_size != address_size || segment_selector_size != 0)
     249                 :          0 :         goto invalid_data;
     250                 :            :     }
     251                 :            : 
     252                 :            :   /* Next comes the header length.  */
     253                 :      40812 :   Dwarf_Word header_length;
     254         [ +  - ]:      40812 :   if (length == 4)
     255                 :            :     {
     256         [ -  + ]:      40812 :       if ((size_t) (lineendp - linep) < 4)
     257                 :          0 :         goto invalid_data;
     258         [ +  + ]:      40812 :       header_length = read_4ubyte_unaligned_inc (dbg, linep);
     259                 :            :     }
     260                 :            :   else
     261                 :            :     {
     262         [ #  # ]:          0 :       if ((size_t) (lineendp - linep) < 8)
     263                 :          0 :         goto invalid_data;
     264         [ #  # ]:          0 :       header_length = read_8ubyte_unaligned_inc (dbg, linep);
     265                 :            :     }
     266                 :      40812 :   const unsigned char *header_start = linep;
     267                 :            : 
     268                 :            :   /* Next the minimum instruction length.  */
     269                 :      40812 :   uint_fast8_t minimum_instr_len = *linep++;
     270                 :            : 
     271                 :            :   /* Next the maximum operations per instruction, in version 4 format.  */
     272                 :      40812 :   uint_fast8_t max_ops_per_instr = 1;
     273         [ +  + ]:      40812 :   if (version >= 4)
     274                 :            :     {
     275         [ -  + ]:      40122 :       if (unlikely ((size_t) (lineendp - linep) < 1))
     276                 :          0 :         goto invalid_data;
     277                 :      40122 :       max_ops_per_instr = *linep++;
     278         [ -  + ]:      40122 :       if (unlikely (max_ops_per_instr == 0))
     279                 :          0 :         goto invalid_data;
     280                 :            :     }
     281                 :            : 
     282                 :            :   /* 4 more bytes, is_stmt, line_base, line_range and opcode_base.  */
     283         [ -  + ]:      40812 :   if ((size_t) (lineendp - linep) < 4)
     284                 :          0 :     goto invalid_data;
     285                 :            : 
     286                 :            :   /* Then the flag determining the default value of the is_stmt
     287                 :            :      register.  */
     288                 :      40812 :   uint_fast8_t default_is_stmt = *linep++;
     289                 :            : 
     290                 :            :   /* Now the line base.  */
     291                 :      40812 :   int_fast8_t line_base = (int8_t) *linep++;
     292                 :            : 
     293                 :            :   /* And the line range.  */
     294                 :      40812 :   uint_fast8_t line_range = *linep++;
     295                 :            : 
     296                 :            :   /* The opcode base.  */
     297                 :      40812 :   uint_fast8_t opcode_base = *linep++;
     298                 :            : 
     299                 :            :   /* Remember array with the standard opcode length (-1 to account for
     300                 :            :      the opcode with value zero not being mentioned).  */
     301                 :      40812 :   const uint8_t *standard_opcode_lengths = linep - 1;
     302         [ -  + ]:      40812 :   if (unlikely (lineendp - linep < opcode_base - 1))
     303                 :          0 :     goto invalid_data;
     304                 :      40812 :   linep += opcode_base - 1;
     305                 :            : 
     306                 :            :   /* To read DWARF5 dir and file lists we need to know the forms.  For
     307                 :            :      now we skip everything, except the DW_LNCT_path and
     308                 :            :      DW_LNCT_directory_index.  */
     309                 :      40812 :   uint16_t forms[256];
     310                 :      40812 :   unsigned char nforms = 0;
     311                 :      40812 :   unsigned char form_path = -1; /* Which forms is DW_LNCT_path.  */
     312                 :      40812 :   unsigned char form_idx = -1;  /* And which is DW_LNCT_directory_index.  */
     313                 :            : 
     314                 :            :   /* To read/skip form data.  */
     315                 :      40812 :   Dwarf_CU fake_cu = {
     316                 :            :     .dbg = dbg,
     317                 :            :     .sec_idx = IDX_debug_line,
     318                 :            :     .version = 5,
     319                 :            :     .offset_size = length,
     320                 :            :     .address_size = address_size,
     321                 :            :     .startp = (void *) linep,
     322                 :            :     .endp = (void *) lineendp,
     323                 :            :   };
     324                 :            : 
     325                 :            :   /* First count the entries.  */
     326                 :      40812 :   size_t ndirs = 0;
     327         [ +  + ]:      40812 :   if (version < 5)
     328                 :            :     {
     329                 :            :       const unsigned char *dirp = linep;
     330   [ +  -  +  + ]:       1536 :       while (dirp < lineendp && *dirp != 0)
     331                 :            :         {
     332                 :        798 :           uint8_t *endp = memchr (dirp, '\0', lineendp - dirp);
     333         [ -  + ]:        798 :           if (endp == NULL)
     334                 :          0 :             goto invalid_data;
     335                 :        798 :           ++ndirs;
     336                 :        798 :           dirp = endp + 1;
     337                 :            :         }
     338   [ +  -  -  + ]:        738 :       if (dirp >= lineendp || *dirp != '\0')
     339                 :          0 :         goto invalid_data;
     340                 :        738 :       ndirs = ndirs + 1; /* There is always the "unknown" dir.  */
     341                 :            :     }
     342                 :            :   else
     343                 :            :     {
     344         [ -  + ]:      40074 :       if ((size_t) (lineendp - linep) < 1)
     345                 :          0 :         goto invalid_data;
     346                 :      40074 :       nforms = *linep++;
     347         [ +  + ]:      80148 :       for (int i = 0; i < nforms; i++)
     348                 :            :         {
     349                 :      40074 :           uint16_t desc, form;
     350         [ -  + ]:      40074 :           if ((size_t) (lineendp - linep) < 1)
     351                 :          0 :             goto invalid_data;
     352                 :      40074 :           get_uleb128 (desc, linep, lineendp);
     353         [ -  + ]:      40074 :           if ((size_t) (lineendp - linep) < 1)
     354                 :          0 :             goto invalid_data;
     355                 :      40074 :           get_uleb128 (form, linep, lineendp);
     356                 :            : 
     357         [ -  + ]:      40074 :           if (! libdw_valid_user_form (form))
     358                 :          0 :             goto invalid_data;
     359                 :            : 
     360                 :      40074 :           forms[i] = form;
     361         [ +  - ]:      40074 :           if (desc == DW_LNCT_path)
     362                 :      40074 :             form_path = i;
     363                 :            :         }
     364                 :            : 
     365         [ -  + ]:      40074 :       if (nforms > 0 && form_path == (unsigned char) -1)
     366                 :          0 :         goto invalid_data;
     367                 :            : 
     368         [ -  + ]:      40074 :       if ((size_t) (lineendp - linep) < 1)
     369                 :          0 :         goto invalid_data;
     370                 :      40074 :       get_uleb128 (ndirs, linep, lineendp);
     371                 :            : 
     372         [ -  + ]:      40074 :       if (nforms == 0 && ndirs != 0)
     373                 :          0 :         goto invalid_data;
     374                 :            : 
     375                 :            :       /* Assume there is at least 1 byte needed per form to describe
     376                 :            :          the directory.  Filters out insanely large ndirs.  */
     377   [ +  -  -  + ]:      40074 :       if (nforms != 0 && ndirs > (size_t) (lineendp - linep) / nforms)
     378                 :          0 :         goto invalid_data;
     379                 :            :     }
     380                 :            : 
     381                 :            :   /* Arrange the list in array form.  */
     382                 :      40812 :   ndirlist = ndirs;
     383         [ -  + ]:      40812 :   if (ndirlist >= MAX_STACK_DIRS)
     384                 :            :     {
     385         [ #  # ]:          0 :       if (ndirlist > SIZE_MAX / sizeof (*dirarray))
     386                 :          0 :         goto no_mem;
     387                 :          0 :       dirarray = malloc (ndirlist * sizeof (*dirarray));
     388         [ #  # ]:          0 :       if (unlikely (dirarray == NULL))
     389                 :            :         {
     390                 :          0 :         no_mem:
     391                 :          0 :           __libdw_seterrno (DWARF_E_NOMEM);
     392                 :          0 :           goto out;
     393                 :            :         }
     394                 :            :     }
     395                 :            : 
     396                 :            :   /* Entry zero is implicit for older versions, but explicit for 5+.  */
     397                 :      40812 :   struct dirlist comp_dir_elem;
     398         [ +  + ]:      40812 :   if (version < 5)
     399                 :            :     {
     400                 :            :       /* First comes the list of directories.  Add the compilation
     401                 :            :          directory first since the index zero is used for it.  */
     402                 :        738 :       comp_dir_elem.dir = comp_dir;
     403         [ +  + ]:        738 :       comp_dir_elem.len = comp_dir ? strlen (comp_dir) : 0,
     404                 :        738 :       dirarray[0] = comp_dir_elem;
     405         [ +  + ]:       1536 :       for (unsigned int n = 1; n < ndirlist; n++)
     406                 :            :         {
     407                 :        798 :           dirarray[n].dir = (char *) linep;
     408                 :        798 :           uint8_t *endp = memchr (linep, '\0', lineendp - linep);
     409         [ -  + ]:        798 :           assert (endp != NULL); // Checked above when calculating ndirlist.
     410                 :        798 :           dirarray[n].len = endp - linep;
     411                 :        798 :           linep = endp + 1;
     412                 :            :         }
     413                 :            :       /* Skip the final NUL byte.  */
     414         [ -  + ]:        738 :       assert (*linep == '\0'); // Checked above when calculating ndirlist.
     415                 :        738 :       ++linep;
     416                 :            :     }
     417                 :            :   else
     418                 :            :     {
     419                 :      40074 :       Dwarf_Attribute attr;
     420                 :      40074 :       attr.code = DW_AT_name;
     421                 :      40074 :       attr.cu = &fake_cu;
     422         [ +  + ]:     372418 :       for (unsigned int n = 0; n < ndirlist; n++)
     423                 :            :         {
     424                 :            :           const char *dir = NULL;
     425         [ +  + ]:     664688 :           for (unsigned char m = 0; m < nforms; m++)
     426                 :            :             {
     427         [ +  - ]:     332344 :               if (m == form_path)
     428                 :            :                 {
     429                 :     332344 :                   attr.form = forms[m];
     430                 :     332344 :                   attr.valp = (void *) linep;
     431                 :     332344 :                   dir = dwarf_formstring (&attr);
     432                 :            :                 }
     433                 :            : 
     434                 :     332344 :               size_t len = __libdw_form_val_len (&fake_cu, forms[m], linep);
     435         [ -  + ]:     332344 :               if ((size_t) (lineendp - linep) < len)
     436                 :          0 :                 goto invalid_data;
     437                 :            : 
     438                 :     332344 :               linep += len;
     439                 :            :             }
     440                 :            : 
     441         [ -  + ]:     332344 :           if (dir == NULL)
     442                 :          0 :             goto invalid_data;
     443                 :            : 
     444                 :     332344 :           dirarray[n].dir = dir;
     445                 :     332344 :           dirarray[n].len = strlen (dir);
     446                 :            :         }
     447                 :            :     }
     448                 :            : 
     449                 :            :   /* File index zero doesn't exist for DWARF < 5.  Files are indexed
     450                 :            :      starting from 1.  But for DWARF5 they are indexed starting from
     451                 :            :      zero, but the default index is still 1.  In both cases the
     452                 :            :      "first" file is special and refers to the main compile unit file,
     453                 :            :      equal to the DW_AT_name of the DW_TAG_compile_unit.  */
     454                 :      40812 :   struct filelist null_file =
     455                 :            :     {
     456                 :            :       .info =
     457                 :            :       {
     458                 :            :         .name = "???",
     459                 :            :         .mtime = 0,
     460                 :            :         .length = 0
     461                 :            :       },
     462                 :            :       .next = NULL
     463                 :            :     };
     464                 :      40812 :   filelist = &null_file;
     465                 :      40812 :   nfilelist = 1;
     466                 :            : 
     467                 :            :   /* Allocate memory for a new file.  For the first MAX_STACK_FILES
     468                 :            :      entries just return a slot in the preallocated stack array.
     469                 :            :      This is slightly complicated because in DWARF < 5 new files could
     470                 :            :      be defined with DW_LNE_define_file after the normal file list was
     471                 :            :      read.  */
     472                 :      40812 :   struct filelist flstack[MAX_STACK_FILES];
     473                 :            : #define NEW_FILE() ({                                                   \
     474                 :            :   struct filelist *fl = (nfilelist < MAX_STACK_FILES                 \
     475                 :            :                            ? &flstack[nfilelist]                    \
     476                 :            :                            : malloc (sizeof (struct filelist)));        \
     477                 :            :   if (unlikely (fl == NULL))                                            \
     478                 :            :     goto no_mem;                                                        \
     479                 :            :   ++nfilelist;                                                          \
     480                 :            :   fl->next = filelist;                                                       \
     481                 :            :   filelist = fl;                                                        \
     482                 :            :   fl; })
     483                 :            : 
     484                 :            :   /* Now read the files.  */
     485         [ +  + ]:      40812 :   if (version < 5)
     486                 :            :     {
     487         [ -  + ]:        738 :       if (unlikely (linep >= lineendp))
     488                 :          0 :         goto invalid_data;
     489   [ +  -  +  + ]:       8446 :       while (linep < lineendp && *linep != '\0')
     490                 :            :         {
     491   [ +  -  -  + ]:       7708 :           struct filelist *new_file = NEW_FILE ();
     492                 :            : 
     493                 :            :           /* First comes the file name.  */
     494                 :       7708 :           char *fname = (char *) linep;
     495                 :       7708 :           uint8_t *endp = memchr (fname, '\0', lineendp - linep);
     496         [ -  + ]:       7708 :           if (endp == NULL)
     497                 :          0 :             goto invalid_data;
     498                 :       7708 :           size_t fnamelen = endp - (uint8_t *) fname;
     499                 :       7708 :           linep = endp + 1;
     500                 :            : 
     501                 :            :           /* Then the index.  */
     502                 :       7708 :           Dwarf_Word diridx;
     503         [ -  + ]:       7708 :           if (unlikely (linep >= lineendp))
     504                 :          0 :             goto invalid_data;
     505                 :       7708 :           get_uleb128 (diridx, linep, lineendp);
     506         [ -  + ]:       7708 :           if (unlikely (diridx >= ndirlist))
     507                 :            :             {
     508                 :          0 :               __libdw_seterrno (DWARF_E_INVALID_DIR_IDX);
     509                 :          0 :               goto out;
     510                 :            :             }
     511                 :            : 
     512         [ +  + ]:       7708 :           if (*fname == '/')
     513                 :            :             /* It's an absolute path.  */
     514                 :        708 :             new_file->info.name = fname;
     515                 :            :           else
     516                 :            :             {
     517         [ +  + ]:       7000 :               new_file->info.name = libdw_alloc (dbg, char, 1,
     518                 :            :                                                  dirarray[diridx].len + 1
     519                 :            :                                                  + fnamelen + 1);
     520                 :       7000 :               char *cp = new_file->info.name;
     521                 :            : 
     522         [ +  + ]:       7000 :               if (dirarray[diridx].dir != NULL)
     523                 :            :                 {
     524                 :            :                   /* This value could be NULL in case the DW_AT_comp_dir
     525                 :            :                      was not present.  We cannot do much in this case.
     526                 :            :                      Just keep the file relative.  */
     527                 :       6988 :                   cp = stpcpy (cp, dirarray[diridx].dir);
     528                 :       6988 :                   *cp++ = '/';
     529                 :            :                 }
     530         [ -  + ]:       7000 :               strcpy (cp, fname);
     531         [ -  + ]:       7000 :               assert (strlen (new_file->info.name)
     532                 :            :                       < dirarray[diridx].len + 1 + fnamelen + 1);
     533                 :            :             }
     534                 :            : 
     535                 :            :           /* Next comes the modification time.  */
     536         [ -  + ]:       7708 :           if (unlikely (linep >= lineendp))
     537                 :          0 :             goto invalid_data;
     538                 :       7708 :           get_uleb128 (new_file->info.mtime, linep, lineendp);
     539                 :            : 
     540                 :            :           /* Finally the length of the file.  */
     541         [ -  + ]:       7708 :           if (unlikely (linep >= lineendp))
     542                 :          0 :             goto invalid_data;
     543                 :       7708 :           get_uleb128 (new_file->info.length, linep, lineendp);
     544                 :            :         }
     545   [ +  -  -  + ]:        738 :       if (linep >= lineendp || *linep != '\0')
     546                 :          0 :         goto invalid_data;
     547                 :            :       /* Skip the final NUL byte.  */
     548                 :        738 :       ++linep;
     549                 :            :     }
     550                 :            :   else
     551                 :            :     {
     552         [ -  + ]:      40074 :       if ((size_t) (lineendp - linep) < 1)
     553                 :          0 :         goto invalid_data;
     554                 :      40074 :       nforms = *linep++;
     555                 :      40074 :       form_path = form_idx = -1;
     556         [ +  + ]:     120222 :       for (int i = 0; i < nforms; i++)
     557                 :            :         {
     558                 :      80148 :           uint16_t desc, form;
     559         [ -  + ]:      80148 :           if ((size_t) (lineendp - linep) < 1)
     560                 :          0 :             goto invalid_data;
     561                 :      80148 :           get_uleb128 (desc, linep, lineendp);
     562         [ -  + ]:      80148 :           if ((size_t) (lineendp - linep) < 1)
     563                 :          0 :             goto invalid_data;
     564                 :      80148 :           get_uleb128 (form, linep, lineendp);
     565                 :            : 
     566         [ -  + ]:      80148 :           if (! libdw_valid_user_form (form))
     567                 :          0 :             goto invalid_data;
     568                 :            : 
     569                 :      80148 :           forms[i] = form;
     570         [ +  + ]:      80148 :           if (desc == DW_LNCT_path)
     571                 :      40074 :             form_path = i;
     572         [ +  - ]:      40074 :           else if (desc == DW_LNCT_directory_index)
     573                 :      40074 :             form_idx = i;
     574                 :            :         }
     575                 :            : 
     576         [ +  - ]:      40074 :       if (nforms > 0 && (form_path == (unsigned char) -1
     577         [ -  + ]:      40074 :                          || form_idx == (unsigned char) -1))
     578                 :          0 :         goto invalid_data;
     579                 :            : 
     580                 :      40074 :       size_t nfiles;
     581         [ -  + ]:      40074 :       if ((size_t) (lineendp - linep) < 1)
     582                 :          0 :         goto invalid_data;
     583                 :      40074 :       get_uleb128 (nfiles, linep, lineendp);
     584                 :            : 
     585         [ -  + ]:      40074 :       if (nforms == 0 && nfiles != 0)
     586                 :          0 :         goto invalid_data;
     587                 :            : 
     588                 :            :       /* Assume there is at least 1 byte needed per form to describe
     589                 :            :          the file.  Filters out insanely large nfiles.  */
     590   [ +  -  -  + ]:      40074 :       if (nforms != 0 && nfiles > (size_t) (lineendp - linep) / nforms)
     591                 :          0 :         goto invalid_data;
     592                 :            : 
     593                 :      40074 :       Dwarf_Attribute attr;
     594                 :      40074 :       attr.cu = &fake_cu;
     595         [ +  + ]:     653542 :       for (unsigned int n = 0; n < nfiles; n++)
     596                 :            :         {
     597                 :     613468 :           const char *fname = NULL;
     598                 :     613468 :           Dwarf_Word diridx = (Dwarf_Word) -1;
     599         [ +  + ]:    1840404 :           for (unsigned char m = 0; m < nforms; m++)
     600                 :            :             {
     601         [ +  + ]:    1226936 :               if (m == form_path)
     602                 :            :                 {
     603                 :     613468 :                   attr.code = DW_AT_name;
     604                 :     613468 :                   attr.form = forms[m];
     605                 :     613468 :                   attr.valp = (void *) linep;
     606                 :     613468 :                   fname = dwarf_formstring (&attr);
     607                 :            :                 }
     608         [ -  + ]:     613468 :               else if (m == form_idx)
     609                 :            :                 {
     610                 :     613468 :                   attr.code = DW_AT_decl_file; /* Close enough.  */
     611                 :     613468 :                   attr.form = forms[m];
     612                 :     613468 :                   attr.valp = (void *) linep;
     613         [ +  - ]:     613468 :                   if (dwarf_formudata (&attr, &diridx) != 0)
     614                 :          0 :                     diridx = (Dwarf_Word) -1;
     615                 :            :                 }
     616                 :            : 
     617                 :    1226936 :               size_t len = __libdw_form_val_len (&fake_cu, forms[m], linep);
     618         [ -  + ]:    1226936 :               if ((size_t) (lineendp - linep) < len)
     619                 :          0 :                 goto invalid_data;
     620                 :            : 
     621                 :    1226936 :               linep += len;
     622                 :            :             }
     623                 :            : 
     624   [ +  -  -  + ]:     613468 :           if (fname == NULL || diridx == (Dwarf_Word) -1)
     625                 :          0 :             goto invalid_data;
     626                 :            : 
     627                 :     613468 :           size_t fnamelen = strlen (fname);
     628                 :            : 
     629         [ -  + ]:     613468 :           if (unlikely (diridx >= ndirlist))
     630                 :            :             {
     631                 :          0 :               __libdw_seterrno (DWARF_E_INVALID_DIR_IDX);
     632                 :          0 :               goto out;
     633                 :            :             }
     634                 :            : 
     635                 :            :           /* Yes, weird.  Looks like an off-by-one in the spec.  */
     636   [ +  +  +  -  :     613468 :           struct filelist *new_file = n == 0 ? &null_file : NEW_FILE ();
                   -  + ]
     637                 :            : 
     638                 :            :           /* We follow the same rules as above for DWARF < 5, even
     639                 :            :              though the standard doesn't explicitly mention absolute
     640                 :            :              paths and ignoring the dir index.  */
     641         [ -  + ]:     613468 :           if (*fname == '/')
     642                 :            :             /* It's an absolute path.  */
     643                 :          0 :             new_file->info.name = (char *) fname;
     644                 :            :           else
     645                 :            :             {
     646         [ +  + ]:     613468 :               new_file->info.name = libdw_alloc (dbg, char, 1,
     647                 :            :                                                  dirarray[diridx].len + 1
     648                 :            :                                                  + fnamelen + 1);
     649                 :     613468 :               char *cp = new_file->info.name;
     650                 :            : 
     651                 :            :               /* In the DWARF >= 5 case, dir can never be NULL.  */
     652         [ -  + ]:     613468 :               cp = stpcpy (cp, dirarray[diridx].dir);
     653                 :     613468 :               *cp++ = '/';
     654         [ -  + ]:     613468 :               strcpy (cp, fname);
     655         [ -  + ]:     613468 :               assert (strlen (new_file->info.name)
     656                 :            :                       < dirarray[diridx].len + 1 + fnamelen + 1);
     657                 :            :             }
     658                 :            : 
     659                 :            :           /* For now we just ignore the modification time and file length.  */
     660                 :     613468 :           new_file->info.mtime = 0;
     661                 :     613468 :           new_file->info.length = 0;
     662                 :            :         }
     663                 :            :     }
     664                 :            : 
     665                 :      40812 :   unsigned int debug_str_offset = 0;
     666         [ +  + ]:      40812 :   if (unlikely (linep == header_start + header_length - 4))
     667                 :            :     {
     668                 :            :       /* CUBINs contain an unsigned 4-byte offset */
     669         [ -  + ]:          2 :       debug_str_offset = read_4ubyte_unaligned_inc (dbg, linep);
     670                 :            :     }
     671                 :            : 
     672                 :            :   /* Consistency check.  */
     673         [ -  + ]:      40812 :   if (unlikely (linep != header_start + header_length))
     674                 :            :     {
     675                 :          0 :       __libdw_seterrno (DWARF_E_INVALID_DWARF);
     676                 :          0 :       goto out;
     677                 :            :     }
     678                 :            : 
     679                 :            :   /* We are about to process the statement program.  Most state machine
     680                 :            :      registers have already been initialize above.  Just add the is_stmt
     681                 :            :      default. See 6.2.2 in the v2.1 specification.  */
     682                 :      40812 :   state.is_stmt = default_is_stmt;
     683                 :            : 
     684                 :            :   /* Apply the "operation advance" from a special opcode or
     685                 :            :      DW_LNS_advance_pc (as per DWARF4 6.2.5.1).  */
     686                 :            : #define advance_pc(op_advance) \
     687                 :            :   run_advance_pc (&state, op_advance, minimum_instr_len, max_ops_per_instr)
     688                 :            : 
     689                 :            :   /* Process the instructions.  */
     690                 :            : 
     691                 :            :   /* Adds a new line to the matrix.  For the first MAX_STACK_LINES
     692                 :            :      entries just return a slot in the preallocated stack array.  */
     693                 :      40812 :   struct linelist llstack[MAX_STACK_LINES];
     694                 :            : #define NEW_LINE(end_seq)                                               \
     695                 :            :   do {                                                          \
     696                 :            :     struct linelist *ll = (state.nlinelist < MAX_STACK_LINES \
     697                 :            :                            ? &llstack[state.nlinelist]              \
     698                 :            :                            : malloc (sizeof (struct linelist)));        \
     699                 :            :     if (unlikely (ll == NULL))                                  \
     700                 :            :       goto no_mem;                                              \
     701                 :            :     state.end_sequence = end_seq;                               \
     702                 :            :     if (unlikely (add_new_line (&state, ll)))                       \
     703                 :            :       goto invalid_data;                                                \
     704                 :            :   } while (0)
     705                 :            : 
     706                 :      40812 :   while (linep < lineendp)
     707                 :            :     {
     708                 :   20761128 :       unsigned int opcode;
     709                 :   20761128 :       unsigned int u128;
     710                 :   20761128 :       int s128;
     711                 :            : 
     712                 :            :       /* Read the opcode.  */
     713                 :   20761128 :       opcode = *linep++;
     714                 :            : 
     715                 :            :       /* Is this a special opcode?  */
     716         [ +  + ]:   20761128 :       if (likely (opcode >= opcode_base))
     717                 :            :         {
     718         [ -  + ]:    6182920 :           if (unlikely (line_range == 0))
     719                 :          0 :             goto invalid_data;
     720                 :            : 
     721                 :            :           /* Yes.  Handling this is quite easy since the opcode value
     722                 :            :              is computed with
     723                 :            : 
     724                 :            :              opcode = (desired line increment - line_base)
     725                 :            :                        + (line_range * address advance) + opcode_base
     726                 :            :           */
     727                 :    6182920 :           int line_increment = (line_base
     728                 :    6182920 :                                 + (opcode - opcode_base) % line_range);
     729                 :            : 
     730                 :            :           /* Perform the increments.  */
     731                 :    6182920 :           state.line += line_increment;
     732                 :    6182920 :           advance_pc ((opcode - opcode_base) / line_range);
     733                 :            : 
     734                 :            :           /* Add a new line with the current state machine values.  */
     735   [ +  +  -  +  :    6182920 :           NEW_LINE (0);
                   -  + ]
     736                 :            : 
     737                 :            :           /* Reset the flags.  */
     738                 :    6182920 :           state.basic_block = false;
     739                 :    6182920 :           state.prologue_end = false;
     740                 :    6182920 :           state.epilogue_begin = false;
     741                 :    6182920 :           state.discriminator = 0;
     742                 :            :         }
     743         [ +  + ]:   14578208 :       else if (opcode == 0)
     744                 :            :         {
     745                 :            :           /* This an extended opcode.  */
     746         [ -  + ]:    1160940 :           if (unlikely (lineendp - linep < 2))
     747                 :          0 :             goto invalid_data;
     748                 :            : 
     749                 :            :           /* The length.  */
     750                 :    1160940 :           uint_fast8_t len = *linep++;
     751                 :            : 
     752         [ -  + ]:    1160940 :           if (unlikely ((size_t) (lineendp - linep) < len))
     753                 :          0 :             goto invalid_data;
     754                 :            : 
     755                 :            :           /* The sub-opcode.  */
     756                 :    1160940 :           opcode = *linep++;
     757                 :            : 
     758   [ +  +  -  +  :    1160940 :           switch (opcode)
                +  -  - ]
     759                 :            :             {
     760                 :      79914 :             case DW_LNE_end_sequence:
     761                 :            :               /* Add a new line with the current state machine values.
     762                 :            :                  The is the end of the sequence.  */
     763   [ +  +  -  +  :      79914 :               NEW_LINE (1);
                   -  + ]
     764                 :            : 
     765                 :            :               /* Reset the registers.  */
     766                 :      79914 :               state.addr = 0;
     767                 :      79914 :               state.op_index = 0;
     768                 :      79914 :               state.file = 1;
     769                 :      79914 :               state.line = 1;
     770                 :      79914 :               state.column = 0;
     771                 :      79914 :               state.is_stmt = default_is_stmt;
     772                 :      79914 :               state.basic_block = false;
     773                 :      79914 :               state.prologue_end = false;
     774                 :      79914 :               state.epilogue_begin = false;
     775                 :      79914 :               state.isa = 0;
     776                 :      79914 :               state.discriminator = 0;
     777                 :      79914 :               state.context = 0;
     778                 :      79914 :               state.function_name = 0;
     779                 :      79914 :               break;
     780                 :            : 
     781                 :      89334 :             case DW_LNE_set_address:
     782                 :            :               /* The value is an address.  The size is defined as
     783                 :            :                  appropriate for the target machine.  We use the
     784                 :            :                  address size field from the CU header.  */
     785                 :      89334 :               state.op_index = 0;
     786         [ -  + ]:      89334 :               if (unlikely (lineendp - linep < (uint8_t) address_size))
     787                 :          0 :                 goto invalid_data;
     788         [ +  - ]:      89334 :               if (__libdw_read_address_inc (dbg, IDX_debug_line, &linep,
     789                 :            :                                             address_size, &state.addr))
     790                 :          0 :                 goto out;
     791                 :            :               break;
     792                 :            : 
     793                 :          0 :             case DW_LNE_define_file:
     794                 :            :               {
     795                 :          0 :                 char *fname = (char *) linep;
     796                 :          0 :                 uint8_t *endp = memchr (linep, '\0', lineendp - linep);
     797         [ #  # ]:          0 :                 if (endp == NULL)
     798                 :          0 :                   goto invalid_data;
     799                 :          0 :                 size_t fnamelen = endp - linep;
     800                 :          0 :                 linep = endp + 1;
     801                 :            : 
     802                 :          0 :                 unsigned int diridx;
     803         [ #  # ]:          0 :                 if (unlikely (linep >= lineendp))
     804                 :          0 :                   goto invalid_data;
     805                 :          0 :                 get_uleb128 (diridx, linep, lineendp);
     806         [ #  # ]:          0 :                 if (unlikely (diridx >= ndirlist))
     807                 :            :                   {
     808                 :          0 :                     __libdw_seterrno (DWARF_E_INVALID_DIR_IDX);
     809                 :          0 :                     goto invalid_data;
     810                 :            :                   }
     811                 :          0 :                 Dwarf_Word mtime;
     812         [ #  # ]:          0 :                 if (unlikely (linep >= lineendp))
     813                 :          0 :                   goto invalid_data;
     814                 :          0 :                 get_uleb128 (mtime, linep, lineendp);
     815                 :          0 :                 Dwarf_Word filelength;
     816         [ #  # ]:          0 :                 if (unlikely (linep >= lineendp))
     817                 :          0 :                   goto invalid_data;
     818                 :          0 :                 get_uleb128 (filelength, linep, lineendp);
     819                 :            : 
     820   [ #  #  #  # ]:          0 :                 struct filelist *new_file = NEW_FILE ();
     821         [ #  # ]:          0 :                 if (fname[0] == '/')
     822                 :          0 :                   new_file->info.name = fname;
     823                 :            :                 else
     824                 :            :                   {
     825                 :          0 :                     new_file->info.name =
     826         [ #  # ]:          0 :                       libdw_alloc (dbg, char, 1, (dirarray[diridx].len + 1
     827                 :            :                                                   + fnamelen + 1));
     828                 :          0 :                     char *cp = new_file->info.name;
     829                 :            : 
     830         [ #  # ]:          0 :                     if (dirarray[diridx].dir != NULL)
     831                 :            :                       /* This value could be NULL in case the
     832                 :            :                          DW_AT_comp_dir was not present.  We
     833                 :            :                          cannot do much in this case.  Just
     834                 :            :                          keep the file relative.  */
     835                 :            :                       {
     836                 :          0 :                         cp = stpcpy (cp, dirarray[diridx].dir);
     837                 :          0 :                         *cp++ = '/';
     838                 :            :                       }
     839                 :          0 :                     strcpy (cp, fname);
     840                 :            :                   }
     841                 :            : 
     842                 :          0 :                 new_file->info.mtime = mtime;
     843                 :          0 :                 new_file->info.length = filelength;
     844                 :            :               }
     845                 :          0 :               break;
     846                 :            : 
     847                 :     991678 :             case DW_LNE_set_discriminator:
     848                 :            :               /* Takes one ULEB128 parameter, the discriminator.  */
     849         [ -  + ]:     991678 :               if (unlikely (standard_opcode_lengths[opcode] != 1))
     850                 :          0 :                 goto invalid_data;
     851                 :            : 
     852         [ -  + ]:     991678 :               if (unlikely (linep >= lineendp))
     853                 :          0 :                 goto invalid_data;
     854                 :     991678 :               get_uleb128 (state.discriminator, linep, lineendp);
     855                 :     991678 :               break;
     856                 :            : 
     857                 :         14 :             case DW_LNE_NVIDIA_inlined_call:
     858         [ -  + ]:         14 :               if (unlikely (linep >= lineendp))
     859                 :          0 :                 goto invalid_data;
     860                 :         14 :               get_uleb128 (state.context, linep, lineendp);
     861         [ -  + ]:         14 :               if (unlikely (linep >= lineendp))
     862                 :          0 :                 goto invalid_data;
     863                 :         14 :               get_uleb128 (state.function_name, linep, lineendp);
     864                 :         14 :               state.function_name += debug_str_offset;
     865                 :         14 :               break;
     866                 :            : 
     867                 :          0 :             case DW_LNE_NVIDIA_set_function_name:
     868         [ #  # ]:          0 :               if (unlikely (linep >= lineendp))
     869                 :          0 :                 goto invalid_data;
     870                 :          0 :               get_uleb128 (state.function_name, linep, lineendp);
     871                 :          0 :               state.function_name += debug_str_offset;
     872                 :          0 :               break;
     873                 :            : 
     874                 :            :             default:
     875                 :            :               /* Unknown, ignore it.  */
     876                 :          0 :               if (unlikely ((size_t) (lineendp - (linep - 1)) < len))
     877                 :            :                 goto invalid_data;
     878                 :          0 :               linep += len - 1;
     879                 :          0 :               break;
     880                 :            :             }
     881                 :            :         }
     882         [ +  - ]:   13417268 :       else if (opcode <= DW_LNS_set_isa)
     883                 :            :         {
     884                 :            :           /* This is a known standard opcode.  */
     885   [ +  +  +  +  :   13417268 :           switch (opcode)
          +  +  -  +  +  
                +  -  - ]
     886                 :            :             {
     887                 :    2167608 :             case DW_LNS_copy:
     888                 :            :               /* Takes no argument.  */
     889         [ -  + ]:    2167608 :               if (unlikely (standard_opcode_lengths[opcode] != 0))
     890                 :          0 :                 goto invalid_data;
     891                 :            : 
     892                 :            :               /* Add a new line with the current state machine values.  */
     893   [ +  +  -  +  :    2167608 :               NEW_LINE (0);
                   -  + ]
     894                 :            : 
     895                 :            :               /* Reset the flags.  */
     896                 :    2167608 :               state.basic_block = false;
     897                 :    2167608 :               state.prologue_end = false;
     898                 :    2167608 :               state.epilogue_begin = false;
     899                 :    2167608 :               state.discriminator = 0;
     900                 :    2167608 :               break;
     901                 :            : 
     902                 :     124380 :             case DW_LNS_advance_pc:
     903                 :            :               /* Takes one uleb128 parameter which is added to the
     904                 :            :                  address.  */
     905         [ -  + ]:     124380 :               if (unlikely (standard_opcode_lengths[opcode] != 1))
     906                 :          0 :                 goto invalid_data;
     907                 :            : 
     908         [ -  + ]:     124380 :               if (unlikely (linep >= lineendp))
     909                 :          0 :                 goto invalid_data;
     910                 :     124380 :               get_uleb128 (u128, linep, lineendp);
     911                 :     124380 :               advance_pc (u128);
     912                 :            :               break;
     913                 :            : 
     914                 :    1546134 :             case DW_LNS_advance_line:
     915                 :            :               /* Takes one sleb128 parameter which is added to the
     916                 :            :                  line.  */
     917         [ -  + ]:    1546134 :               if (unlikely (standard_opcode_lengths[opcode] != 1))
     918                 :          0 :                 goto invalid_data;
     919                 :            : 
     920         [ -  + ]:    1546134 :               if (unlikely (linep >= lineendp))
     921                 :          0 :                 goto invalid_data;
     922                 :    1546134 :               get_sleb128 (s128, linep, lineendp);
     923                 :    1546134 :               state.line += s128;
     924                 :    1546134 :               break;
     925                 :            : 
     926                 :     485400 :             case DW_LNS_set_file:
     927                 :            :               /* Takes one uleb128 parameter which is stored in file.  */
     928         [ -  + ]:     485400 :               if (unlikely (standard_opcode_lengths[opcode] != 1))
     929                 :          0 :                 goto invalid_data;
     930                 :            : 
     931         [ -  + ]:     485400 :               if (unlikely (linep >= lineendp))
     932                 :          0 :                 goto invalid_data;
     933                 :     485400 :               get_uleb128 (u128, linep, lineendp);
     934                 :     485400 :               state.file = u128;
     935                 :     485400 :               break;
     936                 :            : 
     937                 :    5120582 :             case DW_LNS_set_column:
     938                 :            :               /* Takes one uleb128 parameter which is stored in column.  */
     939         [ -  + ]:    5120582 :               if (unlikely (standard_opcode_lengths[opcode] != 1))
     940                 :          0 :                 goto invalid_data;
     941                 :            : 
     942         [ -  + ]:    5120582 :               if (unlikely (linep >= lineendp))
     943                 :          0 :                 goto invalid_data;
     944                 :    5120582 :               get_uleb128 (u128, linep, lineendp);
     945                 :    5120582 :               state.column = u128;
     946                 :    5120582 :               break;
     947                 :            : 
     948                 :    3553814 :             case DW_LNS_negate_stmt:
     949                 :            :               /* Takes no argument.  */
     950         [ -  + ]:    3553814 :               if (unlikely (standard_opcode_lengths[opcode] != 0))
     951                 :          0 :                 goto invalid_data;
     952                 :            : 
     953                 :    3553814 :               state.is_stmt = 1 - state.is_stmt;
     954                 :    3553814 :               break;
     955                 :            : 
     956                 :          0 :             case DW_LNS_set_basic_block:
     957                 :            :               /* Takes no argument.  */
     958         [ #  # ]:          0 :               if (unlikely (standard_opcode_lengths[opcode] != 0))
     959                 :          0 :                 goto invalid_data;
     960                 :            : 
     961                 :          0 :               state.basic_block = true;
     962                 :          0 :               break;
     963                 :            : 
     964                 :     419300 :             case DW_LNS_const_add_pc:
     965                 :            :               /* Takes no argument.  */
     966         [ -  + ]:     419300 :               if (unlikely (standard_opcode_lengths[opcode] != 0))
     967                 :          0 :                 goto invalid_data;
     968                 :            : 
     969         [ -  + ]:     419300 :               if (unlikely (line_range == 0))
     970                 :          0 :                 goto invalid_data;
     971                 :            : 
     972         [ +  + ]:   21221240 :               advance_pc ((255 - opcode_base) / line_range);
     973                 :            :               break;
     974                 :            : 
     975                 :         44 :             case DW_LNS_fixed_advance_pc:
     976                 :            :               /* Takes one 16 bit parameter which is added to the
     977                 :            :                  address.  */
     978         [ +  - ]:         44 :               if (unlikely (standard_opcode_lengths[opcode] != 1)
     979         [ -  + ]:         44 :                   || unlikely (lineendp - linep < 2))
     980                 :          0 :                 goto invalid_data;
     981                 :            : 
     982         [ -  + ]:         44 :               state.addr += read_2ubyte_unaligned_inc (dbg, linep);
     983                 :         44 :               state.op_index = 0;
     984                 :         44 :               break;
     985                 :            : 
     986                 :          6 :             case DW_LNS_set_prologue_end:
     987                 :            :               /* Takes no argument.  */
     988         [ -  + ]:          6 :               if (unlikely (standard_opcode_lengths[opcode] != 0))
     989                 :          0 :                 goto invalid_data;
     990                 :            : 
     991                 :          6 :               state.prologue_end = true;
     992                 :          6 :               break;
     993                 :            : 
     994                 :          0 :             case DW_LNS_set_epilogue_begin:
     995                 :            :               /* Takes no argument.  */
     996         [ #  # ]:          0 :               if (unlikely (standard_opcode_lengths[opcode] != 0))
     997                 :          0 :                 goto invalid_data;
     998                 :            : 
     999                 :          0 :               state.epilogue_begin = true;
    1000                 :          0 :               break;
    1001                 :            : 
    1002                 :          0 :             case DW_LNS_set_isa:
    1003                 :            :               /* Takes one uleb128 parameter which is stored in isa.  */
    1004         [ #  # ]:          0 :               if (unlikely (standard_opcode_lengths[opcode] != 1))
    1005                 :          0 :                 goto invalid_data;
    1006                 :            : 
    1007         [ #  # ]:          0 :               if (unlikely (linep >= lineendp))
    1008                 :          0 :                 goto invalid_data;
    1009                 :          0 :               get_uleb128 (state.isa, linep, lineendp);
    1010                 :          0 :               break;
    1011                 :            :             }
    1012                 :            :         }
    1013                 :            :       else
    1014                 :            :         {
    1015                 :            :           /* This is a new opcode the generator but not we know about.
    1016                 :            :              Read the parameters associated with it but then discard
    1017                 :            :              everything.  Read all the parameters for this opcode.  */
    1018         [ #  # ]:          0 :           for (int n = standard_opcode_lengths[opcode]; n > 0; --n)
    1019                 :            :             {
    1020         [ #  # ]:          0 :               if (unlikely (linep >= lineendp))
    1021                 :          0 :                 goto invalid_data;
    1022                 :          0 :               get_uleb128 (u128, linep, lineendp);
    1023                 :            :             }
    1024                 :            : 
    1025                 :            :           /* Next round, ignore this opcode.  */
    1026                 :          0 :           continue;
    1027                 :            :         }
    1028                 :            :     }
    1029                 :            : 
    1030                 :            :   /* Put all the files in an array.  */
    1031         [ +  + ]:      40812 :   Dwarf_Files *files = libdw_alloc (dbg, Dwarf_Files,
    1032                 :            :                                     sizeof (Dwarf_Files)
    1033                 :            :                                     + nfilelist * sizeof (Dwarf_Fileinfo)
    1034                 :            :                                     + (ndirlist + 1) * sizeof (char *),
    1035                 :            :                                     1);
    1036                 :      40812 :   const char **dirs = (void *) &files->info[nfilelist];
    1037                 :            : 
    1038                 :      40812 :   struct filelist *fileslist = filelist;
    1039                 :      40812 :   files->nfiles = nfilelist;
    1040         [ +  + ]:     662726 :   for (size_t n = nfilelist; n > 0; n--)
    1041                 :            :     {
    1042                 :     621914 :       files->info[n - 1] = fileslist->info;
    1043                 :     621914 :       fileslist = fileslist->next;
    1044                 :            :     }
    1045         [ -  + ]:      40812 :   assert (fileslist == NULL);
    1046                 :            : 
    1047                 :            :   /* Put all the directory strings in an array.  */
    1048                 :      40812 :   files->ndirs = ndirlist;
    1049         [ +  + ]:     374692 :   for (unsigned int i = 0; i < ndirlist; ++i)
    1050                 :     333880 :     dirs[i] = dirarray[i].dir;
    1051                 :      40812 :   dirs[ndirlist] = NULL;
    1052                 :            : 
    1053                 :            :   /* Pass the file data structure to the caller.  */
    1054         [ +  - ]:      40812 :   if (filesp != NULL)
    1055                 :      40812 :     *filesp = files;
    1056                 :            : 
    1057                 :      40812 :   size_t buf_size = (sizeof (Dwarf_Lines)
    1058                 :      40812 :                      + (sizeof (Dwarf_Line) * state.nlinelist));
    1059         [ +  + ]:      40812 :   void *buf = libdw_alloc (dbg, Dwarf_Lines, buf_size, 1);
    1060                 :            : 
    1061                 :            :   /* First use the buffer for the pointers, and sort the entries.
    1062                 :            :      We'll write the pointers in the end of the buffer, and then
    1063                 :            :      copy into the buffer from the beginning so the overlap works.  */
    1064                 :      40812 :   assert (sizeof (Dwarf_Line) >= sizeof (struct linelist *));
    1065                 :      40812 :   struct linelist **sortlines = (buf + buf_size
    1066                 :      40812 :                                  - sizeof (struct linelist **) * state.nlinelist);
    1067                 :            : 
    1068                 :            :   /* The list is in LIFO order and usually they come in clumps with
    1069                 :            :      ascending addresses.  So fill from the back to probably start with
    1070                 :            :      runs already in order before we sort.  */
    1071                 :      40812 :   struct linelist *lineslist = state.linelist;
    1072         [ +  + ]:    8471254 :   for (size_t i = state.nlinelist; i-- > 0; )
    1073                 :            :     {
    1074                 :    8430442 :       sortlines[i] = lineslist;
    1075                 :    8430442 :       lineslist = lineslist->next;
    1076                 :            :     }
    1077         [ -  + ]:      40812 :   assert (lineslist == NULL);
    1078                 :            : 
    1079                 :            :   /* Sort by ascending address.  */
    1080                 :      40812 :   qsort (sortlines, state.nlinelist, sizeof sortlines[0], &compare_lines);
    1081                 :            : 
    1082                 :            :   /* Now that they are sorted, put them in the final array.
    1083                 :            :      The buffers overlap, so we've clobbered the early elements
    1084                 :            :      of SORTLINES by the time we're reading the later ones.  */
    1085                 :      40812 :   Dwarf_Lines *lines = buf;
    1086                 :      40812 :   lines->nlines = state.nlinelist;
    1087         [ +  + ]:    8471254 :   for (size_t i = 0; i < state.nlinelist; ++i)
    1088                 :            :     {
    1089                 :    8430442 :       lines->info[i] = sortlines[i]->line;
    1090                 :    8430442 :       lines->info[i].files = files;
    1091                 :            :     }
    1092                 :            : 
    1093                 :            :   /* Make sure the highest address for the CU is marked as end_sequence.
    1094                 :            :      This is required by the DWARF spec, but some compilers forget and
    1095                 :            :      dwfl_module_getsrc depends on it.  */
    1096         [ +  + ]:      40812 :   if (state.nlinelist > 0)
    1097                 :      39708 :     lines->info[state.nlinelist - 1].end_sequence = 1;
    1098                 :            : 
    1099                 :            :   /* Pass the line structure back to the caller.  */
    1100         [ +  - ]:      40812 :   if (linesp != NULL)
    1101                 :      40812 :     *linesp = lines;
    1102                 :            : 
    1103                 :            :   /* Success.  */
    1104                 :            :   res = 0;
    1105                 :            : 
    1106                 :      40812 :  out:
    1107                 :            :   /* Free malloced line records, if any.  */
    1108         [ +  + ]:    1065766 :   for (size_t i = MAX_STACK_LINES; i < state.nlinelist; i++)
    1109                 :            :     {
    1110                 :    1024954 :       struct linelist *ll = state.linelist->next;
    1111                 :    1024954 :       free (state.linelist);
    1112                 :    1024954 :       state.linelist = ll;
    1113                 :            :     }
    1114         [ -  + ]:      40812 :   if (dirarray != dirstack)
    1115                 :          0 :     free (dirarray);
    1116         [ -  + ]:      40812 :   for (size_t i = MAX_STACK_FILES; i < nfilelist; i++)
    1117                 :            :     {
    1118                 :          0 :       struct filelist *fl = filelist->next;
    1119                 :          0 :       free (filelist);
    1120                 :          0 :       filelist = fl;
    1121                 :            :     }
    1122                 :            : 
    1123                 :      40812 :   return res;
    1124                 :            : }
    1125                 :            : 
    1126                 :            : static int
    1127                 :     932096 : files_lines_compare (const void *p1, const void *p2)
    1128                 :            : {
    1129                 :     932096 :   const struct files_lines_s *t1 = p1;
    1130                 :     932096 :   const struct files_lines_s *t2 = p2;
    1131                 :            : 
    1132         [ +  + ]:     932096 :   if (t1->debug_line_offset < t2->debug_line_offset)
    1133                 :            :     return -1;
    1134         [ +  + ]:     932064 :   if (t1->debug_line_offset > t2->debug_line_offset)
    1135                 :     932060 :     return 1;
    1136                 :            : 
    1137                 :            :   return 0;
    1138                 :            : }
    1139                 :            : 
    1140                 :            : int
    1141                 :            : internal_function
    1142                 :      40816 : __libdw_getsrclines (Dwarf *dbg, Dwarf_Off debug_line_offset,
    1143                 :            :                      const char *comp_dir, unsigned address_size,
    1144                 :            :                      Dwarf_Lines **linesp, Dwarf_Files **filesp)
    1145                 :            : {
    1146                 :      40816 :   struct files_lines_s fake = { .debug_line_offset = debug_line_offset };
    1147                 :      40816 :   struct files_lines_s **found = tfind (&fake, &dbg->files_lines,
    1148                 :            :                                         files_lines_compare);
    1149         [ +  + ]:      40816 :   if (found == NULL)
    1150                 :            :     {
    1151                 :      40812 :       Elf_Data *data = __libdw_checked_get_data (dbg, IDX_debug_line);
    1152         [ +  - ]:      40812 :       if (data == NULL
    1153         [ -  + ]:      40812 :           || __libdw_offset_in_section (dbg, IDX_debug_line,
    1154                 :            :                                         debug_line_offset, 1) != 0)
    1155                 :          0 :         return -1;
    1156                 :            : 
    1157                 :      40812 :       const unsigned char *linep = data->d_buf + debug_line_offset;
    1158                 :      40812 :       const unsigned char *lineendp = data->d_buf + data->d_size;
    1159                 :            : 
    1160         [ +  + ]:      40812 :       struct files_lines_s *node = libdw_alloc (dbg, struct files_lines_s,
    1161                 :            :                                                 sizeof *node, 1);
    1162                 :            : 
    1163         [ -  + ]:      40812 :       if (read_srclines (dbg, linep, lineendp, comp_dir, address_size,
    1164                 :            :                          &node->lines, &node->files) != 0)
    1165                 :            :         return -1;
    1166                 :            : 
    1167                 :      40812 :       node->debug_line_offset = debug_line_offset;
    1168                 :            : 
    1169                 :      40812 :       found = tsearch (node, &dbg->files_lines, files_lines_compare);
    1170         [ -  + ]:      40812 :       if (found == NULL)
    1171                 :            :         {
    1172                 :          0 :           __libdw_seterrno (DWARF_E_NOMEM);
    1173                 :          0 :           return -1;
    1174                 :            :         }
    1175                 :            :     }
    1176                 :            : 
    1177         [ +  + ]:      40816 :   if (linesp != NULL)
    1178                 :      40762 :     *linesp = (*found)->lines;
    1179                 :            : 
    1180         [ +  + ]:      40816 :   if (filesp != NULL)
    1181                 :      40702 :     *filesp = (*found)->files;
    1182                 :            : 
    1183                 :            :   return 0;
    1184                 :            : }
    1185                 :            : 
    1186                 :            : /* Get the compilation directory, if any is set.  */
    1187                 :            : const char *
    1188                 :      40810 : __libdw_getcompdir (Dwarf_Die *cudie)
    1189                 :            : {
    1190                 :      40810 :   Dwarf_Attribute compdir_attr_mem;
    1191                 :      40810 :   Dwarf_Attribute *compdir_attr = INTUSE(dwarf_attr) (cudie,
    1192                 :            :                                                       DW_AT_comp_dir,
    1193                 :            :                                                       &compdir_attr_mem);
    1194                 :      40810 :   return INTUSE(dwarf_formstring) (compdir_attr);
    1195                 :            : }
    1196                 :            : 
    1197                 :            : int
    1198                 :      40712 : dwarf_getsrclines (Dwarf_Die *cudie, Dwarf_Lines **lines, size_t *nlines)
    1199                 :            : {
    1200         [ -  + ]:      40712 :   if (cudie == NULL)
    1201                 :            :     return -1;
    1202         [ -  + ]:      40712 :   if (! is_cudie (cudie))
    1203                 :            :     {
    1204                 :          0 :       __libdw_seterrno (DWARF_E_NOT_CUDIE);
    1205                 :          0 :       return -1;
    1206                 :            :     }
    1207                 :            : 
    1208                 :            :   /* Get the information if it is not already known.  */
    1209                 :      40712 :   struct Dwarf_CU *const cu = cudie->cu;
    1210         [ +  + ]:      40712 :   if (cu->lines == NULL)
    1211                 :            :     {
    1212                 :            :       /* For split units always pick the lines from the skeleton.  */
    1213                 :      40648 :       if (cu->unit_type == DW_UT_split_compile
    1214         [ -  + ]:      40648 :           || cu->unit_type == DW_UT_split_type)
    1215                 :            :         {
    1216                 :            :           /* We tries, assume we fail...  */
    1217                 :          0 :           cu->lines = (void *) -1l;
    1218                 :            : 
    1219                 :          0 :           Dwarf_CU *skel = __libdw_find_split_unit (cu);
    1220         [ #  # ]:          0 :           if (skel != NULL)
    1221                 :            :             {
    1222                 :          0 :               Dwarf_Die skeldie = CUDIE (skel);
    1223                 :          0 :               int res = INTUSE(dwarf_getsrclines) (&skeldie, lines, nlines);
    1224         [ #  # ]:          0 :               if (res == 0)
    1225                 :            :                 {
    1226                 :          0 :                   cu->lines = skel->lines;
    1227                 :          0 :                   *lines = cu->lines;
    1228                 :          0 :                   *nlines = cu->lines->nlines;
    1229                 :            :                 }
    1230                 :          0 :               return res;
    1231                 :            :             }
    1232                 :            : 
    1233                 :          0 :           __libdw_seterrno (DWARF_E_NO_DEBUG_LINE);
    1234                 :          0 :           return -1;
    1235                 :            :         }
    1236                 :            : 
    1237                 :            :       /* Failsafe mode: no data found.  */
    1238                 :      40648 :       cu->lines = (void *) -1l;
    1239                 :      40648 :       cu->files = (void *) -1l;
    1240                 :            : 
    1241                 :            :       /* The die must have a statement list associated.  */
    1242                 :      40648 :       Dwarf_Attribute stmt_list_mem;
    1243                 :      40648 :       Dwarf_Attribute *stmt_list = INTUSE(dwarf_attr) (cudie, DW_AT_stmt_list,
    1244                 :            :                                                        &stmt_list_mem);
    1245                 :            : 
    1246                 :            :       /* Get the offset into the .debug_line section.  NB: this call
    1247                 :            :          also checks whether the previous dwarf_attr call failed.  */
    1248                 :      40648 :       Dwarf_Off debug_line_offset;
    1249         [ +  - ]:      40648 :       if (__libdw_formptr (stmt_list, IDX_debug_line, DWARF_E_NO_DEBUG_LINE,
    1250                 :            :                            NULL, &debug_line_offset) == NULL)
    1251                 :            :         return -1;
    1252                 :            : 
    1253         [ +  - ]:      40648 :       if (__libdw_getsrclines (cu->dbg, debug_line_offset,
    1254                 :            :                                __libdw_getcompdir (cudie),
    1255                 :      40648 :                                cu->address_size, &cu->lines, &cu->files) < 0)
    1256                 :            :         return -1;
    1257                 :            :     }
    1258         [ -  + ]:         64 :   else if (cu->lines == (void *) -1l)
    1259                 :            :     return -1;
    1260                 :            : 
    1261                 :      40712 :   *lines = cu->lines;
    1262                 :      40712 :   *nlines = cu->lines->nlines;
    1263                 :            : 
    1264                 :            :   // XXX Eventually: unlocking here.
    1265                 :            : 
    1266                 :      40712 :   return 0;
    1267                 :            : }
    1268                 :            : INTDEF(dwarf_getsrclines)

Generated by: LCOV version 1.16