LCOV - code coverage report
Current view: top level - gcc/analyzer - region.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 72.6 % 1021 741
Test Date: 2024-11-30 13:30:02 Functions: 64.8 % 145 94
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

             Branch data     Line data    Source code
       1                 :             : /* Regions of memory.
       2                 :             :    Copyright (C) 2019-2024 Free Software Foundation, Inc.
       3                 :             :    Contributed by David Malcolm <dmalcolm@redhat.com>.
       4                 :             : 
       5                 :             : This file is part of GCC.
       6                 :             : 
       7                 :             : GCC is free software; you can redistribute it and/or modify it
       8                 :             : under the terms of the GNU General Public License as published by
       9                 :             : the Free Software Foundation; either version 3, or (at your option)
      10                 :             : any later version.
      11                 :             : 
      12                 :             : GCC is distributed in the hope that it will be useful, but
      13                 :             : WITHOUT ANY WARRANTY; without even the implied warranty of
      14                 :             : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      15                 :             : General Public License for more details.
      16                 :             : 
      17                 :             : You should have received a copy of the GNU General Public License
      18                 :             : along with GCC; see the file COPYING3.  If not see
      19                 :             : <http://www.gnu.org/licenses/>.  */
      20                 :             : 
      21                 :             : #include "config.h"
      22                 :             : #define INCLUDE_VECTOR
      23                 :             : #include "system.h"
      24                 :             : #include "coretypes.h"
      25                 :             : #include "tree.h"
      26                 :             : #include "diagnostic-core.h"
      27                 :             : #include "gimple-pretty-print.h"
      28                 :             : #include "function.h"
      29                 :             : #include "basic-block.h"
      30                 :             : #include "gimple.h"
      31                 :             : #include "gimple-iterator.h"
      32                 :             : #include "diagnostic-core.h"
      33                 :             : #include "graphviz.h"
      34                 :             : #include "options.h"
      35                 :             : #include "cgraph.h"
      36                 :             : #include "tree-dfa.h"
      37                 :             : #include "stringpool.h"
      38                 :             : #include "convert.h"
      39                 :             : #include "target.h"
      40                 :             : #include "fold-const.h"
      41                 :             : #include "tree-pretty-print.h"
      42                 :             : #include "diagnostic-color.h"
      43                 :             : #include "bitmap.h"
      44                 :             : #include "analyzer/analyzer.h"
      45                 :             : #include "analyzer/analyzer-logging.h"
      46                 :             : #include "ordered-hash-map.h"
      47                 :             : #include "options.h"
      48                 :             : #include "cgraph.h"
      49                 :             : #include "cfg.h"
      50                 :             : #include "digraph.h"
      51                 :             : #include "analyzer/supergraph.h"
      52                 :             : #include "sbitmap.h"
      53                 :             : #include "analyzer/call-string.h"
      54                 :             : #include "analyzer/program-point.h"
      55                 :             : #include "analyzer/store.h"
      56                 :             : #include "analyzer/region.h"
      57                 :             : #include "analyzer/region-model.h"
      58                 :             : #include "analyzer/sm.h"
      59                 :             : #include "analyzer/program-state.h"
      60                 :             : #include "text-art/dump.h"
      61                 :             : #include "make-unique.h"
      62                 :             : 
      63                 :             : #if ENABLE_ANALYZER
      64                 :             : 
      65                 :             : namespace ana {
      66                 :             : 
      67                 :             : region_offset
      68                 :        1298 : region_offset::make_byte_offset (const region *base_region,
      69                 :             :                                  const svalue *num_bytes_sval)
      70                 :             : {
      71                 :        1298 :   if (tree num_bytes_cst = num_bytes_sval->maybe_get_constant ())
      72                 :             :     {
      73                 :         878 :       gcc_assert (TREE_CODE (num_bytes_cst) == INTEGER_CST);
      74                 :         878 :       bit_offset_t num_bits = wi::to_offset (num_bytes_cst) * BITS_PER_UNIT;
      75                 :         878 :       return make_concrete (base_region, num_bits);
      76                 :             :     }
      77                 :             :   else
      78                 :             :     {
      79                 :         420 :       return make_symbolic (base_region, num_bytes_sval);
      80                 :             :     }
      81                 :             : }
      82                 :             : 
      83                 :             : const svalue &
      84                 :         580 : region_offset::calc_symbolic_bit_offset (region_model_manager *mgr) const
      85                 :             : {
      86                 :         580 :   if (symbolic_p ())
      87                 :             :     {
      88                 :         135 :       const svalue *bits_per_byte
      89                 :         135 :         = mgr->get_or_create_int_cst (NULL_TREE, BITS_PER_UNIT);
      90                 :         135 :       return *mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
      91                 :         135 :                                         m_sym_offset, bits_per_byte);
      92                 :             :     }
      93                 :             :   else
      94                 :         445 :     return *mgr->get_or_create_int_cst (NULL_TREE, m_offset);
      95                 :             : }
      96                 :             : 
      97                 :             : const svalue *
      98                 :         206 : region_offset::calc_symbolic_byte_offset (region_model_manager *mgr) const
      99                 :             : {
     100                 :         206 :   if (symbolic_p ())
     101                 :             :     return m_sym_offset;
     102                 :             :   else
     103                 :             :     {
     104                 :          18 :       byte_offset_t concrete_byte_offset;
     105                 :          18 :       if (get_concrete_byte_offset (&concrete_byte_offset))
     106                 :          18 :         return mgr->get_or_create_int_cst (size_type_node,
     107                 :             :                                            concrete_byte_offset);
     108                 :             :       else
     109                 :             :         /* Can't handle bitfields; return UNKNOWN.  */
     110                 :           0 :         return mgr->get_or_create_unknown_svalue (size_type_node);
     111                 :             :     }
     112                 :             : }
     113                 :             : 
     114                 :             : void
     115                 :           0 : region_offset::dump_to_pp (pretty_printer *pp, bool simple) const
     116                 :             : {
     117                 :           0 :   if (symbolic_p ())
     118                 :             :     {
     119                 :             :       /* We don't bother showing the base region.  */
     120                 :           0 :       pp_string (pp, "byte ");
     121                 :           0 :       m_sym_offset->dump_to_pp (pp, simple);
     122                 :             :     }
     123                 :             :   else
     124                 :             :     {
     125                 :           0 :       if (m_offset % BITS_PER_UNIT == 0)
     126                 :             :         {
     127                 :           0 :           pp_string (pp, "byte ");
     128                 :           0 :           pp_wide_int (pp, m_offset / BITS_PER_UNIT, SIGNED);
     129                 :             :         }
     130                 :             :       else
     131                 :             :         {
     132                 :           0 :           pp_string (pp, "bit ");
     133                 :           0 :           pp_wide_int (pp, m_offset, SIGNED);
     134                 :             :         }
     135                 :             :     }
     136                 :           0 : }
     137                 :             : 
     138                 :             : DEBUG_FUNCTION void
     139                 :           0 : region_offset::dump (bool simple) const
     140                 :             : {
     141                 :           0 :   tree_dump_pretty_printer pp (stderr);
     142                 :           0 :   dump_to_pp (&pp, simple);
     143                 :           0 :   pp_newline (&pp);
     144                 :           0 : }
     145                 :             : 
     146                 :             : /* An svalue that matches the pattern (BASE * FACTOR) + OFFSET
     147                 :             :    where FACTOR or OFFSET could be the identity (represented as NULL).  */
     148                 :             : 
     149                 :             : struct linear_op
     150                 :             : {
     151                 :        5502 :   linear_op (const svalue *base,
     152                 :             :              const svalue *factor,
     153                 :             :              const svalue *offset)
     154                 :        1900 :   : m_base (base), m_factor (factor), m_offset (offset)
     155                 :             :   {
     156                 :             :   }
     157                 :             : 
     158                 :        3452 :   bool maybe_get_cst_factor (bit_offset_t *out) const
     159                 :             :   {
     160                 :        3452 :     if (m_factor == nullptr)
     161                 :             :       {
     162                 :         732 :         *out = 1;
     163                 :         732 :         return true;
     164                 :             :       }
     165                 :        2720 :     if (tree cst_factor = m_factor->maybe_get_constant ())
     166                 :             :       {
     167                 :        2720 :         *out = wi::to_offset (cst_factor);
     168                 :        2720 :         return true;
     169                 :             :       }
     170                 :             :     return false;
     171                 :             :   }
     172                 :             : 
     173                 :        3126 :   bool maybe_get_cst_offset (bit_offset_t *out) const
     174                 :             :   {
     175                 :        3126 :     if (m_offset == nullptr)
     176                 :             :       {
     177                 :         842 :         *out = 0;
     178                 :         842 :         return true;
     179                 :             :       }
     180                 :        2284 :     if (tree cst_offset = m_offset->maybe_get_constant ())
     181                 :             :       {
     182                 :        2222 :         *out = wi::to_offset (cst_offset);
     183                 :        2222 :         return true;
     184                 :             :       }
     185                 :             :     return false;
     186                 :             :   }
     187                 :             : 
     188                 :             :   static tristate
     189                 :        1675 :   less (const linear_op &a, const linear_op &b)
     190                 :             :   {
     191                 :             :     /* Same base.  */
     192                 :        1675 :     if (a.m_base == b.m_base)
     193                 :             :       {
     194                 :        1611 :         bit_offset_t a_wi_factor;
     195                 :        1611 :         bit_offset_t b_wi_factor;
     196                 :        1611 :         if (a.maybe_get_cst_factor (&a_wi_factor)
     197                 :        1611 :             && b.maybe_get_cst_factor (&b_wi_factor))
     198                 :             :           {
     199                 :        1611 :             if (a_wi_factor != b_wi_factor)
     200                 :         172 :               return tristate (a_wi_factor < b_wi_factor);
     201                 :             :             else
     202                 :             :               {
     203                 :        1495 :                 bit_offset_t a_wi_offset;
     204                 :        1495 :                 bit_offset_t b_wi_offset;
     205                 :        1495 :                 if (a.maybe_get_cst_offset (&a_wi_offset)
     206                 :        1495 :                     && b.maybe_get_cst_offset (&b_wi_offset))
     207                 :        2498 :                   return tristate (a_wi_offset < b_wi_offset);
     208                 :             :               }
     209                 :             :           }
     210                 :             :       }
     211                 :         124 :     return tristate::unknown ();
     212                 :             :   }
     213                 :             : 
     214                 :             :   static tristate
     215                 :         115 :   le (const linear_op &a, const linear_op &b)
     216                 :             :   {
     217                 :             :     /* Same base.  */
     218                 :         115 :     if (a.m_base == b.m_base)
     219                 :             :       {
     220                 :         115 :         bit_offset_t a_wi_factor;
     221                 :         115 :         bit_offset_t b_wi_factor;
     222                 :         115 :         if (a.maybe_get_cst_factor (&a_wi_factor)
     223                 :         115 :             && b.maybe_get_cst_factor (&b_wi_factor))
     224                 :             :           {
     225                 :         115 :             if (a_wi_factor != b_wi_factor)
     226                 :          32 :               return tristate (a_wi_factor <= b_wi_factor);
     227                 :             :             else
     228                 :             :               {
     229                 :          99 :                 bit_offset_t a_wi_offset;
     230                 :          99 :                 bit_offset_t b_wi_offset;
     231                 :          99 :                 if (a.maybe_get_cst_offset (&a_wi_offset)
     232                 :          99 :                     && b.maybe_get_cst_offset (&b_wi_offset))
     233                 :         140 :                   return tristate (a_wi_offset <= b_wi_offset);
     234                 :             :               }
     235                 :             :           }
     236                 :             :       }
     237                 :           2 :     return tristate::unknown ();
     238                 :             :   }
     239                 :             : 
     240                 :             :   static bool
     241                 :        3712 :   from_svalue (const svalue &sval, linear_op *out)
     242                 :             :   {
     243                 :        3712 :     switch (sval.get_kind ())
     244                 :             :       {
     245                 :             :       default:
     246                 :             :         break;
     247                 :        3602 :       case SK_BINOP:
     248                 :        3602 :         {
     249                 :        3602 :           const binop_svalue &binop_sval ((const binop_svalue &)sval);
     250                 :        3602 :           if (binop_sval.get_op () == MULT_EXPR)
     251                 :             :             {
     252                 :        1078 :               *out = linear_op (binop_sval.get_arg0 (),
     253                 :             :                                 binop_sval.get_arg1 (),
     254                 :        1078 :                                 NULL);
     255                 :        1078 :               return true;
     256                 :             :             }
     257                 :        2524 :           else if (binop_sval.get_op () == PLUS_EXPR)
     258                 :             :             {
     259                 :        2524 :               if (binop_sval.get_arg0 ()->get_kind () == SK_BINOP)
     260                 :             :                 {
     261                 :        1786 :                   const binop_svalue &inner_binop_sval
     262                 :        1786 :                     ((const binop_svalue &)*binop_sval.get_arg0 ());
     263                 :        1786 :                   if (inner_binop_sval.get_op () == MULT_EXPR)
     264                 :             :                     {
     265                 :        1642 :                       *out = linear_op (inner_binop_sval.get_arg0 (),
     266                 :             :                                         inner_binop_sval.get_arg1 (),
     267                 :        1642 :                                         binop_sval.get_arg1 ());
     268                 :        1642 :                       return true;
     269                 :             :                     }
     270                 :             :                 }
     271                 :             : 
     272                 :         882 :               *out = linear_op (binop_sval.get_arg0 (),
     273                 :             :                                 NULL,
     274                 :         882 :                                 binop_sval.get_arg1 ());
     275                 :         882 :               return true;
     276                 :             :             }
     277                 :             :         }
     278                 :             :         break;
     279                 :             :       }
     280                 :             :     return false;
     281                 :             :   }
     282                 :             : 
     283                 :             :   const svalue *m_base;
     284                 :             :   const svalue *m_factor;
     285                 :             :   const svalue *m_offset;
     286                 :             : };
     287                 :             : 
     288                 :             : bool
     289                 :       23987 : operator< (const region_offset &a, const region_offset &b)
     290                 :             : {
     291                 :       23987 :   if (a.symbolic_p ())
     292                 :             :     {
     293                 :        2248 :       if (b.symbolic_p ())
     294                 :             :         {
     295                 :             :           /* Symbolic vs symbolic.  */
     296                 :        1775 :           const svalue &a_sval = *a.get_symbolic_byte_offset ();
     297                 :        1775 :           const svalue &b_sval = *b.get_symbolic_byte_offset ();
     298                 :             : 
     299                 :        1775 :           linear_op op_a (NULL, NULL, NULL);
     300                 :        1775 :           linear_op op_b (NULL, NULL, NULL);
     301                 :        1775 :           if (linear_op::from_svalue (a_sval, &op_a)
     302                 :        1775 :               && linear_op::from_svalue (b_sval, &op_b))
     303                 :             :             {
     304                 :        1675 :               tristate ts = linear_op::less (op_a, op_b);
     305                 :        1675 :               if (ts.is_true ())
     306                 :        1775 :                 return true;
     307                 :        1243 :               else if (ts.is_false ())
     308                 :             :                 return false;
     309                 :             :             }
     310                 :             :           /* Use svalue's deterministic order, for now.  */
     311                 :         224 :           return (svalue::cmp_ptr (a.get_symbolic_byte_offset (),
     312                 :             :                                    b.get_symbolic_byte_offset ())
     313                 :         224 :                   < 0);
     314                 :             :         }
     315                 :             :       else
     316                 :             :         /* Symbolic vs concrete: put all symbolic after all concrete.  */
     317                 :             :         return false;
     318                 :             :     }
     319                 :             :   else
     320                 :             :     {
     321                 :       21739 :       if (b.symbolic_p ())
     322                 :             :         /* Concrete vs symbolic: put all concrete before all symbolic.  */
     323                 :             :         return true;
     324                 :             :       else
     325                 :             :         /* Concrete vs concrete.  */
     326                 :       21286 :         return a.get_bit_offset () < b.get_bit_offset ();
     327                 :             :     }
     328                 :             : }
     329                 :             : 
     330                 :             : bool
     331                 :        1567 : operator<= (const region_offset &a, const region_offset &b)
     332                 :             : {
     333                 :        1567 :   if (a.symbolic_p ())
     334                 :             :     {
     335                 :         176 :       if (b.symbolic_p ())
     336                 :             :         {
     337                 :             :           /* Symbolic vs symbolic.  */
     338                 :         125 :           const svalue &a_sval = *a.get_symbolic_byte_offset ();
     339                 :         125 :           const svalue &b_sval = *b.get_symbolic_byte_offset ();
     340                 :             : 
     341                 :         125 :           linear_op op_a (NULL, NULL, NULL);
     342                 :         125 :           linear_op op_b (NULL, NULL, NULL);
     343                 :         125 :           if (linear_op::from_svalue (a_sval, &op_a)
     344                 :         125 :               && linear_op::from_svalue (b_sval, &op_b))
     345                 :             :             {
     346                 :         115 :               tristate ts = linear_op::le (op_a, op_b);
     347                 :         115 :               if (ts.is_true ())
     348                 :         125 :                 return true;
     349                 :          61 :               else if (ts.is_false ())
     350                 :             :                 return false;
     351                 :             :             }
     352                 :             :           /* Use svalue's deterministic order, for now.  */
     353                 :          12 :           return (svalue::cmp_ptr (a.get_symbolic_byte_offset (),
     354                 :             :                                    b.get_symbolic_byte_offset ())
     355                 :          12 :                   <= 0);
     356                 :             :         }
     357                 :             :       else
     358                 :             :         /* Symbolic vs concrete: put all symbolic after all concrete.  */
     359                 :             :         return false;
     360                 :             :     }
     361                 :             :   else
     362                 :             :     {
     363                 :        1391 :       if (b.symbolic_p ())
     364                 :             :         /* Concrete vs symbolic: put all concrete before all symbolic.  */
     365                 :             :         return true;
     366                 :             :       else
     367                 :             :         /* Concrete vs concrete.  */
     368                 :        1300 :         return a.get_bit_offset () <= b.get_bit_offset ();
     369                 :             :     }
     370                 :             : }
     371                 :             : 
     372                 :             : bool
     373                 :          30 : operator> (const region_offset &a, const region_offset &b)
     374                 :             : {
     375                 :          30 :   return b < a;
     376                 :             : }
     377                 :             : 
     378                 :             : bool
     379                 :         136 : operator>= (const region_offset &a, const region_offset &b)
     380                 :             : {
     381                 :         136 :   return b <= a;
     382                 :             : }
     383                 :             : 
     384                 :             : region_offset
     385                 :        5144 : strip_types (const region_offset &offset, region_model_manager &mgr)
     386                 :             : {
     387                 :        5144 :   if (offset.symbolic_p ())
     388                 :         973 :     return region_offset::make_symbolic
     389                 :         973 :       (offset.get_base_region (),
     390                 :             :        strip_types (offset.get_symbolic_byte_offset (),
     391                 :         973 :                     mgr));
     392                 :             :   else
     393                 :        4171 :     return offset;
     394                 :             : }
     395                 :             : 
     396                 :             : /* class region and its various subclasses.  */
     397                 :             : 
     398                 :             : /* class region.  */
     399                 :             : 
     400                 :      192122 : region::~region ()
     401                 :             : {
     402                 :      192122 :   delete m_cached_offset;
     403                 :      192122 : }
     404                 :             : 
     405                 :             : /* Determine the base region for this region: when considering bindings
     406                 :             :    for this region, the base region is the ancestor which identifies
     407                 :             :    which cluster they should be partitioned into.
     408                 :             :    Regions within the same struct/union/array are in the same cluster.
     409                 :             :    Different decls are in different clusters.  */
     410                 :             : 
     411                 :             : const region *
     412                 :    43769779 : region::get_base_region () const
     413                 :             : {
     414                 :    43769779 :   const region *iter = this;
     415                 :    45760158 :   while (iter)
     416                 :             :     {
     417                 :    45760158 :       switch (iter->get_kind ())
     418                 :             :         {
     419                 :     1990379 :         case RK_FIELD:
     420                 :     1990379 :         case RK_ELEMENT:
     421                 :     1990379 :         case RK_OFFSET:
     422                 :     1990379 :         case RK_SIZED:
     423                 :     1990379 :         case RK_BIT_RANGE:
     424                 :     1990379 :         case RK_CAST:
     425                 :     1990379 :           iter = iter->get_parent_region ();
     426                 :     1990379 :           continue;
     427                 :             :         default:
     428                 :             :           return iter;
     429                 :             :         }
     430                 :             :     }
     431                 :             :   return iter;
     432                 :             : }
     433                 :             : 
     434                 :             : /* Return true if get_base_region() == this for this region.  */
     435                 :             : 
     436                 :             : bool
     437                 :      276707 : region::base_region_p () const
     438                 :             : {
     439                 :      276707 :   switch (get_kind ())
     440                 :             :     {
     441                 :             :     /* Region kinds representing a descendent of a base region.  */
     442                 :             :     case RK_FIELD:
     443                 :             :     case RK_ELEMENT:
     444                 :             :     case RK_OFFSET:
     445                 :             :     case RK_SIZED:
     446                 :             :     case RK_CAST:
     447                 :             :     case RK_BIT_RANGE:
     448                 :             :       return false;
     449                 :             : 
     450                 :      213176 :     default:
     451                 :      213176 :       return true;
     452                 :             :     }
     453                 :             : }
     454                 :             : 
     455                 :             : /* Return true if this region is ELDER or one of its descendents.  */
     456                 :             : 
     457                 :             : bool
     458                 :      185784 : region::descendent_of_p (const region *elder) const
     459                 :             : {
     460                 :      185784 :   const region *iter = this;
     461                 :      675122 :   while (iter)
     462                 :             :     {
     463                 :      540772 :       if (iter == elder)
     464                 :             :         return true;
     465                 :      489338 :       iter = iter->get_parent_region ();
     466                 :             :     }
     467                 :             :   return false;
     468                 :             : }
     469                 :             : 
     470                 :             : /* If this region is a frame_region, or a descendent of one, return it.
     471                 :             :    Otherwise return NULL.  */
     472                 :             : 
     473                 :             : const frame_region *
     474                 :     2382145 : region::maybe_get_frame_region () const
     475                 :             : {
     476                 :     2382145 :   const region *iter = this;
     477                 :     6382125 :   while (iter)
     478                 :             :     {
     479                 :     5576974 :       if (const frame_region *frame_reg = iter->dyn_cast_frame_region ())
     480                 :             :         return frame_reg;
     481                 :     3999980 :       iter = iter->get_parent_region ();
     482                 :             :     }
     483                 :             :   return NULL;
     484                 :             : }
     485                 :             : 
     486                 :             : /* Get the memory space of this region.  */
     487                 :             : 
     488                 :             : enum memory_space
     489                 :     3417389 : region::get_memory_space () const
     490                 :             : {
     491                 :     3417389 :   const region *iter = this;
     492                 :     7251885 :   while (iter)
     493                 :             :     {
     494                 :     6445604 :       switch (iter->get_kind ())
     495                 :             :         {
     496                 :     3834496 :         default:
     497                 :     3834496 :           break;
     498                 :             :         case RK_GLOBALS:
     499                 :             :           return MEMSPACE_GLOBALS;
     500                 :             :         case RK_CODE:
     501                 :             :         case RK_FUNCTION:
     502                 :             :         case RK_LABEL:
     503                 :             :           return MEMSPACE_CODE;
     504                 :             :         case RK_FRAME:
     505                 :             :         case RK_STACK:
     506                 :             :         case RK_ALLOCA:
     507                 :             :           return MEMSPACE_STACK;
     508                 :             :         case RK_HEAP:
     509                 :             :         case RK_HEAP_ALLOCATED:
     510                 :             :           return MEMSPACE_HEAP;
     511                 :             :         case RK_STRING:
     512                 :             :           return MEMSPACE_READONLY_DATA;
     513                 :             :         case RK_PRIVATE:
     514                 :             :           return MEMSPACE_PRIVATE;
     515                 :             :         }
     516                 :     3834496 :       iter = iter->get_parent_region ();
     517                 :             :     }
     518                 :             :   return MEMSPACE_UNKNOWN;
     519                 :             : }
     520                 :             : 
     521                 :             : /* Subroutine for use by region_model_manager::get_or_create_initial_value.
     522                 :             :    Return true if this region has an initial_svalue.
     523                 :             :    Return false if attempting to use INIT_VAL(this_region) should give
     524                 :             :    the "UNINITIALIZED" poison value.  */
     525                 :             : 
     526                 :             : bool
     527                 :     2765839 : region::can_have_initial_svalue_p () const
     528                 :             : {
     529                 :     2765839 :   const region *base_reg = get_base_region ();
     530                 :             : 
     531                 :             :   /* Check for memory spaces that are uninitialized by default.  */
     532                 :     2765839 :   enum memory_space mem_space = base_reg->get_memory_space ();
     533                 :     2765839 :   switch (mem_space)
     534                 :             :     {
     535                 :           0 :     default:
     536                 :           0 :       gcc_unreachable ();
     537                 :             :     case MEMSPACE_UNKNOWN:
     538                 :             :     case MEMSPACE_CODE:
     539                 :             :     case MEMSPACE_GLOBALS:
     540                 :             :     case MEMSPACE_READONLY_DATA:
     541                 :             :     case MEMSPACE_PRIVATE:
     542                 :             :       /* Such regions have initial_svalues.  */
     543                 :             :       return true;
     544                 :             : 
     545                 :             :     case MEMSPACE_HEAP:
     546                 :             :       /* Heap allocations are uninitialized by default.  */
     547                 :             :       return false;
     548                 :             : 
     549                 :     1726568 :     case MEMSPACE_STACK:
     550                 :     1726568 :       if (tree decl = base_reg->maybe_get_decl ())
     551                 :             :         {
     552                 :             :           /* See the assertion in frame_region::get_region_for_local for the
     553                 :             :              tree codes we need to handle here.  */
     554                 :     1718690 :           switch (TREE_CODE (decl))
     555                 :             :             {
     556                 :           0 :             default:
     557                 :           0 :               gcc_unreachable ();
     558                 :             : 
     559                 :             :             case PARM_DECL:
     560                 :             :               /* Parameters have initial values.  */
     561                 :             :               return true;
     562                 :             : 
     563                 :             :             case VAR_DECL:
     564                 :             :             case RESULT_DECL:
     565                 :             :               /* Function locals don't have initial values.  */
     566                 :             :               return false;
     567                 :             : 
     568                 :     1606840 :             case SSA_NAME:
     569                 :     1606840 :               {
     570                 :     1606840 :                 tree ssa_name = decl;
     571                 :             :                 /* SSA names that are the default defn of a PARM_DECL
     572                 :             :                    have initial_svalues; other SSA names don't.  */
     573                 :     1606840 :                 if (SSA_NAME_IS_DEFAULT_DEF (ssa_name)
     574                 :     1539993 :                     && SSA_NAME_VAR (ssa_name)
     575                 :     3146833 :                     && TREE_CODE (SSA_NAME_VAR (ssa_name)) == PARM_DECL)
     576                 :             :                   return true;
     577                 :             :                 else
     578                 :             :                   return false;
     579                 :             :               }
     580                 :             :             }
     581                 :             :         }
     582                 :             : 
     583                 :             :       /* If we have an on-stack region that isn't associated with a decl
     584                 :             :          or SSA name, then we have VLA/alloca, which is uninitialized.  */
     585                 :             :       return false;
     586                 :             :     }
     587                 :             : }
     588                 :             : 
     589                 :             : /* For regions within a global decl, get the svalue for the initial
     590                 :             :    value of this region when the program starts, caching the result.  */
     591                 :             : 
     592                 :             : const svalue *
     593                 :        7734 : region::get_initial_value_at_main (region_model_manager *mgr) const
     594                 :             : {
     595                 :        7734 :   if (!m_cached_init_sval_at_main)
     596                 :         336 :     m_cached_init_sval_at_main = calc_initial_value_at_main (mgr);
     597                 :        7734 :   return m_cached_init_sval_at_main;
     598                 :             : }
     599                 :             : 
     600                 :             : /* Implementation of region::get_initial_value_at_main.  */
     601                 :             : 
     602                 :             : const svalue *
     603                 :         336 : region::calc_initial_value_at_main (region_model_manager *mgr) const
     604                 :             : {
     605                 :         336 :   const decl_region *base_reg = get_base_region ()->dyn_cast_decl_region ();
     606                 :         336 :   gcc_assert (base_reg);
     607                 :             : 
     608                 :             :   /* Attempt to get the initializer value for base_reg.  */
     609                 :         672 :   if (const svalue *base_reg_init
     610                 :         336 :       = base_reg->get_svalue_for_initializer (mgr))
     611                 :             :     {
     612                 :         293 :       if (this == base_reg)
     613                 :             :         return base_reg_init;
     614                 :             :       else
     615                 :             :         {
     616                 :             :           /* Get the value for REG within base_reg_init.  */
     617                 :         175 :           binding_cluster c (base_reg);
     618                 :         175 :           c.bind (mgr->get_store_manager (), base_reg, base_reg_init);
     619                 :         175 :           const svalue *sval
     620                 :         175 :             = c.get_any_binding (mgr->get_store_manager (), this);
     621                 :         175 :           if (sval)
     622                 :             :             {
     623                 :         174 :               if (get_type ())
     624                 :         155 :                 sval = mgr->get_or_create_cast (get_type (), sval);
     625                 :         174 :               return sval;
     626                 :             :             }
     627                 :         175 :         }
     628                 :             :     }
     629                 :             : 
     630                 :             :   /* Otherwise, return INIT_VAL(REG).  */
     631                 :          44 :   return mgr->get_or_create_initial_value (this);
     632                 :             : }
     633                 :             : 
     634                 :             : /* If this region is a decl_region, return the decl.
     635                 :             :    Otherwise return NULL.  */
     636                 :             : 
     637                 :             : tree
     638                 :     2842081 : region::maybe_get_decl () const
     639                 :             : {
     640                 :     2842081 :   if (const decl_region *decl_reg = dyn_cast_decl_region ())
     641                 :     2422232 :     return decl_reg->get_decl ();
     642                 :             :   return NULL_TREE;
     643                 :             : }
     644                 :             : 
     645                 :             : /* Get the region_offset for this region (calculating it on the
     646                 :             :    first call and caching it internally).  */
     647                 :             : 
     648                 :             : region_offset
     649                 :     4514240 : region::get_offset (region_model_manager *mgr) const
     650                 :             : {
     651                 :     4514240 :   if(!m_cached_offset)
     652                 :      132436 :     m_cached_offset = new region_offset (calc_offset (mgr));
     653                 :     4514240 :   return *m_cached_offset;
     654                 :             : }
     655                 :             : 
     656                 :             : /* Get the region_offset for immediately beyond this region.  */
     657                 :             : 
     658                 :             : region_offset
     659                 :         733 : region::get_next_offset (region_model_manager *mgr) const
     660                 :             : {
     661                 :         733 :   region_offset start = get_offset (mgr);
     662                 :             : 
     663                 :         733 :   bit_size_t bit_size;
     664                 :         733 :   if (get_bit_size (&bit_size))
     665                 :             :     {
     666                 :         715 :       if (start.concrete_p ())
     667                 :             :         {
     668                 :         527 :           bit_offset_t next_bit_offset = start.get_bit_offset () + bit_size;
     669                 :         527 :           return region_offset::make_concrete (start.get_base_region (),
     670                 :             :                                                next_bit_offset);
     671                 :             :         }
     672                 :             :     }
     673                 :             : 
     674                 :         206 :   const svalue *start_byte_offset_sval = start.calc_symbolic_byte_offset (mgr);
     675                 :         206 :   const svalue *byte_size_sval = get_byte_size_sval (mgr);
     676                 :         206 :   const svalue *sum_sval
     677                 :         206 :     = mgr->get_or_create_binop (size_type_node,
     678                 :             :                                 PLUS_EXPR,
     679                 :             :                                 start_byte_offset_sval,
     680                 :             :                                 byte_size_sval);
     681                 :         206 :   return region_offset::make_symbolic (start.get_base_region (),
     682                 :         206 :                                        sum_sval);
     683                 :             : }
     684                 :             : 
     685                 :             : /* Base class implementation of region::get_byte_size vfunc.
     686                 :             :    If the size of this region (in bytes) is known statically, write it to *OUT
     687                 :             :    and return true.
     688                 :             :    Otherwise return false.  */
     689                 :             : 
     690                 :             : bool
     691                 :         300 : region::get_byte_size (byte_size_t *out) const
     692                 :             : {
     693                 :         300 :   tree type = get_type ();
     694                 :             : 
     695                 :             :   /* Bail out e.g. for heap-allocated regions.  */
     696                 :         300 :   if (!type)
     697                 :             :     return false;
     698                 :             : 
     699                 :         154 :   HOST_WIDE_INT bytes = int_size_in_bytes (type);
     700                 :         154 :   if (bytes == -1)
     701                 :             :     return false;
     702                 :         154 :   *out = bytes;
     703                 :         154 :   return true;
     704                 :             : }
     705                 :             : 
     706                 :             : /* Base implementation of region::get_byte_size_sval vfunc.  */
     707                 :             : 
     708                 :             : const svalue *
     709                 :       52121 : region::get_byte_size_sval (region_model_manager *mgr) const
     710                 :             : {
     711                 :       52121 :   tree type = get_type ();
     712                 :             : 
     713                 :             :   /* Bail out e.g. for heap-allocated regions.  */
     714                 :       52121 :   if (!type)
     715                 :        7441 :     return mgr->get_or_create_unknown_svalue (size_type_node);
     716                 :             : 
     717                 :       44680 :   HOST_WIDE_INT bytes = int_size_in_bytes (type);
     718                 :       44680 :   if (bytes == -1)
     719                 :         586 :     return mgr->get_or_create_unknown_svalue (size_type_node);
     720                 :             : 
     721                 :       44094 :   tree byte_size = size_in_bytes (type);
     722                 :       44094 :   if (TREE_TYPE (byte_size) != size_type_node)
     723                 :       44094 :     byte_size = fold_build1 (NOP_EXPR, size_type_node, byte_size);
     724                 :       44094 :   return mgr->get_or_create_constant_svalue (byte_size);
     725                 :             : }
     726                 :             : 
     727                 :             : /* Attempt to get the size of TYPE in bits.
     728                 :             :    If successful, return true and write the size to *OUT.
     729                 :             :    Otherwise return false.  */
     730                 :             : 
     731                 :             : bool
     732                 :     9039286 : int_size_in_bits (const_tree type, bit_size_t *out)
     733                 :             : {
     734                 :     9039286 :   if (INTEGRAL_TYPE_P (type))
     735                 :             :     {
     736                 :     3471100 :       *out = TYPE_PRECISION (type);
     737                 :     3471100 :       return true;
     738                 :             :     }
     739                 :             : 
     740                 :     5568186 :   tree sz = TYPE_SIZE (type);
     741                 :     5568186 :   if (sz
     742                 :     5549787 :       && tree_fits_uhwi_p (sz)
     743                 :             :       /* If the size is zero, then we may have a zero-sized
     744                 :             :          array; handle such cases by returning false.  */
     745                 :    11117786 :       && !integer_zerop (sz))
     746                 :             :     {
     747                 :     5547001 :       *out = TREE_INT_CST_LOW (sz);
     748                 :     5547001 :       return true;
     749                 :             :     }
     750                 :             :   else
     751                 :       21185 :     return false;
     752                 :             : }
     753                 :             : 
     754                 :             : /* Base implementation of region::get_bit_size_sval vfunc.  */
     755                 :             : 
     756                 :             : const svalue *
     757                 :      676253 : region::get_bit_size_sval (region_model_manager *mgr) const
     758                 :             : {
     759                 :      676253 :   tree type = get_type ();
     760                 :             : 
     761                 :             :   /* Bail out e.g. for heap-allocated regions.  */
     762                 :      676253 :   if (!type)
     763                 :        2209 :     return mgr->get_or_create_unknown_svalue (size_type_node);
     764                 :             : 
     765                 :      674044 :   bit_size_t bits;
     766                 :      674044 :   if (!int_size_in_bits (type, &bits))
     767                 :          68 :     return mgr->get_or_create_unknown_svalue (size_type_node);
     768                 :             : 
     769                 :      673976 :   return mgr->get_or_create_int_cst (size_type_node, bits);
     770                 :             : }
     771                 :             : 
     772                 :             : /* If the size of this region (in bits) is known statically, write it to *OUT
     773                 :             :    and return true.
     774                 :             :    Otherwise return false.  */
     775                 :             : 
     776                 :             : bool
     777                 :     9962906 : region::get_bit_size (bit_size_t *out) const
     778                 :             : {
     779                 :     9962906 :   tree type = get_type ();
     780                 :             : 
     781                 :             :   /* Bail out e.g. for heap-allocated regions.  */
     782                 :     9962906 :   if (!type)
     783                 :             :     return false;
     784                 :             : 
     785                 :     8359584 :   return int_size_in_bits (type, out);
     786                 :             : }
     787                 :             : 
     788                 :             : /* Get the field within RECORD_TYPE at BIT_OFFSET.  */
     789                 :             : 
     790                 :             : tree
     791                 :        1222 : get_field_at_bit_offset (tree record_type, bit_offset_t bit_offset)
     792                 :             : {
     793                 :        1222 :   gcc_assert (TREE_CODE (record_type) == RECORD_TYPE);
     794                 :        1222 :   if (bit_offset < 0)
     795                 :             :     return NULL;
     796                 :             : 
     797                 :             :   /* Find the first field that has an offset > BIT_OFFSET,
     798                 :             :      then return the one preceding it.
     799                 :             :      Skip other trees within the chain, such as FUNCTION_DECLs.  */
     800                 :        1222 :   tree last_field = NULL_TREE;
     801                 :       12055 :   for (tree iter = TYPE_FIELDS (record_type); iter != NULL_TREE;
     802                 :       10833 :        iter = DECL_CHAIN (iter))
     803                 :             :     {
     804                 :       11450 :       if (TREE_CODE (iter) == FIELD_DECL)
     805                 :             :         {
     806                 :        2876 :           int iter_field_offset = int_bit_position (iter);
     807                 :        2876 :           if (bit_offset < iter_field_offset)
     808                 :         617 :             return last_field;
     809                 :        2259 :           last_field = iter;
     810                 :             :         }
     811                 :             :     }
     812                 :             :   return last_field;
     813                 :             : }
     814                 :             : 
     815                 :             : /* Populate *OUT with descendent regions of type TYPE that match
     816                 :             :    RELATIVE_BIT_OFFSET and SIZE_IN_BITS within this region.  */
     817                 :             : 
     818                 :             : void
     819                 :        9415 : region::get_subregions_for_binding (region_model_manager *mgr,
     820                 :             :                                     bit_offset_t relative_bit_offset,
     821                 :             :                                     bit_size_t size_in_bits,
     822                 :             :                                     tree type,
     823                 :             :                                     auto_vec <const region *> *out) const
     824                 :             : {
     825                 :        9415 :   if (get_type () == NULL_TREE || type == NULL_TREE)
     826                 :             :     return;
     827                 :        9131 :   if (relative_bit_offset == 0
     828                 :        9131 :       && types_compatible_p (get_type (), type))
     829                 :             :     {
     830                 :        8292 :       out->safe_push (this);
     831                 :        8292 :       return;
     832                 :             :     }
     833                 :         839 :   switch (TREE_CODE (get_type ()))
     834                 :             :     {
     835                 :         115 :     case ARRAY_TYPE:
     836                 :         115 :       {
     837                 :         115 :         tree element_type = TREE_TYPE (get_type ());
     838                 :         115 :         HOST_WIDE_INT hwi_byte_size = int_size_in_bytes (element_type);
     839                 :         115 :         if (hwi_byte_size > 0)
     840                 :             :           {
     841                 :         115 :             HOST_WIDE_INT bits_per_element
     842                 :             :               = hwi_byte_size << LOG2_BITS_PER_UNIT;
     843                 :         115 :             HOST_WIDE_INT element_index
     844                 :         115 :               = (relative_bit_offset.to_shwi () / bits_per_element);
     845                 :         115 :             tree element_index_cst
     846                 :         115 :               = build_int_cst (integer_type_node, element_index);
     847                 :         115 :             HOST_WIDE_INT inner_bit_offset
     848                 :         115 :               = relative_bit_offset.to_shwi () % bits_per_element;
     849                 :         115 :             const region *subregion = mgr->get_element_region
     850                 :         115 :               (this, element_type,
     851                 :             :                mgr->get_or_create_constant_svalue (element_index_cst));
     852                 :         115 :             subregion->get_subregions_for_binding (mgr, inner_bit_offset,
     853                 :             :                                                    size_in_bits, type, out);
     854                 :             :           }
     855                 :             :       }
     856                 :             :       break;
     857                 :         584 :     case RECORD_TYPE:
     858                 :         584 :       {
     859                 :             :         /* The bit offset might be *within* one of the fields (such as
     860                 :             :            with nested structs).
     861                 :             :            So we want to find the enclosing field, adjust the offset,
     862                 :             :            and repeat.  */
     863                 :         584 :         if (tree field = get_field_at_bit_offset (get_type (),
     864                 :             :                                                   relative_bit_offset))
     865                 :             :           {
     866                 :         584 :             int field_bit_offset = int_bit_position (field);
     867                 :         584 :             const region *subregion = mgr->get_field_region (this, field);
     868                 :         584 :             subregion->get_subregions_for_binding
     869                 :         584 :               (mgr, relative_bit_offset - field_bit_offset,
     870                 :             :                size_in_bits, type, out);
     871                 :             :           }
     872                 :             :       }
     873                 :             :       break;
     874                 :           8 :     case UNION_TYPE:
     875                 :           8 :       {
     876                 :          24 :         for (tree field = TYPE_FIELDS (get_type ()); field != NULL_TREE;
     877                 :          16 :              field = DECL_CHAIN (field))
     878                 :             :           {
     879                 :          16 :             if (TREE_CODE (field) != FIELD_DECL)
     880                 :           0 :               continue;
     881                 :          16 :             const region *subregion = mgr->get_field_region (this, field);
     882                 :          16 :             subregion->get_subregions_for_binding (mgr,
     883                 :             :                                                    relative_bit_offset,
     884                 :             :                                                    size_in_bits,
     885                 :             :                                                    type,
     886                 :             :                                                    out);
     887                 :             :           }
     888                 :             :       }
     889                 :             :       break;
     890                 :             :     default:
     891                 :             :       /* Do nothing.  */
     892                 :             :       break;
     893                 :             :     }
     894                 :             : }
     895                 :             : 
     896                 :             : /* Walk from this region up to the base region within its cluster, calculating
     897                 :             :    the offset relative to the base region, either as an offset in bits,
     898                 :             :    or a symbolic offset.  */
     899                 :             : 
     900                 :             : region_offset
     901                 :      132436 : region::calc_offset (region_model_manager *mgr) const
     902                 :             : {
     903                 :      132436 :   const region *iter_region = this;
     904                 :      132436 :   bit_offset_t accum_bit_offset = 0;
     905                 :      132436 :   const svalue *accum_byte_sval = NULL;
     906                 :             : 
     907                 :      158282 :   while (iter_region)
     908                 :             :     {
     909                 :      158282 :       switch (iter_region->get_kind ())
     910                 :             :         {
     911                 :       18959 :         case RK_FIELD:
     912                 :       18959 :         case RK_ELEMENT:
     913                 :       18959 :         case RK_OFFSET:
     914                 :       18959 :         case RK_BIT_RANGE:
     915                 :       18959 :           if (accum_byte_sval)
     916                 :             :             {
     917                 :        3113 :               const svalue *sval
     918                 :        3113 :                 = iter_region->get_relative_symbolic_offset (mgr);
     919                 :        3113 :               accum_byte_sval
     920                 :        3113 :                 = mgr->get_or_create_binop (ptrdiff_type_node, PLUS_EXPR,
     921                 :             :                                             accum_byte_sval, sval);
     922                 :        3113 :               iter_region = iter_region->get_parent_region ();
     923                 :             :             }
     924                 :             :           else
     925                 :             :             {
     926                 :       15846 :               bit_offset_t rel_bit_offset;
     927                 :       15846 :               if (iter_region->get_relative_concrete_offset (&rel_bit_offset))
     928                 :             :                 {
     929                 :       13115 :                   accum_bit_offset += rel_bit_offset;
     930                 :       13115 :                   iter_region = iter_region->get_parent_region ();
     931                 :             :                 }
     932                 :             :               else
     933                 :             :                 {
     934                 :             :                   /* If the iter_region is not concrete anymore, convert the
     935                 :             :                      accumulated bits to a svalue in bytes and revisit the
     936                 :             :                      iter_region collecting the symbolic value.  */
     937                 :        2731 :                   byte_offset_t byte_offset = accum_bit_offset / BITS_PER_UNIT;
     938                 :        2731 :                   tree offset_tree = wide_int_to_tree (ptrdiff_type_node,
     939                 :             :                                                        byte_offset);
     940                 :        2731 :                   accum_byte_sval
     941                 :        2731 :                     = mgr->get_or_create_constant_svalue (offset_tree);
     942                 :             :                 }
     943                 :             :             }
     944                 :       18959 :           continue;
     945                 :        6887 :         case RK_SIZED:
     946                 :        6887 :         case RK_CAST:
     947                 :        6887 :           iter_region = iter_region->get_parent_region ();
     948                 :        6887 :           continue;
     949                 :             : 
     950                 :      132436 :         default:
     951                 :      132436 :           return accum_byte_sval
     952                 :      132436 :                   ? region_offset::make_symbolic (iter_region,
     953                 :             :                                                   accum_byte_sval)
     954                 :      129705 :                   : region_offset::make_concrete (iter_region,
     955                 :             :                                                   accum_bit_offset);
     956                 :       25846 :         }
     957                 :             :     }
     958                 :             : 
     959                 :           0 :   return accum_byte_sval ? region_offset::make_symbolic (iter_region,
     960                 :             :                                                          accum_byte_sval)
     961                 :           0 :                          : region_offset::make_concrete (iter_region,
     962                 :             :                                                          accum_bit_offset);
     963                 :             : }
     964                 :             : 
     965                 :             : /* Base implementation of region::get_relative_concrete_offset vfunc.  */
     966                 :             : 
     967                 :             : bool
     968                 :          32 : region::get_relative_concrete_offset (bit_offset_t *) const
     969                 :             : {
     970                 :          32 :   return false;
     971                 :             : }
     972                 :             : 
     973                 :             : /* Base implementation of region::get_relative_symbolic_offset vfunc.  */
     974                 :             : 
     975                 :             : const svalue *
     976                 :           0 : region::get_relative_symbolic_offset (region_model_manager *mgr) const
     977                 :             : {
     978                 :           0 :   return mgr->get_or_create_unknown_svalue (ptrdiff_type_node);
     979                 :             : }
     980                 :             : 
     981                 :             : /* Attempt to get the position and size of this region expressed as a
     982                 :             :    concrete range of bytes relative to its parent.
     983                 :             :    If successful, return true and write to *OUT.
     984                 :             :    Otherwise return false.  */
     985                 :             : 
     986                 :             : bool
     987                 :         386 : region::get_relative_concrete_byte_range (byte_range *out) const
     988                 :             : {
     989                 :             :   /* We must have a concrete offset relative to the parent.  */
     990                 :         386 :   bit_offset_t rel_bit_offset;
     991                 :         386 :   if (!get_relative_concrete_offset (&rel_bit_offset))
     992                 :             :     return false;
     993                 :             :   /* ...which must be a whole number of bytes.  */
     994                 :         300 :   if (rel_bit_offset % BITS_PER_UNIT != 0)
     995                 :             :     return false;
     996                 :         300 :   byte_offset_t start_byte_offset = rel_bit_offset / BITS_PER_UNIT;
     997                 :             : 
     998                 :             :   /* We must have a concrete size, which must be a whole number
     999                 :             :      of bytes.  */
    1000                 :         300 :   byte_size_t num_bytes;
    1001                 :         300 :   if (!get_byte_size (&num_bytes))
    1002                 :             :     return false;
    1003                 :             : 
    1004                 :             :   /* Success.  */
    1005                 :         154 :   *out = byte_range (start_byte_offset, num_bytes);
    1006                 :         154 :   return true;
    1007                 :             : }
    1008                 :             : 
    1009                 :             : /* Dump a description of this region to stderr.  */
    1010                 :             : 
    1011                 :             : DEBUG_FUNCTION void
    1012                 :           0 : region::dump (bool simple) const
    1013                 :             : {
    1014                 :           0 :   tree_dump_pretty_printer pp (stderr);
    1015                 :           0 :   dump_to_pp (&pp, simple);
    1016                 :           0 :   pp_newline (&pp);
    1017                 :           0 : }
    1018                 :             : 
    1019                 :             : /* Dump a tree-like representation of this region and its constituent symbols
    1020                 :             :    to stderr, using global_dc's colorization and theming options.
    1021                 :             : 
    1022                 :             :    For example:
    1023                 :             :    . (gdb) call reg->dump()
    1024                 :             :    . (26): ‘int’: decl_region(‘x_10(D)’)
    1025                 :             :    . ╰─ parent: (9): frame_region(‘test_bitmask_2’, index: 0, depth: 1)
    1026                 :             :    .    ╰─ parent: (1): stack region
    1027                 :             :    .       ╰─ parent: (0): root region
    1028                 :             :   */
    1029                 :             : 
    1030                 :             : DEBUG_FUNCTION void
    1031                 :           0 : region::dump () const
    1032                 :             : {
    1033                 :           0 :   text_art::dump (*this);
    1034                 :           0 : }
    1035                 :             : 
    1036                 :             : /* Return a new json::string describing the region.  */
    1037                 :             : 
    1038                 :             : std::unique_ptr<json::value>
    1039                 :           8 : region::to_json () const
    1040                 :             : {
    1041                 :           8 :   label_text desc = get_desc (true);
    1042                 :           8 :   auto reg_js = ::make_unique<json::string> (desc.get ());
    1043                 :           8 :   return reg_js;
    1044                 :           8 : }
    1045                 :             : 
    1046                 :             : bool
    1047                 :          34 : region::maybe_print_for_user (pretty_printer *pp,
    1048                 :             :                               const region_model &) const
    1049                 :             : {
    1050                 :          34 :   switch (get_kind ())
    1051                 :             :     {
    1052                 :             :     default:
    1053                 :             :       break;
    1054                 :          34 :     case RK_DECL:
    1055                 :          34 :       {
    1056                 :          34 :         const decl_region *reg = (const decl_region *)this;
    1057                 :          34 :         tree decl = reg->get_decl ();
    1058                 :          34 :         if (TREE_CODE (decl) == SSA_NAME)
    1059                 :          34 :           decl = SSA_NAME_VAR (decl);
    1060                 :          34 :         print_expr_for_user (pp, decl);
    1061                 :          34 :         return true;
    1062                 :             :       }
    1063                 :             :     }
    1064                 :             : 
    1065                 :             :   return false;
    1066                 :             : }
    1067                 :             : 
    1068                 :             : /* Use DWI to create a text_art::widget describing this region in
    1069                 :             :    a tree-like form, using PREFIX as a prefix (e.g. for field names).  */
    1070                 :             : 
    1071                 :             : std::unique_ptr<text_art::tree_widget>
    1072                 :           0 : region::make_dump_widget (const text_art::dump_widget_info &dwi,
    1073                 :             :                           const char *prefix) const
    1074                 :             : {
    1075                 :           0 :   pretty_printer pp;
    1076                 :           0 :   pp_format_decoder (&pp) = default_tree_printer;
    1077                 :           0 :   pp_show_color (&pp) = true;
    1078                 :             : 
    1079                 :           0 :   if (prefix)
    1080                 :           0 :     pp_printf (&pp, "%s: ", prefix);
    1081                 :             : 
    1082                 :           0 :   pp_printf (&pp, "(%i): ", get_id ());
    1083                 :           0 :   if (get_type ())
    1084                 :           0 :     pp_printf (&pp, "%qT: ", get_type ());
    1085                 :             : 
    1086                 :           0 :   print_dump_widget_label (&pp);
    1087                 :             : 
    1088                 :           0 :   std::unique_ptr<text_art::tree_widget> w
    1089                 :           0 :     (text_art::tree_widget::make (dwi, &pp));
    1090                 :             : 
    1091                 :           0 :   add_dump_widget_children (*w, dwi);
    1092                 :             : 
    1093                 :           0 :   if (m_parent)
    1094                 :           0 :     w->add_child (m_parent->make_dump_widget (dwi, "parent"));
    1095                 :             : 
    1096                 :           0 :   return w;
    1097                 :           0 : }
    1098                 :             : 
    1099                 :             : void
    1100                 :           0 : region::add_dump_widget_children (text_art::tree_widget &,
    1101                 :             :                                   const text_art::dump_widget_info &) const
    1102                 :             : {
    1103                 :             :   /* By default, add nothing (parent is added in make_dump_widget).  */
    1104                 :           0 : }
    1105                 :             : 
    1106                 :             : /* Generate a description of this region.  */
    1107                 :             : 
    1108                 :             : DEBUG_FUNCTION label_text
    1109                 :           8 : region::get_desc (bool simple) const
    1110                 :             : {
    1111                 :           8 :   pretty_printer pp;
    1112                 :           8 :   pp_format_decoder (&pp) = default_tree_printer;
    1113                 :           8 :   dump_to_pp (&pp, simple);
    1114                 :           8 :   return label_text::take (xstrdup (pp_formatted_text (&pp)));
    1115                 :           8 : }
    1116                 :             : 
    1117                 :             : /* Base implementation of region::accept vfunc.
    1118                 :             :    Subclass implementations should chain up to this.  */
    1119                 :             : 
    1120                 :             : void
    1121                 :    21965277 : region::accept (visitor *v) const
    1122                 :             : {
    1123                 :    21965277 :   v->visit_region (this);
    1124                 :    21965277 :   if (m_parent)
    1125                 :    15630979 :     m_parent->accept (v);
    1126                 :    21965277 : }
    1127                 :             : 
    1128                 :             : /* Return true if this is a symbolic region for deferencing an
    1129                 :             :    unknown ptr.
    1130                 :             :    We shouldn't attempt to bind values for this region (but
    1131                 :             :    can unbind values for other regions).  */
    1132                 :             : 
    1133                 :             : bool
    1134                 :     4627018 : region::symbolic_for_unknown_ptr_p () const
    1135                 :             : {
    1136                 :     4627018 :   if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ())
    1137                 :      519676 :     if (sym_reg->get_pointer ()->get_kind () == SK_UNKNOWN)
    1138                 :             :       return true;
    1139                 :             :   return false;
    1140                 :             : }
    1141                 :             : 
    1142                 :             : /* Return true if this is a symbolic region.  */
    1143                 :             : 
    1144                 :             : bool
    1145                 :      681904 : region::symbolic_p () const
    1146                 :             : {
    1147                 :      681904 :   return get_kind () == RK_SYMBOLIC;
    1148                 :             : }
    1149                 :             : 
    1150                 :             : /* Return true if this region is known to be zero bits in size.  */
    1151                 :             : 
    1152                 :             : bool
    1153                 :     6464717 : region::empty_p () const
    1154                 :             : {
    1155                 :     6464717 :   bit_size_t num_bits;
    1156                 :     6464717 :   if (get_bit_size (&num_bits))
    1157                 :     6085720 :     if (num_bits == 0)
    1158                 :             :       return true;
    1159                 :             :   return false;
    1160                 :             : }
    1161                 :             : 
    1162                 :             : /* Return true if this is a region for a decl with name DECL_NAME.
    1163                 :             :    Intended for use when debugging (for assertions and conditional
    1164                 :             :    breakpoints).  */
    1165                 :             : 
    1166                 :             : DEBUG_FUNCTION bool
    1167                 :           0 : region::is_named_decl_p (const char *decl_name) const
    1168                 :             : {
    1169                 :           0 :   if (tree decl = maybe_get_decl ())
    1170                 :           0 :     if (DECL_NAME (decl)
    1171                 :           0 :         && !strcmp (IDENTIFIER_POINTER (DECL_NAME (decl)), decl_name))
    1172                 :           0 :       return true;
    1173                 :             :   return false;
    1174                 :             : }
    1175                 :             : 
    1176                 :             : /* region's ctor.  */
    1177                 :             : 
    1178                 :      192176 : region::region (complexity c, symbol::id_t id, const region *parent, tree type)
    1179                 :             : : symbol (c, id),
    1180                 :      192176 :   m_parent (parent), m_type (type),
    1181                 :      192176 :   m_cached_offset (NULL), m_cached_init_sval_at_main (NULL)
    1182                 :             : {
    1183                 :      192176 :   gcc_assert (type == NULL_TREE || TYPE_P (type));
    1184                 :      192176 : }
    1185                 :             : 
    1186                 :             : /* Comparator for use by vec<const region *>::qsort,
    1187                 :             :    using their IDs to order them.  */
    1188                 :             : 
    1189                 :             : int
    1190                 :    35794714 : region::cmp_ptr_ptr (const void *p1, const void *p2)
    1191                 :             : {
    1192                 :    35794714 :   const region * const *reg1 = (const region * const *)p1;
    1193                 :    35794714 :   const region * const *reg2 = (const region * const *)p2;
    1194                 :             : 
    1195                 :    35794714 :   return cmp_ids (*reg1, *reg2);
    1196                 :             : }
    1197                 :             : 
    1198                 :             : /* Determine if a pointer to this region must be non-NULL.
    1199                 :             : 
    1200                 :             :    Generally, pointers to regions must be non-NULL, but pointers
    1201                 :             :    to symbolic_regions might, in fact, be NULL.
    1202                 :             : 
    1203                 :             :    This allows us to simulate functions like malloc and calloc with:
    1204                 :             :    - only one "outcome" from each statement,
    1205                 :             :    - the idea that the pointer is on the heap if non-NULL
    1206                 :             :    - the possibility that the pointer could be NULL
    1207                 :             :    - the idea that successive values returned from malloc are non-equal
    1208                 :             :    - to be able to zero-fill for calloc.  */
    1209                 :             : 
    1210                 :             : bool
    1211                 :       12433 : region::non_null_p () const
    1212                 :             : {
    1213                 :       12433 :   switch (get_kind ())
    1214                 :             :     {
    1215                 :             :     default:
    1216                 :             :       return true;
    1217                 :             :     case RK_SYMBOLIC:
    1218                 :             :       /* Are we within a symbolic_region?  If so, it could be NULL, and we
    1219                 :             :          have to fall back on the constraints.  */
    1220                 :             :       return false;
    1221                 :             :     case RK_HEAP_ALLOCATED:
    1222                 :             :       return false;
    1223                 :             :     }
    1224                 :             : }
    1225                 :             : 
    1226                 :             : /* Return true iff this region is defined in terms of SVAL.  */
    1227                 :             : 
    1228                 :             : bool
    1229                 :      667226 : region::involves_p (const svalue *sval) const
    1230                 :             : {
    1231                 :      667226 :   if (const symbolic_region *symbolic_reg = dyn_cast_symbolic_region ())
    1232                 :             :     {
    1233                 :       63957 :       if (symbolic_reg->get_pointer ()->involves_p (sval))
    1234                 :             :         return true;
    1235                 :             :     }
    1236                 :             : 
    1237                 :             :   return false;
    1238                 :             : }
    1239                 :             : 
    1240                 :             : /* Comparator for trees to impose a deterministic ordering on
    1241                 :             :    T1 and T2.  */
    1242                 :             : 
    1243                 :             : static int
    1244                 :       73560 : tree_cmp (const_tree t1, const_tree t2)
    1245                 :             : {
    1246                 :       73560 :   gcc_assert (t1);
    1247                 :       73560 :   gcc_assert (t2);
    1248                 :             : 
    1249                 :             :   /* Test tree codes first.  */
    1250                 :       73560 :   if (TREE_CODE (t1) != TREE_CODE (t2))
    1251                 :       31744 :     return TREE_CODE (t1) - TREE_CODE (t2);
    1252                 :             : 
    1253                 :             :   /* From this point on, we know T1 and T2 have the same tree code.  */
    1254                 :             : 
    1255                 :       41816 :   if (DECL_P (t1))
    1256                 :             :     {
    1257                 :           0 :       if (DECL_NAME (t1) && DECL_NAME (t2))
    1258                 :           0 :         return strcmp (IDENTIFIER_POINTER (DECL_NAME (t1)),
    1259                 :           0 :                        IDENTIFIER_POINTER (DECL_NAME (t2)));
    1260                 :             :       else
    1261                 :             :         {
    1262                 :           0 :           if (DECL_NAME (t1))
    1263                 :             :             return -1;
    1264                 :           0 :           else if (DECL_NAME (t2))
    1265                 :             :             return 1;
    1266                 :             :           else
    1267                 :           0 :             return DECL_UID (t1) - DECL_UID (t2);
    1268                 :             :         }
    1269                 :             :     }
    1270                 :             : 
    1271                 :       41816 :   switch (TREE_CODE (t1))
    1272                 :             :     {
    1273                 :           0 :     case SSA_NAME:
    1274                 :           0 :       {
    1275                 :           0 :         if (SSA_NAME_VAR (t1) && SSA_NAME_VAR (t2))
    1276                 :             :           {
    1277                 :           0 :             int var_cmp = tree_cmp (SSA_NAME_VAR (t1), SSA_NAME_VAR (t2));
    1278                 :           0 :             if (var_cmp)
    1279                 :             :               return var_cmp;
    1280                 :           0 :             return SSA_NAME_VERSION (t1) - SSA_NAME_VERSION (t2);
    1281                 :             :           }
    1282                 :             :         else
    1283                 :             :           {
    1284                 :           0 :             if (SSA_NAME_VAR (t1))
    1285                 :             :               return -1;
    1286                 :           0 :             else if (SSA_NAME_VAR (t2))
    1287                 :             :               return 1;
    1288                 :             :             else
    1289                 :           0 :               return SSA_NAME_VERSION (t1) - SSA_NAME_VERSION (t2);
    1290                 :             :           }
    1291                 :             :       }
    1292                 :        8384 :       break;
    1293                 :             : 
    1294                 :        8384 :     case INTEGER_CST:
    1295                 :        8384 :       return tree_int_cst_compare (t1, t2);
    1296                 :             : 
    1297                 :       33432 :     case REAL_CST:
    1298                 :       33432 :       {
    1299                 :       33432 :         const real_value *rv1 = TREE_REAL_CST_PTR (t1);
    1300                 :       33432 :         const real_value *rv2 = TREE_REAL_CST_PTR (t2);
    1301                 :       33432 :         if (real_compare (UNORDERED_EXPR, rv1, rv2))
    1302                 :             :           {
    1303                 :             :             /* Impose an arbitrary order on NaNs relative to other NaNs
    1304                 :             :                and to non-NaNs.  */
    1305                 :       25040 :             if (int cmp_isnan = real_isnan (rv1) - real_isnan (rv2))
    1306                 :             :               return cmp_isnan;
    1307                 :       16800 :             if (int cmp_issignaling_nan
    1308                 :        8400 :                   = real_issignaling_nan (rv1) - real_issignaling_nan (rv2))
    1309                 :             :               return cmp_issignaling_nan;
    1310                 :        4016 :             return real_isneg (rv1) - real_isneg (rv2);
    1311                 :             :           }
    1312                 :        8392 :         if (real_compare (LT_EXPR, rv1, rv2))
    1313                 :             :           return -1;
    1314                 :        5008 :         if (real_compare (GT_EXPR, rv1, rv2))
    1315                 :             :           return 1;
    1316                 :             :         return 0;
    1317                 :             :       }
    1318                 :             : 
    1319                 :           0 :     case STRING_CST:
    1320                 :           0 :       return strcmp (TREE_STRING_POINTER (t1),
    1321                 :           0 :                      TREE_STRING_POINTER (t2));
    1322                 :             : 
    1323                 :           0 :     default:
    1324                 :           0 :       gcc_unreachable ();
    1325                 :             :       break;
    1326                 :             :     }
    1327                 :             : 
    1328                 :             :   gcc_unreachable ();
    1329                 :             : 
    1330                 :             :   return 0;
    1331                 :             : }
    1332                 :             : 
    1333                 :             : /* qsort comparator for trees to impose a deterministic ordering on
    1334                 :             :    P1 and P2.  */
    1335                 :             : 
    1336                 :             : int
    1337                 :       73560 : tree_cmp (const void *p1, const void *p2)
    1338                 :             : {
    1339                 :       73560 :   const_tree t1 = *(const_tree const *)p1;
    1340                 :       73560 :   const_tree t2 = *(const_tree const *)p2;
    1341                 :             : 
    1342                 :       73560 :   return tree_cmp (t1, t2);
    1343                 :             : }
    1344                 :             : 
    1345                 :             : /* class frame_region : public space_region.  */
    1346                 :             : 
    1347                 :       26772 : frame_region::~frame_region ()
    1348                 :             : {
    1349                 :      109582 :   for (map_t::iterator iter = m_locals.begin ();
    1350                 :      109582 :        iter != m_locals.end ();
    1351                 :       96196 :        ++iter)
    1352                 :       96196 :     delete (*iter).second;
    1353                 :       26772 : }
    1354                 :             : 
    1355                 :             : void
    1356                 :     2779687 : frame_region::accept (visitor *v) const
    1357                 :             : {
    1358                 :     4233040 :   region::accept (v);
    1359                 :     4233040 :   if (m_calling_frame)
    1360                 :             :     m_calling_frame->accept (v);
    1361                 :     2779687 : }
    1362                 :             : 
    1363                 :             : /* Implementation of region::dump_to_pp vfunc for frame_region.  */
    1364                 :             : 
    1365                 :             : void
    1366                 :        4061 : frame_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1367                 :             : {
    1368                 :        4061 :   if (simple)
    1369                 :        4060 :     pp_printf (pp, "frame: %qs@%i", function_name (&m_fun), get_stack_depth ());
    1370                 :             :   else
    1371                 :           1 :     pp_printf (pp, "frame_region(%qs, index: %i, depth: %i)",
    1372                 :           1 :                function_name (&m_fun), m_index, get_stack_depth ());
    1373                 :        4061 : }
    1374                 :             : 
    1375                 :             : void
    1376                 :           0 : frame_region::print_dump_widget_label (pretty_printer *pp) const
    1377                 :             : {
    1378                 :           0 :   pp_printf (pp, "frame_region(%qs, index: %i, depth: %i)",
    1379                 :           0 :              function_name (&m_fun), m_index, get_stack_depth ());
    1380                 :           0 : }
    1381                 :             : 
    1382                 :             : const decl_region *
    1383                 :     1291096 : frame_region::get_region_for_local (region_model_manager *mgr,
    1384                 :             :                                     tree expr,
    1385                 :             :                                     const region_model_context *ctxt) const
    1386                 :             : {
    1387                 :     1291096 :   if (CHECKING_P)
    1388                 :             :     {
    1389                 :             :       /* Verify that EXPR is a local or SSA name, and that it's for the
    1390                 :             :          correct function for this stack frame.  */
    1391                 :     1291096 :       gcc_assert (TREE_CODE (expr) == PARM_DECL
    1392                 :             :                   || TREE_CODE (expr) == VAR_DECL
    1393                 :             :                   || TREE_CODE (expr) == SSA_NAME
    1394                 :             :                   || TREE_CODE (expr) == RESULT_DECL);
    1395                 :     1291096 :       switch (TREE_CODE (expr))
    1396                 :             :         {
    1397                 :           0 :         default:
    1398                 :           0 :           gcc_unreachable ();
    1399                 :       76312 :         case VAR_DECL:
    1400                 :       76312 :           gcc_assert (!is_global_var (expr));
    1401                 :             :           /* Fall through.  */
    1402                 :      105354 :         case PARM_DECL:
    1403                 :      105354 :         case RESULT_DECL:
    1404                 :      105354 :           gcc_assert (DECL_CONTEXT (expr) == m_fun.decl);
    1405                 :             :           break;
    1406                 :     1185742 :         case SSA_NAME:
    1407                 :     1185742 :           {
    1408                 :     1185742 :             if (tree var = SSA_NAME_VAR (expr))
    1409                 :             :               {
    1410                 :      563589 :                 if (DECL_P (var))
    1411                 :      563589 :                   gcc_assert (DECL_CONTEXT (var) == m_fun.decl);
    1412                 :             :               }
    1413                 :      622153 :             else if (ctxt)
    1414                 :      321133 :               if (const extrinsic_state *ext_state = ctxt->get_ext_state ())
    1415                 :      318444 :                 if (const supergraph *sg
    1416                 :      318444 :                     = ext_state->get_engine ()->get_supergraph ())
    1417                 :             :                   {
    1418                 :      318444 :                     const gimple *def_stmt = SSA_NAME_DEF_STMT (expr);
    1419                 :      318444 :                     const supernode *snode
    1420                 :      318444 :                       = sg->get_supernode_for_stmt (def_stmt);
    1421                 :      318444 :                     gcc_assert (snode->get_function () == &m_fun);
    1422                 :             :                   }
    1423                 :             :           }
    1424                 :             :           break;
    1425                 :             :         }
    1426                 :             :     }
    1427                 :             : 
    1428                 :             :   /* Ideally we'd use mutable here.  */
    1429                 :     1291096 :   map_t &mutable_locals = const_cast <map_t &> (m_locals);
    1430                 :             : 
    1431                 :     1291096 :   if (decl_region **slot = mutable_locals.get (expr))
    1432                 :     1194900 :     return *slot;
    1433                 :       96196 :   decl_region *reg
    1434                 :       96196 :     = new decl_region (mgr->alloc_symbol_id (), this, expr);
    1435                 :       96196 :   mutable_locals.put (expr, reg);
    1436                 :       96196 :   return reg;
    1437                 :             : }
    1438                 :             : 
    1439                 :             : /* class globals_region : public space_region.  */
    1440                 :             : 
    1441                 :             : /* Implementation of region::dump_to_pp vfunc for globals_region.  */
    1442                 :             : 
    1443                 :             : void
    1444                 :        2079 : globals_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1445                 :             : {
    1446                 :        2079 :   if (simple)
    1447                 :         996 :     pp_string (pp, "::");
    1448                 :             :   else
    1449                 :        1083 :     pp_string (pp, "globals");
    1450                 :        2079 : }
    1451                 :             : 
    1452                 :             : void
    1453                 :           0 : globals_region::print_dump_widget_label (pretty_printer *pp) const
    1454                 :             : {
    1455                 :           0 :   pp_string (pp, "globals");
    1456                 :           0 : }
    1457                 :             : 
    1458                 :             : /* class code_region : public map_region.  */
    1459                 :             : 
    1460                 :             : /* Implementation of region::dump_to_pp vfunc for code_region.  */
    1461                 :             : 
    1462                 :             : void
    1463                 :           0 : code_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1464                 :             : {
    1465                 :           0 :   if (simple)
    1466                 :           0 :     pp_string (pp, "code region");
    1467                 :             :   else
    1468                 :           0 :     pp_string (pp, "code_region()");
    1469                 :           0 : }
    1470                 :             : 
    1471                 :             : void
    1472                 :           0 : code_region::print_dump_widget_label (pretty_printer *pp) const
    1473                 :             : {
    1474                 :           0 :   pp_string (pp, "code region");
    1475                 :           0 : }
    1476                 :             : 
    1477                 :             : /* class function_region : public region.  */
    1478                 :             : 
    1479                 :             : /* Implementation of region::dump_to_pp vfunc for function_region.  */
    1480                 :             : 
    1481                 :             : void
    1482                 :         326 : function_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1483                 :             : {
    1484                 :         326 :   if (simple)
    1485                 :             :     {
    1486                 :         326 :       dump_quoted_tree (pp, m_fndecl);
    1487                 :             :     }
    1488                 :             :   else
    1489                 :             :     {
    1490                 :           0 :       pp_string (pp, "function_region(");
    1491                 :           0 :       dump_quoted_tree (pp, m_fndecl);
    1492                 :           0 :       pp_string (pp, ")");
    1493                 :             :     }
    1494                 :         326 : }
    1495                 :             : 
    1496                 :             : void
    1497                 :           0 : function_region::print_dump_widget_label (pretty_printer *pp) const
    1498                 :             : {
    1499                 :           0 :   pp_string (pp, "function_region(");
    1500                 :           0 :   dump_quoted_tree (pp, m_fndecl);
    1501                 :           0 :   pp_string (pp, ")");
    1502                 :           0 : }
    1503                 :             : 
    1504                 :             : /* class label_region : public region.  */
    1505                 :             : 
    1506                 :             : /* Implementation of region::dump_to_pp vfunc for label_region.  */
    1507                 :             : 
    1508                 :             : void
    1509                 :           0 : label_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1510                 :             : {
    1511                 :           0 :   if (simple)
    1512                 :             :     {
    1513                 :           0 :       dump_quoted_tree (pp, m_label);
    1514                 :             :     }
    1515                 :             :   else
    1516                 :             :     {
    1517                 :           0 :       pp_string (pp, "label_region(");
    1518                 :           0 :       dump_quoted_tree (pp, m_label);
    1519                 :           0 :       pp_string (pp, ")");
    1520                 :             :     }
    1521                 :           0 : }
    1522                 :             : 
    1523                 :             : void
    1524                 :           0 : label_region::print_dump_widget_label (pretty_printer *pp) const
    1525                 :             : {
    1526                 :           0 :   pp_string (pp, "label_region(");
    1527                 :           0 :   dump_quoted_tree (pp, m_label);
    1528                 :           0 :   pp_string (pp, ")");
    1529                 :           0 : }
    1530                 :             : 
    1531                 :             : /* class stack_region : public region.  */
    1532                 :             : 
    1533                 :             : /* Implementation of region::dump_to_pp vfunc for stack_region.  */
    1534                 :             : 
    1535                 :             : void
    1536                 :           0 : stack_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1537                 :             : {
    1538                 :           0 :   if (simple)
    1539                 :           0 :     pp_string (pp, "stack region");
    1540                 :             :   else
    1541                 :           0 :     pp_string (pp, "stack_region()");
    1542                 :           0 : }
    1543                 :             : 
    1544                 :             : void
    1545                 :           0 : stack_region::print_dump_widget_label (pretty_printer *pp) const
    1546                 :             : {
    1547                 :           0 :   pp_string (pp, "stack region");
    1548                 :           0 : }
    1549                 :             : 
    1550                 :             : /* class heap_region : public region.  */
    1551                 :             : 
    1552                 :             : /* Implementation of region::dump_to_pp vfunc for heap_region.  */
    1553                 :             : 
    1554                 :             : void
    1555                 :         184 : heap_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1556                 :             : {
    1557                 :         184 :   if (simple)
    1558                 :         184 :     pp_string (pp, "heap region");
    1559                 :             :   else
    1560                 :           0 :     pp_string (pp, "heap_region()");
    1561                 :         184 : }
    1562                 :             : 
    1563                 :             : void
    1564                 :           0 : heap_region::print_dump_widget_label (pretty_printer *pp) const
    1565                 :             : {
    1566                 :           0 :   pp_string (pp, "heap_region");
    1567                 :           0 : }
    1568                 :             : 
    1569                 :             : /* class root_region : public region.  */
    1570                 :             : 
    1571                 :             : /* root_region's ctor.  */
    1572                 :             : 
    1573                 :        3769 : root_region::root_region (symbol::id_t id)
    1574                 :        3769 : : region (complexity (1, 1), id, NULL, NULL_TREE)
    1575                 :             : {
    1576                 :        3769 : }
    1577                 :             : 
    1578                 :             : /* Implementation of region::dump_to_pp vfunc for root_region.  */
    1579                 :             : 
    1580                 :             : void
    1581                 :        1393 : root_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1582                 :             : {
    1583                 :        1393 :   if (simple)
    1584                 :        1273 :     pp_string (pp, "root region");
    1585                 :             :   else
    1586                 :         120 :     pp_string (pp, "root_region()");
    1587                 :        1393 : }
    1588                 :             : 
    1589                 :             : void
    1590                 :           0 : root_region::print_dump_widget_label (pretty_printer *pp) const
    1591                 :             : {
    1592                 :           0 :   pp_string (pp, "root region");
    1593                 :           0 : }
    1594                 :             : 
    1595                 :             : /* class thread_local_region : public space_region.  */
    1596                 :             : 
    1597                 :             : void
    1598                 :           0 : thread_local_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1599                 :             : {
    1600                 :           0 :   if (simple)
    1601                 :           0 :     pp_string (pp, "thread_local_region");
    1602                 :             :   else
    1603                 :           0 :     pp_string (pp, "thread_local_region()");
    1604                 :           0 : }
    1605                 :             : 
    1606                 :             : void
    1607                 :           0 : thread_local_region::print_dump_widget_label (pretty_printer *pp) const
    1608                 :             : {
    1609                 :           0 :   pp_string (pp, "thread_local_region");
    1610                 :           0 : }
    1611                 :             : 
    1612                 :             : /* class symbolic_region : public map_region.  */
    1613                 :             : 
    1614                 :             : /* symbolic_region's ctor.  */
    1615                 :             : 
    1616                 :        8019 : symbolic_region::symbolic_region (symbol::id_t id, region *parent,
    1617                 :        8019 :                                   const svalue *sval_ptr)
    1618                 :        8019 : : region (complexity::from_pair (parent, sval_ptr), id, parent,
    1619                 :        8019 :           (sval_ptr->get_type ()
    1620                 :        7938 :            ? TREE_TYPE (sval_ptr->get_type ())
    1621                 :             :            : NULL_TREE)),
    1622                 :       23976 :   m_sval_ptr (sval_ptr)
    1623                 :             : {
    1624                 :        8019 : }
    1625                 :             : 
    1626                 :             : /* Implementation of region::accept vfunc for symbolic_region.  */
    1627                 :             : 
    1628                 :             : void
    1629                 :      678464 : symbolic_region::accept (visitor *v) const
    1630                 :             : {
    1631                 :      678464 :   region::accept (v);
    1632                 :      678464 :   m_sval_ptr->accept (v);
    1633                 :      678464 : }
    1634                 :             : 
    1635                 :             : /* Implementation of region::dump_to_pp vfunc for symbolic_region.  */
    1636                 :             : 
    1637                 :             : void
    1638                 :        6825 : symbolic_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1639                 :             : {
    1640                 :        6825 :   if (simple)
    1641                 :             :     {
    1642                 :        6705 :       pp_string (pp, "(*");
    1643                 :        6705 :       m_sval_ptr->dump_to_pp (pp, simple);
    1644                 :        6705 :       pp_string (pp, ")");
    1645                 :             :     }
    1646                 :             :   else
    1647                 :             :     {
    1648                 :         120 :       pp_string (pp, "symbolic_region(");
    1649                 :         120 :       get_parent_region ()->dump_to_pp (pp, simple);
    1650                 :         120 :       if (get_type ())
    1651                 :             :         {
    1652                 :         120 :           pp_string (pp, ", ");
    1653                 :         120 :           print_quoted_type (pp, get_type ());
    1654                 :             :         }
    1655                 :         120 :       pp_string (pp, ", ");
    1656                 :         120 :       m_sval_ptr->dump_to_pp (pp, simple);
    1657                 :         120 :       pp_string (pp, ")");
    1658                 :             :     }
    1659                 :        6825 : }
    1660                 :             : 
    1661                 :             : void
    1662                 :           0 : symbolic_region::print_dump_widget_label (pretty_printer *pp) const
    1663                 :             : {
    1664                 :           0 :   pp_string (pp, "symbolic_region: %<*%>");
    1665                 :           0 : }
    1666                 :             : 
    1667                 :             : void
    1668                 :           0 : symbolic_region::
    1669                 :             : add_dump_widget_children (text_art::tree_widget &w,
    1670                 :             :                           const text_art::dump_widget_info &dwi) const
    1671                 :             : {
    1672                 :           0 :   w.add_child (m_sval_ptr->make_dump_widget (dwi, "m_sval_ptr"));
    1673                 :           0 : }
    1674                 :             : 
    1675                 :             : /* class decl_region : public region.  */
    1676                 :             : 
    1677                 :             : /* Implementation of region::dump_to_pp vfunc for decl_region.  */
    1678                 :             : 
    1679                 :             : void
    1680                 :       21174 : decl_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1681                 :             : {
    1682                 :       21174 :   if (simple)
    1683                 :       20090 :     pp_printf (pp, "%E", m_decl);
    1684                 :             :   else
    1685                 :             :     {
    1686                 :        1084 :       pp_string (pp, "decl_region(");
    1687                 :        1084 :       get_parent_region ()->dump_to_pp (pp, simple);
    1688                 :        1084 :       pp_string (pp, ", ");
    1689                 :        1084 :       print_quoted_type (pp, get_type ());
    1690                 :        1084 :       pp_printf (pp, ", %qE)", m_decl);
    1691                 :             :     }
    1692                 :       21174 : }
    1693                 :             : 
    1694                 :             : void
    1695                 :           0 : decl_region::print_dump_widget_label (pretty_printer *pp) const
    1696                 :             : {
    1697                 :           0 :   pp_printf (pp, "decl_region(%qE)", m_decl);
    1698                 :           0 : }
    1699                 :             : 
    1700                 :             : /* Get the stack depth for the frame containing this decl, or 0
    1701                 :             :    for a global.  */
    1702                 :             : 
    1703                 :             : int
    1704                 :       11078 : decl_region::get_stack_depth () const
    1705                 :             : {
    1706                 :       11078 :   if (get_parent_region () == NULL)
    1707                 :             :     return 0;
    1708                 :       22156 :   if (const frame_region *frame_reg
    1709                 :       11078 :         = get_parent_region ()->dyn_cast_frame_region ())
    1710                 :       10552 :     return frame_reg->get_stack_depth ();
    1711                 :             :   return 0;
    1712                 :             : }
    1713                 :             : 
    1714                 :             : /* If the underlying decl is in the global constant pool,
    1715                 :             :    return an svalue representing the constant value.
    1716                 :             :    Otherwise return NULL.  */
    1717                 :             : 
    1718                 :             : const svalue *
    1719                 :     2956397 : decl_region::maybe_get_constant_value (region_model_manager *mgr) const
    1720                 :             : {
    1721                 :     2956397 :   if (VAR_P (m_decl)
    1722                 :      409567 :       && DECL_IN_CONSTANT_POOL (m_decl)
    1723                 :           4 :       && DECL_INITIAL (m_decl)
    1724                 :     2956401 :       && TREE_CODE (DECL_INITIAL (m_decl)) == CONSTRUCTOR)
    1725                 :           4 :     return get_svalue_for_constructor (DECL_INITIAL (m_decl), mgr);
    1726                 :             :   return NULL;
    1727                 :             : }
    1728                 :             : 
    1729                 :             : /* Implementation of decl_region::get_svalue_for_constructor
    1730                 :             :    for when the cached value hasn't yet been calculated.  */
    1731                 :             : 
    1732                 :             : const svalue *
    1733                 :         105 : decl_region::calc_svalue_for_constructor (tree ctor,
    1734                 :             :                                           region_model_manager *mgr) const
    1735                 :             : {
    1736                 :             :   /* Create a binding map, applying ctor to it, using this
    1737                 :             :      decl_region as the base region when building child regions
    1738                 :             :      for offset calculations.  */
    1739                 :         105 :   binding_map map;
    1740                 :         105 :   if (!map.apply_ctor_to_region (this, ctor, mgr))
    1741                 :           1 :     return mgr->get_or_create_unknown_svalue (get_type ());
    1742                 :             : 
    1743                 :             :   /* Return a compound svalue for the map we built.  */
    1744                 :         104 :   return mgr->get_or_create_compound_svalue (get_type (), map);
    1745                 :         105 : }
    1746                 :             : 
    1747                 :             : /* Get an svalue for CTOR, a CONSTRUCTOR for this region's decl.  */
    1748                 :             : 
    1749                 :             : const svalue *
    1750                 :         191 : decl_region::get_svalue_for_constructor (tree ctor,
    1751                 :             :                                          region_model_manager *mgr) const
    1752                 :             : {
    1753                 :         191 :   gcc_assert (!TREE_CLOBBER_P (ctor));
    1754                 :         191 :   gcc_assert (ctor == DECL_INITIAL (m_decl));
    1755                 :             : 
    1756                 :         191 :   if (!m_ctor_svalue)
    1757                 :         105 :     m_ctor_svalue = calc_svalue_for_constructor (ctor, mgr);
    1758                 :             : 
    1759                 :         191 :   return m_ctor_svalue;
    1760                 :             : }
    1761                 :             : 
    1762                 :             : /* For use on decl_regions for global variables.
    1763                 :             : 
    1764                 :             :    Get an svalue for the initial value of this region at entry to
    1765                 :             :    "main" (either based on DECL_INITIAL, or implicit initialization to
    1766                 :             :    zero.
    1767                 :             : 
    1768                 :             :    Return NULL if there is a problem.  */
    1769                 :             : 
    1770                 :             : const svalue *
    1771                 :         336 : decl_region::get_svalue_for_initializer (region_model_manager *mgr) const
    1772                 :             : {
    1773                 :         336 :   tree init = DECL_INITIAL (m_decl);
    1774                 :         336 :   if (!init)
    1775                 :             :     {
    1776                 :             :       /* If we have an "extern" decl then there may be an initializer in
    1777                 :             :          another TU.  */
    1778                 :          72 :       if (DECL_EXTERNAL (m_decl))
    1779                 :             :         return NULL;
    1780                 :             : 
    1781                 :          33 :       if (empty_p ())
    1782                 :             :         return NULL;
    1783                 :             : 
    1784                 :             :       /* Implicit initialization to zero; use a compound_svalue for it.
    1785                 :             :          Doing so requires that we have a concrete binding for this region,
    1786                 :             :          which can fail if we have a region with unknown size
    1787                 :             :          (e.g. "extern const char arr[];").  */
    1788                 :          33 :       const binding_key *binding
    1789                 :          33 :         = binding_key::make (mgr->get_store_manager (), this);
    1790                 :          33 :       if (binding->symbolic_p ())
    1791                 :             :         return NULL;
    1792                 :             : 
    1793                 :             :       /* If we don't care about tracking the content of this region, then
    1794                 :             :          it's unused, and the value doesn't matter.  */
    1795                 :          33 :       if (!tracked_p ())
    1796                 :             :         return NULL;
    1797                 :             : 
    1798                 :          33 :       binding_cluster c (this);
    1799                 :          33 :       c.zero_fill_region (mgr->get_store_manager (), this);
    1800                 :          33 :       return mgr->get_or_create_compound_svalue (TREE_TYPE (m_decl),
    1801                 :             :                                                  c.get_map ());
    1802                 :          33 :     }
    1803                 :             : 
    1804                 :             :   /* LTO can write out error_mark_node as the DECL_INITIAL for simple scalar
    1805                 :             :      values (to avoid writing out an extra section).  */
    1806                 :         264 :   if (init == error_mark_node)
    1807                 :             :     return NULL;
    1808                 :             : 
    1809                 :         260 :   if (TREE_CODE (init) == CONSTRUCTOR)
    1810                 :         187 :     return get_svalue_for_constructor (init, mgr);
    1811                 :             : 
    1812                 :             :   /* Reuse the get_rvalue logic from region_model.  */
    1813                 :          73 :   region_model m (mgr);
    1814                 :          73 :   return m.get_rvalue (path_var (init, 0), NULL);
    1815                 :          73 : }
    1816                 :             : 
    1817                 :             : /* Subroutine of symnode_requires_tracking_p; return true if REF
    1818                 :             :    might imply that we should be tracking the value of its decl.  */
    1819                 :             : 
    1820                 :             : static bool
    1821                 :        4163 : ipa_ref_requires_tracking (ipa_ref *ref)
    1822                 :             : {
    1823                 :             :   /* If we have a load/store/alias of the symbol, then we'll track
    1824                 :             :      the decl's value.  */
    1825                 :        4163 :   if (ref->use != IPA_REF_ADDR)
    1826                 :             :     return true;
    1827                 :             : 
    1828                 :        4132 :   if (ref->stmt == NULL)
    1829                 :             :     return true;
    1830                 :             : 
    1831                 :        4132 :   switch (ref->stmt->code)
    1832                 :             :     {
    1833                 :             :     default:
    1834                 :             :       return true;
    1835                 :        4101 :     case GIMPLE_CALL:
    1836                 :        4101 :       {
    1837                 :        4148 :         cgraph_node *caller_cnode = dyn_cast <cgraph_node *> (ref->referring);
    1838                 :        4101 :         if (caller_cnode == NULL)
    1839                 :             :           return true;
    1840                 :        4101 :         cgraph_edge *edge = caller_cnode->get_edge (ref->stmt);
    1841                 :        4101 :         if (!edge)
    1842                 :             :           return true;
    1843                 :        4101 :         if (edge->callee == NULL)
    1844                 :             :           return true; /* e.g. call through function ptr.  */
    1845                 :        4100 :         if (edge->callee->definition)
    1846                 :             :           return true;
    1847                 :             :         /* If we get here, then this ref is a pointer passed to
    1848                 :             :            a function we don't have the definition for.  */
    1849                 :             :         return false;
    1850                 :             :       }
    1851                 :          17 :       break;
    1852                 :          17 :     case GIMPLE_ASM:
    1853                 :          17 :       {
    1854                 :          17 :         const gasm *asm_stmt = as_a <const gasm *> (ref->stmt);
    1855                 :          17 :         if (gimple_asm_noutputs (asm_stmt) > 0)
    1856                 :             :           return true;
    1857                 :          17 :         if (gimple_asm_nclobbers (asm_stmt) > 0)
    1858                 :             :           return true;
    1859                 :             :         /* If we get here, then this ref is the decl being passed
    1860                 :             :            by pointer to asm with no outputs.  */
    1861                 :             :         return false;
    1862                 :             :       }
    1863                 :             :       break;
    1864                 :             :     }
    1865                 :             : }
    1866                 :             : 
    1867                 :             : /* Determine if the decl for SYMNODE should have binding_clusters
    1868                 :             :    in our state objects; return false to optimize away tracking
    1869                 :             :    certain decls in our state objects, as an optimization.  */
    1870                 :             : 
    1871                 :             : static bool
    1872                 :        5332 : symnode_requires_tracking_p (symtab_node *symnode)
    1873                 :             : {
    1874                 :        5332 :   gcc_assert (symnode);
    1875                 :        5332 :   if (symnode->externally_visible)
    1876                 :             :     return true;
    1877                 :        4673 :   tree context_fndecl = DECL_CONTEXT (symnode->decl);
    1878                 :        4673 :   if (context_fndecl == NULL)
    1879                 :             :     return true;
    1880                 :        4660 :   if (TREE_CODE (context_fndecl) != FUNCTION_DECL)
    1881                 :             :     return true;
    1882                 :       16476 :   for (auto ref : symnode->ref_list.referring)
    1883                 :        4163 :     if (ipa_ref_requires_tracking (ref))
    1884                 :             :       return true;
    1885                 :             : 
    1886                 :             :   /* If we get here, then we don't have uses of this decl that require
    1887                 :             :      tracking; we never read from it or write to it explicitly.  */
    1888                 :             :   return false;
    1889                 :             : }
    1890                 :             : 
    1891                 :             : /* Subroutine of decl_region ctor: determine whether this decl_region
    1892                 :             :    can have binding_clusters; return false to optimize away tracking
    1893                 :             :    of certain decls in our state objects, as an optimization.  */
    1894                 :             : 
    1895                 :             : bool
    1896                 :      102452 : decl_region::calc_tracked_p (tree decl)
    1897                 :             : {
    1898                 :             :   /* Precondition of symtab_node::get.  */
    1899                 :      102452 :   if (TREE_CODE (decl) == VAR_DECL
    1900                 :      102452 :       && (TREE_STATIC (decl) || DECL_EXTERNAL (decl) || in_lto_p))
    1901                 :        6258 :     if (symtab_node *symnode = symtab_node::get (decl))
    1902                 :        5332 :       return symnode_requires_tracking_p (symnode);
    1903                 :             :   return true;
    1904                 :             : }
    1905                 :             : 
    1906                 :             : /* class field_region : public region.  */
    1907                 :             : 
    1908                 :             : /* Implementation of region::dump_to_pp vfunc for field_region.  */
    1909                 :             : 
    1910                 :             : void
    1911                 :        2720 : field_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1912                 :             : {
    1913                 :        2720 :   if (simple)
    1914                 :             :     {
    1915                 :        2720 :       get_parent_region ()->dump_to_pp (pp, simple);
    1916                 :        2720 :       pp_string (pp, ".");
    1917                 :        2720 :       pp_printf (pp, "%E", m_field);
    1918                 :             :     }
    1919                 :             :   else
    1920                 :             :     {
    1921                 :           0 :       pp_string (pp, "field_region(");
    1922                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    1923                 :           0 :       pp_string (pp, ", ");
    1924                 :           0 :       print_quoted_type (pp, get_type ());
    1925                 :           0 :       pp_printf (pp, ", %qE)", m_field);
    1926                 :             :     }
    1927                 :        2720 : }
    1928                 :             : 
    1929                 :             : void
    1930                 :           0 : field_region::print_dump_widget_label (pretty_printer *pp) const
    1931                 :             : {
    1932                 :           0 :   pp_printf (pp, "field_region(%qE)", m_field);
    1933                 :           0 : }
    1934                 :             : 
    1935                 :             : /* Implementation of region::get_relative_concrete_offset vfunc
    1936                 :             :    for field_region.  */
    1937                 :             : 
    1938                 :             : bool
    1939                 :        8423 : field_region::get_relative_concrete_offset (bit_offset_t *out) const
    1940                 :             : {
    1941                 :             :   /* Compare with e.g. gimple-fold.cc's
    1942                 :             :      fold_nonarray_ctor_reference.  */
    1943                 :        8423 :   tree byte_offset = DECL_FIELD_OFFSET (m_field);
    1944                 :        8423 :   if (TREE_CODE (byte_offset) != INTEGER_CST)
    1945                 :             :     return false;
    1946                 :        8421 :   tree field_offset = DECL_FIELD_BIT_OFFSET (m_field);
    1947                 :             :   /* Compute bit offset of the field.  */
    1948                 :        8421 :   offset_int bitoffset
    1949                 :        8421 :     = (wi::to_offset (field_offset)
    1950                 :        8421 :        + (wi::to_offset (byte_offset) << LOG2_BITS_PER_UNIT));
    1951                 :        8421 :   *out = bitoffset;
    1952                 :        8421 :   return true;
    1953                 :             : }
    1954                 :             : 
    1955                 :             : 
    1956                 :             : /* Implementation of region::get_relative_symbolic_offset vfunc
    1957                 :             :    for field_region.
    1958                 :             :    If known, the returned svalue is equal to the offset converted to bytes and
    1959                 :             :    rounded off.  */
    1960                 :             : 
    1961                 :             : const svalue *
    1962                 :         349 : field_region::get_relative_symbolic_offset (region_model_manager *mgr) const
    1963                 :             : {
    1964                 :         349 :   bit_offset_t out;
    1965                 :         349 :   if (get_relative_concrete_offset (&out))
    1966                 :             :     {
    1967                 :         348 :       tree cst_tree
    1968                 :         348 :         = wide_int_to_tree (ptrdiff_type_node, out / BITS_PER_UNIT);
    1969                 :         348 :       return mgr->get_or_create_constant_svalue (cst_tree);
    1970                 :             :     }
    1971                 :           1 :   return mgr->get_or_create_unknown_svalue (ptrdiff_type_node);
    1972                 :             : }
    1973                 :             : 
    1974                 :             : /* class element_region : public region.  */
    1975                 :             : 
    1976                 :             : /* Implementation of region::accept vfunc for element_region.  */
    1977                 :             : 
    1978                 :             : void
    1979                 :      288744 : element_region::accept (visitor *v) const
    1980                 :             : {
    1981                 :      288744 :   region::accept (v);
    1982                 :      288744 :   m_index->accept (v);
    1983                 :      288744 : }
    1984                 :             : 
    1985                 :             : /* Implementation of region::dump_to_pp vfunc for element_region.  */
    1986                 :             : 
    1987                 :             : void
    1988                 :         206 : element_region::dump_to_pp (pretty_printer *pp, bool simple) const
    1989                 :             : {
    1990                 :         206 :   if (simple)
    1991                 :             :     {
    1992                 :             :       //pp_string (pp, "(");
    1993                 :         206 :       get_parent_region ()->dump_to_pp (pp, simple);
    1994                 :         206 :       pp_string (pp, "[");
    1995                 :         206 :       m_index->dump_to_pp (pp, simple);
    1996                 :         206 :       pp_string (pp, "]");
    1997                 :             :       //pp_string (pp, ")");
    1998                 :             :     }
    1999                 :             :   else
    2000                 :             :     {
    2001                 :           0 :       pp_string (pp, "element_region(");
    2002                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    2003                 :           0 :       pp_string (pp, ", ");
    2004                 :           0 :       print_quoted_type (pp, get_type ());
    2005                 :           0 :       pp_string (pp, ", ");
    2006                 :           0 :       m_index->dump_to_pp (pp, simple);
    2007                 :           0 :       pp_printf (pp, ")");
    2008                 :             :     }
    2009                 :         206 : }
    2010                 :             : 
    2011                 :             : void
    2012                 :           0 : element_region::print_dump_widget_label (pretty_printer *pp) const
    2013                 :             : {
    2014                 :           0 :   pp_printf (pp, "element_region: %<[]%>");
    2015                 :           0 : }
    2016                 :             : 
    2017                 :             : void
    2018                 :           0 : element_region::
    2019                 :             : add_dump_widget_children (text_art::tree_widget &w,
    2020                 :             :                           const text_art::dump_widget_info &dwi) const
    2021                 :             : {
    2022                 :           0 :   w.add_child (m_index->make_dump_widget (dwi, "m_index"));
    2023                 :           0 : }
    2024                 :             : 
    2025                 :             : /* Implementation of region::get_relative_concrete_offset vfunc
    2026                 :             :    for element_region.  */
    2027                 :             : 
    2028                 :             : bool
    2029                 :        4273 : element_region::get_relative_concrete_offset (bit_offset_t *out) const
    2030                 :             : {
    2031                 :        4273 :   if (tree idx_cst = m_index->maybe_get_constant ())
    2032                 :             :     {
    2033                 :        3038 :       gcc_assert (TREE_CODE (idx_cst) == INTEGER_CST);
    2034                 :             : 
    2035                 :        3038 :       tree elem_type = get_type ();
    2036                 :        3038 :       offset_int element_idx = wi::to_offset (idx_cst);
    2037                 :             : 
    2038                 :             :       /* First, use int_size_in_bytes, to reject the case where we
    2039                 :             :          have an incomplete type, or a non-constant value.  */
    2040                 :        3038 :       HOST_WIDE_INT hwi_byte_size = int_size_in_bytes (elem_type);
    2041                 :        3038 :       if (hwi_byte_size > 0)
    2042                 :             :         {
    2043                 :        3034 :           offset_int element_bit_size
    2044                 :        3034 :             = hwi_byte_size << LOG2_BITS_PER_UNIT;
    2045                 :        3034 :           offset_int element_bit_offset
    2046                 :        3034 :             = element_idx * element_bit_size;
    2047                 :        3034 :           *out = element_bit_offset;
    2048                 :        3034 :           return true;
    2049                 :             :         }
    2050                 :             :     }
    2051                 :             :   return false;
    2052                 :             : }
    2053                 :             : 
    2054                 :             : /* Implementation of region::get_relative_symbolic_offset vfunc
    2055                 :             :    for element_region.  */
    2056                 :             : 
    2057                 :             : const svalue *
    2058                 :        1215 : element_region::get_relative_symbolic_offset (region_model_manager *mgr) const
    2059                 :             : {
    2060                 :        1215 :   tree elem_type = get_type ();
    2061                 :             : 
    2062                 :             :   /* First, use int_size_in_bytes, to reject the case where we
    2063                 :             :      have an incomplete type, or a non-constant value.  */
    2064                 :        1215 :   HOST_WIDE_INT hwi_byte_size = int_size_in_bytes (elem_type);
    2065                 :        1215 :   if (hwi_byte_size > 0)
    2066                 :             :           {
    2067                 :        1201 :       tree byte_size_tree = wide_int_to_tree (ptrdiff_type_node,
    2068                 :             :                                               hwi_byte_size);
    2069                 :        1201 :       const svalue *byte_size_sval
    2070                 :        1201 :         = mgr->get_or_create_constant_svalue (byte_size_tree);
    2071                 :        1201 :       return mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
    2072                 :        1201 :                                        m_index, byte_size_sval);
    2073                 :             :     }
    2074                 :          14 :   return mgr->get_or_create_unknown_svalue (ptrdiff_type_node);
    2075                 :             : }
    2076                 :             : 
    2077                 :             : /* class offset_region : public region.  */
    2078                 :             : 
    2079                 :             : /* Implementation of region::accept vfunc for offset_region.  */
    2080                 :             : 
    2081                 :             : void
    2082                 :      100882 : offset_region::accept (visitor *v) const
    2083                 :             : {
    2084                 :      100882 :   region::accept (v);
    2085                 :      100882 :   m_byte_offset->accept (v);
    2086                 :      100882 : }
    2087                 :             : 
    2088                 :             : /* Implementation of region::dump_to_pp vfunc for offset_region.  */
    2089                 :             : 
    2090                 :             : void
    2091                 :        2292 : offset_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2092                 :             : {
    2093                 :        2292 :   if (simple)
    2094                 :             :     {
    2095                 :             :       //pp_string (pp, "(");
    2096                 :        2206 :       get_parent_region ()->dump_to_pp (pp, simple);
    2097                 :        2206 :       pp_string (pp, "+");
    2098                 :        2206 :       m_byte_offset->dump_to_pp (pp, simple);
    2099                 :             :       //pp_string (pp, ")");
    2100                 :             :     }
    2101                 :             :   else
    2102                 :             :     {
    2103                 :          86 :       pp_string (pp, "offset_region(");
    2104                 :          86 :       get_parent_region ()->dump_to_pp (pp, simple);
    2105                 :          86 :       pp_string (pp, ", ");
    2106                 :          86 :       print_quoted_type (pp, get_type ());
    2107                 :          86 :       pp_string (pp, ", ");
    2108                 :          86 :       m_byte_offset->dump_to_pp (pp, simple);
    2109                 :          86 :       pp_printf (pp, ")");
    2110                 :             :     }
    2111                 :        2292 : }
    2112                 :             : 
    2113                 :             : void
    2114                 :           0 : offset_region::print_dump_widget_label (pretty_printer *pp) const
    2115                 :             : {
    2116                 :           0 :   pp_printf (pp, "offset_region");
    2117                 :           0 : }
    2118                 :             : 
    2119                 :             : void
    2120                 :           0 : offset_region::
    2121                 :             : add_dump_widget_children (text_art::tree_widget &w,
    2122                 :             :                           const text_art::dump_widget_info &dwi) const
    2123                 :             : {
    2124                 :           0 :   w.add_child (m_byte_offset->make_dump_widget (dwi, "m_byte_offset"));
    2125                 :           0 : }
    2126                 :             : 
    2127                 :             : const svalue *
    2128                 :           0 : offset_region::get_bit_offset (region_model_manager *mgr) const
    2129                 :             : {
    2130                 :           0 :   const svalue *bits_per_byte_sval
    2131                 :           0 :     = mgr->get_or_create_int_cst (NULL_TREE, BITS_PER_UNIT);
    2132                 :           0 :   return mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
    2133                 :           0 :                                    m_byte_offset, bits_per_byte_sval);
    2134                 :             : }
    2135                 :             : 
    2136                 :             : /* Implementation of region::get_relative_concrete_offset vfunc
    2137                 :             :    for offset_region.  */
    2138                 :             : 
    2139                 :             : bool
    2140                 :        3697 : offset_region::get_relative_concrete_offset (bit_offset_t *out) const
    2141                 :             : {
    2142                 :        3697 :   if (tree byte_offset_cst = m_byte_offset->maybe_get_constant ())
    2143                 :             :     {
    2144                 :        2152 :       gcc_assert (TREE_CODE (byte_offset_cst) == INTEGER_CST);
    2145                 :             :       /* Use a signed value for the byte offset, to handle
    2146                 :             :          negative offsets.  */
    2147                 :        2152 :       HOST_WIDE_INT byte_offset
    2148                 :        2152 :         = wi::to_offset (byte_offset_cst).to_shwi ();
    2149                 :        2152 :       HOST_WIDE_INT bit_offset = byte_offset * BITS_PER_UNIT;
    2150                 :        2152 :       *out = bit_offset;
    2151                 :        2152 :       return true;
    2152                 :             :     }
    2153                 :             :   return false;
    2154                 :             : }
    2155                 :             : 
    2156                 :             : /* Implementation of region::get_relative_symbolic_offset vfunc
    2157                 :             :    for offset_region.  */
    2158                 :             : 
    2159                 :             : const svalue *
    2160                 :        1549 : offset_region::get_relative_symbolic_offset (region_model_manager *mgr
    2161                 :             :                                               ATTRIBUTE_UNUSED) const
    2162                 :             : {
    2163                 :        1549 :   return get_byte_offset ();
    2164                 :             : }
    2165                 :             : 
    2166                 :             : /* class sized_region : public region.  */
    2167                 :             : 
    2168                 :             : /* Implementation of region::accept vfunc for sized_region.  */
    2169                 :             : 
    2170                 :             : void
    2171                 :       15435 : sized_region::accept (visitor *v) const
    2172                 :             : {
    2173                 :       15435 :   region::accept (v);
    2174                 :       15435 :   m_byte_size_sval->accept (v);
    2175                 :       15435 : }
    2176                 :             : 
    2177                 :             : /* Implementation of region::dump_to_pp vfunc for sized_region.  */
    2178                 :             : 
    2179                 :             : void
    2180                 :          70 : sized_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2181                 :             : {
    2182                 :          70 :   if (simple)
    2183                 :             :     {
    2184                 :          70 :       pp_string (pp, "SIZED_REG(");
    2185                 :          70 :       get_parent_region ()->dump_to_pp (pp, simple);
    2186                 :          70 :       pp_string (pp, ", ");
    2187                 :          70 :       m_byte_size_sval->dump_to_pp (pp, simple);
    2188                 :          70 :       pp_string (pp, ")");
    2189                 :             :     }
    2190                 :             :   else
    2191                 :             :     {
    2192                 :           0 :       pp_string (pp, "sized_region(");
    2193                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    2194                 :           0 :       pp_string (pp, ", ");
    2195                 :           0 :       m_byte_size_sval->dump_to_pp (pp, simple);
    2196                 :           0 :       pp_printf (pp, ")");
    2197                 :             :     }
    2198                 :          70 : }
    2199                 :             : 
    2200                 :             : void
    2201                 :           0 : sized_region::print_dump_widget_label (pretty_printer *pp) const
    2202                 :             : {
    2203                 :           0 :   pp_printf (pp, "sized_region");
    2204                 :           0 : }
    2205                 :             : 
    2206                 :             : void
    2207                 :           0 : sized_region::
    2208                 :             : add_dump_widget_children (text_art::tree_widget &w,
    2209                 :             :                           const text_art::dump_widget_info &dwi) const
    2210                 :             : {
    2211                 :           0 :   w.add_child (m_byte_size_sval->make_dump_widget (dwi, "m_byte_size_sval"));
    2212                 :           0 : }
    2213                 :             : 
    2214                 :             : /* Implementation of region::get_byte_size vfunc for sized_region.  */
    2215                 :             : 
    2216                 :             : bool
    2217                 :       29450 : sized_region::get_byte_size (byte_size_t *out) const
    2218                 :             : {
    2219                 :       29450 :   if (tree cst = m_byte_size_sval->maybe_get_constant ())
    2220                 :             :     {
    2221                 :       23301 :       gcc_assert (TREE_CODE (cst) == INTEGER_CST);
    2222                 :       23301 :       *out = tree_to_uhwi (cst);
    2223                 :       23301 :       return true;
    2224                 :             :     }
    2225                 :             :   return false;
    2226                 :             : }
    2227                 :             : 
    2228                 :             : /* Implementation of region::get_bit_size vfunc for sized_region.  */
    2229                 :             : 
    2230                 :             : bool
    2231                 :       29450 : sized_region::get_bit_size (bit_size_t *out) const
    2232                 :             : {
    2233                 :       29450 :   byte_size_t byte_size;
    2234                 :       29450 :   if (!get_byte_size (&byte_size))
    2235                 :             :     return false;
    2236                 :       23301 :   *out = byte_size * BITS_PER_UNIT;
    2237                 :       23301 :   return true;
    2238                 :             : }
    2239                 :             : 
    2240                 :             : /* Implementation of region::get_bit_size_sval vfunc for sized_region.  */
    2241                 :             : 
    2242                 :             : const svalue *
    2243                 :        5535 : sized_region::get_bit_size_sval (region_model_manager *mgr) const
    2244                 :             : {
    2245                 :        5535 :   const svalue *bits_per_byte_sval
    2246                 :        5535 :     = mgr->get_or_create_int_cst (NULL_TREE, BITS_PER_UNIT);
    2247                 :        5535 :   return mgr->get_or_create_binop (NULL_TREE, MULT_EXPR,
    2248                 :        5535 :                                    m_byte_size_sval, bits_per_byte_sval);
    2249                 :             : }
    2250                 :             : 
    2251                 :             : /* class cast_region : public region.  */
    2252                 :             : 
    2253                 :             : /* Implementation of region::dump_to_pp vfunc for cast_region.  */
    2254                 :             : 
    2255                 :             : void
    2256                 :        1382 : cast_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2257                 :             : {
    2258                 :        1382 :   if (simple)
    2259                 :             :     {
    2260                 :        1338 :       pp_string (pp, "CAST_REG(");
    2261                 :        1338 :       print_quoted_type (pp, get_type ());
    2262                 :        1338 :       pp_string (pp, ", ");
    2263                 :        1338 :       get_parent_region ()->dump_to_pp (pp, simple);
    2264                 :        1338 :       pp_string (pp, ")");
    2265                 :             :     }
    2266                 :             :   else
    2267                 :             :     {
    2268                 :          44 :       pp_string (pp, "cast_region(");
    2269                 :          44 :       get_parent_region ()->dump_to_pp (pp, simple);
    2270                 :          44 :       pp_string (pp, ", ");
    2271                 :          44 :       print_quoted_type (pp, get_type ());
    2272                 :          44 :       pp_printf (pp, ")");
    2273                 :             :     }
    2274                 :        1382 : }
    2275                 :             : 
    2276                 :             : void
    2277                 :           0 : cast_region::print_dump_widget_label (pretty_printer *pp) const
    2278                 :             : {
    2279                 :           0 :   pp_printf (pp, "cast_region");
    2280                 :           0 : }
    2281                 :             : 
    2282                 :             : /* Implementation of region::get_relative_concrete_offset vfunc
    2283                 :             :    for cast_region.  */
    2284                 :             : 
    2285                 :             : bool
    2286                 :          20 : cast_region::get_relative_concrete_offset (bit_offset_t *out) const
    2287                 :             : {
    2288                 :          20 :   *out = (int) 0;
    2289                 :          20 :   return true;
    2290                 :             : }
    2291                 :             : 
    2292                 :             : /* class heap_allocated_region : public region.  */
    2293                 :             : 
    2294                 :             : /* Implementation of region::dump_to_pp vfunc for heap_allocated_region.  */
    2295                 :             : 
    2296                 :             : void
    2297                 :        2193 : heap_allocated_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2298                 :             : {
    2299                 :        2193 :   if (simple)
    2300                 :        2193 :     pp_printf (pp, "HEAP_ALLOCATED_REGION(%i)", get_id ());
    2301                 :             :   else
    2302                 :           0 :     pp_printf (pp, "heap_allocated_region(%i)", get_id ());
    2303                 :        2193 : }
    2304                 :             : 
    2305                 :             : void
    2306                 :           0 : heap_allocated_region::print_dump_widget_label (pretty_printer *pp) const
    2307                 :             : {
    2308                 :           0 :   pp_printf (pp, "heap_allocated_region");
    2309                 :           0 : }
    2310                 :             : 
    2311                 :             : /* class alloca_region : public region.  */
    2312                 :             : 
    2313                 :             : /* Implementation of region::dump_to_pp vfunc for alloca_region.  */
    2314                 :             : 
    2315                 :             : void
    2316                 :           0 : alloca_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2317                 :             : {
    2318                 :           0 :   if (simple)
    2319                 :           0 :     pp_printf (pp, "ALLOCA_REGION(%i)", get_id ());
    2320                 :             :   else
    2321                 :           0 :     pp_printf (pp, "alloca_region(%i)", get_id ());
    2322                 :           0 : }
    2323                 :             : 
    2324                 :             : void
    2325                 :           0 : alloca_region::print_dump_widget_label (pretty_printer *pp) const
    2326                 :             : {
    2327                 :           0 :   pp_printf (pp, "alloca_region");
    2328                 :           0 : }
    2329                 :             : 
    2330                 :             : /* class string_region : public region.  */
    2331                 :             : 
    2332                 :             : /* Implementation of region::dump_to_pp vfunc for string_region.  */
    2333                 :             : 
    2334                 :             : void
    2335                 :           0 : string_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2336                 :             : {
    2337                 :           0 :   if (simple)
    2338                 :           0 :     dump_tree (pp, m_string_cst);
    2339                 :             :   else
    2340                 :             :     {
    2341                 :           0 :       pp_string (pp, "string_region(");
    2342                 :           0 :       dump_tree (pp, m_string_cst);
    2343                 :           0 :       if (!flag_dump_noaddr)
    2344                 :             :         {
    2345                 :           0 :           pp_string (pp, " (");
    2346                 :           0 :           pp_pointer (pp, m_string_cst);
    2347                 :           0 :           pp_string (pp, "))");
    2348                 :             :         }
    2349                 :             :     }
    2350                 :           0 : }
    2351                 :             : 
    2352                 :             : void
    2353                 :           0 : string_region::print_dump_widget_label (pretty_printer *pp) const
    2354                 :             : {
    2355                 :           0 :   pp_string (pp, "string_region(");
    2356                 :           0 :   dump_tree (pp, m_string_cst);
    2357                 :           0 :   pp_string (pp, ")");
    2358                 :           0 : }
    2359                 :             : 
    2360                 :             : /* class bit_range_region : public region.  */
    2361                 :             : 
    2362                 :             : /* Implementation of region::dump_to_pp vfunc for bit_range_region.  */
    2363                 :             : 
    2364                 :             : void
    2365                 :           0 : bit_range_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2366                 :             : {
    2367                 :           0 :   if (simple)
    2368                 :             :     {
    2369                 :           0 :       pp_string (pp, "BIT_RANGE_REG(");
    2370                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    2371                 :           0 :       pp_string (pp, ", ");
    2372                 :           0 :       m_bits.dump_to_pp (pp);
    2373                 :           0 :       pp_string (pp, ")");
    2374                 :             :     }
    2375                 :             :   else
    2376                 :             :     {
    2377                 :           0 :       pp_string (pp, "bit_range_region(");
    2378                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    2379                 :           0 :       pp_string (pp, ", ");
    2380                 :           0 :       m_bits.dump_to_pp (pp);
    2381                 :           0 :       pp_printf (pp, ")");
    2382                 :             :     }
    2383                 :           0 : }
    2384                 :             : 
    2385                 :             : void
    2386                 :           0 : bit_range_region::print_dump_widget_label (pretty_printer *pp) const
    2387                 :             : {
    2388                 :           0 :   pp_printf (pp, "bit_range_region(m_bits: ");
    2389                 :           0 :   m_bits.dump_to_pp (pp);
    2390                 :           0 :   pp_string (pp, ")");
    2391                 :           0 : }
    2392                 :             : 
    2393                 :             : /* Implementation of region::get_byte_size vfunc for bit_range_region.  */
    2394                 :             : 
    2395                 :             : bool
    2396                 :           0 : bit_range_region::get_byte_size (byte_size_t *out) const
    2397                 :             : {
    2398                 :           0 :   if (m_bits.m_size_in_bits % BITS_PER_UNIT == 0)
    2399                 :             :     {
    2400                 :           0 :       *out = m_bits.m_size_in_bits / BITS_PER_UNIT;
    2401                 :           0 :       return true;
    2402                 :             :     }
    2403                 :             :   return false;
    2404                 :             : }
    2405                 :             : 
    2406                 :             : /* Implementation of region::get_bit_size vfunc for bit_range_region.  */
    2407                 :             : 
    2408                 :             : bool
    2409                 :         738 : bit_range_region::get_bit_size (bit_size_t *out) const
    2410                 :             : {
    2411                 :         738 :   *out = m_bits.m_size_in_bits;
    2412                 :         738 :   return true;
    2413                 :             : }
    2414                 :             : 
    2415                 :             : /* Implementation of region::get_byte_size_sval vfunc for bit_range_region.  */
    2416                 :             : 
    2417                 :             : const svalue *
    2418                 :          48 : bit_range_region::get_byte_size_sval (region_model_manager *mgr) const
    2419                 :             : {
    2420                 :          48 :   if (m_bits.m_size_in_bits % BITS_PER_UNIT != 0)
    2421                 :           0 :     return mgr->get_or_create_unknown_svalue (size_type_node);
    2422                 :             : 
    2423                 :          48 :   HOST_WIDE_INT num_bytes = m_bits.m_size_in_bits.to_shwi () / BITS_PER_UNIT;
    2424                 :          48 :   return mgr->get_or_create_int_cst (size_type_node, num_bytes);
    2425                 :             : }
    2426                 :             : 
    2427                 :             : /* Implementation of region::get_bit_size_sval vfunc for bit_range_region.  */
    2428                 :             : 
    2429                 :             : const svalue *
    2430                 :         136 : bit_range_region::get_bit_size_sval (region_model_manager *mgr) const
    2431                 :             : {
    2432                 :         136 :   return mgr->get_or_create_int_cst (size_type_node,
    2433                 :         136 :                                      m_bits.m_size_in_bits);
    2434                 :             : }
    2435                 :             : 
    2436                 :             : /* Implementation of region::get_relative_concrete_offset vfunc for
    2437                 :             :    bit_range_region.  */
    2438                 :             : 
    2439                 :             : bool
    2440                 :         136 : bit_range_region::get_relative_concrete_offset (bit_offset_t *out) const
    2441                 :             : {
    2442                 :         136 :   *out = m_bits.get_start_bit_offset ();
    2443                 :         136 :   return true;
    2444                 :             : }
    2445                 :             : 
    2446                 :             : /* Implementation of region::get_relative_symbolic_offset vfunc for
    2447                 :             :    bit_range_region.
    2448                 :             :    The returned svalue is equal to the offset converted to bytes and
    2449                 :             :    rounded off.  */
    2450                 :             : 
    2451                 :             : const svalue *
    2452                 :           0 : bit_range_region::get_relative_symbolic_offset (region_model_manager *mgr)
    2453                 :             :   const
    2454                 :             : {
    2455                 :           0 :   byte_offset_t start_byte = m_bits.get_start_bit_offset () / BITS_PER_UNIT;
    2456                 :           0 :   tree start_bit_tree = wide_int_to_tree (ptrdiff_type_node, start_byte);
    2457                 :           0 :   return mgr->get_or_create_constant_svalue (start_bit_tree);
    2458                 :             : }
    2459                 :             : 
    2460                 :             : /* class var_arg_region : public region.  */
    2461                 :             : 
    2462                 :             : void
    2463                 :           0 : var_arg_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2464                 :             : {
    2465                 :           0 :   if (simple)
    2466                 :             :     {
    2467                 :           0 :       pp_string (pp, "VAR_ARG_REG(");
    2468                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    2469                 :           0 :       pp_printf (pp, ", arg_idx: %d)", m_idx);
    2470                 :             :     }
    2471                 :             :   else
    2472                 :             :     {
    2473                 :           0 :       pp_string (pp, "var_arg_region(");
    2474                 :           0 :       get_parent_region ()->dump_to_pp (pp, simple);
    2475                 :           0 :       pp_printf (pp, ", arg_idx: %d)", m_idx);
    2476                 :             :     }
    2477                 :           0 : }
    2478                 :             : 
    2479                 :             : void
    2480                 :           0 : var_arg_region::print_dump_widget_label (pretty_printer *pp) const
    2481                 :             : {
    2482                 :           0 :   pp_printf (pp, "var_arg_region(arg_idx: %i)", m_idx);
    2483                 :           0 : }
    2484                 :             : 
    2485                 :             : /* Get the frame_region for this var_arg_region.  */
    2486                 :             : 
    2487                 :             : const frame_region *
    2488                 :         523 : var_arg_region::get_frame_region () const
    2489                 :             : {
    2490                 :         523 :   gcc_assert (get_parent_region ());
    2491                 :         523 :   return as_a <const frame_region *> (get_parent_region ());
    2492                 :             : }
    2493                 :             : 
    2494                 :             : /* class errno_region : public region.  */
    2495                 :             : 
    2496                 :             : void
    2497                 :           0 : errno_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2498                 :             : {
    2499                 :           0 :   if (simple)
    2500                 :           0 :     pp_string (pp, "errno_region");
    2501                 :             :   else
    2502                 :           0 :     pp_string (pp, "errno_region()");
    2503                 :           0 : }
    2504                 :             : 
    2505                 :             : void
    2506                 :           0 : errno_region::print_dump_widget_label (pretty_printer *pp) const
    2507                 :             : {
    2508                 :           0 :   pp_printf (pp, "errno_region");
    2509                 :           0 : }
    2510                 :             : 
    2511                 :             : /* class private_region : public region.  */
    2512                 :             : 
    2513                 :             : void
    2514                 :           0 : private_region::dump_to_pp (pretty_printer *pp, bool simple) const
    2515                 :             : {
    2516                 :           0 :   if (simple)
    2517                 :           0 :     pp_printf (pp, "PRIVATE_REG(%qs)", m_desc);
    2518                 :             :   else
    2519                 :           0 :     pp_printf (pp, "private_region(%qs)", m_desc);
    2520                 :           0 : }
    2521                 :             : 
    2522                 :             : void
    2523                 :           0 : private_region::print_dump_widget_label (pretty_printer *pp) const
    2524                 :             : {
    2525                 :           0 :   pp_printf (pp, "private_region(%qs)", m_desc);
    2526                 :           0 : }
    2527                 :             : 
    2528                 :             : /* class unknown_region : public region.  */
    2529                 :             : 
    2530                 :             : /* Implementation of region::dump_to_pp vfunc for unknown_region.  */
    2531                 :             : 
    2532                 :             : void
    2533                 :           0 : unknown_region::dump_to_pp (pretty_printer *pp, bool /*simple*/) const
    2534                 :             : {
    2535                 :           0 :   pp_string (pp, "UNKNOWN_REGION");
    2536                 :           0 : }
    2537                 :             : 
    2538                 :             : void
    2539                 :           0 : unknown_region::print_dump_widget_label (pretty_printer *pp) const
    2540                 :             : {
    2541                 :           0 :   pp_printf (pp, "unknown_region");
    2542                 :           0 : }
    2543                 :             : 
    2544                 :             : } // namespace ana
    2545                 :             : 
    2546                 :             : #endif /* #if ENABLE_ANALYZER */
        

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.