LCOV - code coverage report
Current view: top level - gcc/analyzer - program-point.cc (source / functions) Hit Total Coverage
Test: gcc.info Lines: 193 231 83.5 %
Date: 2020-03-28 11:57:23 Functions: 16 18 88.9 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Classes for representing locations within the program.
       2                 :            :    Copyright (C) 2019-2020 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                 :            : #include "system.h"
      23                 :            : #include "coretypes.h"
      24                 :            : #include "tree.h"
      25                 :            : #include "gimple-pretty-print.h"
      26                 :            : #include "gcc-rich-location.h"
      27                 :            : #include "analyzer/call-string.h"
      28                 :            : #include "ordered-hash-map.h"
      29                 :            : #include "options.h"
      30                 :            : #include "cgraph.h"
      31                 :            : #include "function.h"
      32                 :            : #include "cfg.h"
      33                 :            : #include "basic-block.h"
      34                 :            : #include "gimple.h"
      35                 :            : #include "gimple-iterator.h"
      36                 :            : #include "digraph.h"
      37                 :            : #include "analyzer/analyzer.h"
      38                 :            : #include "analyzer/analyzer-logging.h"
      39                 :            : #include "analyzer/supergraph.h"
      40                 :            : #include "analyzer/program-point.h"
      41                 :            : #include "sbitmap.h"
      42                 :            : #include "tristate.h"
      43                 :            : #include "selftest.h"
      44                 :            : #include "analyzer/region-model.h"
      45                 :            : #include "analyzer/sm.h"
      46                 :            : #include "analyzer/program-state.h"
      47                 :            : #include "alloc-pool.h"
      48                 :            : #include "fibonacci_heap.h"
      49                 :            : #include "diagnostic-event-id.h"
      50                 :            : #include "analyzer/pending-diagnostic.h"
      51                 :            : #include "analyzer/diagnostic-manager.h"
      52                 :            : #include "shortest-paths.h"
      53                 :            : #include "analyzer/exploded-graph.h"
      54                 :            : #include "analyzer/analysis-plan.h"
      55                 :            : 
      56                 :            : #if ENABLE_ANALYZER
      57                 :            : 
      58                 :            : namespace ana {
      59                 :            : 
      60                 :            : /* Get a string for PK.  */
      61                 :            : 
      62                 :            : const char *
      63                 :          0 : point_kind_to_string (enum point_kind pk)
      64                 :            : {
      65                 :          0 :   switch (pk)
      66                 :            :     {
      67                 :          0 :     default:
      68                 :          0 :       gcc_unreachable ();
      69                 :            :     case PK_ORIGIN:
      70                 :            :       return "PK_ORIGIN";
      71                 :          0 :     case PK_BEFORE_SUPERNODE:
      72                 :          0 :       return "PK_BEFORE_SUPERNODE";
      73                 :          0 :     case PK_BEFORE_STMT:
      74                 :          0 :       return "PK_BEFORE_STMT";
      75                 :          0 :     case PK_AFTER_SUPERNODE:
      76                 :          0 :       return "PK_AFTER_SUPERNODE";
      77                 :          0 :     case PK_EMPTY:
      78                 :          0 :       return "PK_EMPTY";
      79                 :          0 :     case PK_DELETED:
      80                 :          0 :       return "PK_DELETED";
      81                 :            :     }
      82                 :            : }
      83                 :            : 
      84                 :            : /* class function_point.  */
      85                 :            : 
      86                 :            : /* Print this function_point to PP.  */
      87                 :            : 
      88                 :            : void
      89                 :         77 : function_point::print (pretty_printer *pp, const format &f) const
      90                 :            : {
      91                 :         77 :   switch (get_kind ())
      92                 :            :     {
      93                 :          0 :     default:
      94                 :          0 :       gcc_unreachable ();
      95                 :            : 
      96                 :          1 :     case PK_ORIGIN:
      97                 :          1 :       pp_printf (pp, "origin");
      98                 :          1 :       break;
      99                 :            : 
     100                 :         28 :     case PK_BEFORE_SUPERNODE:
     101                 :         28 :       {
     102                 :         28 :         if (m_from_edge)
     103                 :         23 :           pp_printf (pp, "before SN: %i (from SN: %i)",
     104                 :         23 :                      m_supernode->m_index, m_from_edge->m_src->m_index);
     105                 :            :         else
     106                 :          5 :           pp_printf (pp, "before SN: %i (NULL from-edge)",
     107                 :          5 :                      m_supernode->m_index);
     108                 :         28 :         f.spacer (pp);
     109                 :         28 :         for (gphi_iterator gpi
     110                 :         28 :                = const_cast<supernode *>(get_supernode ())->start_phis ();
     111                 :         36 :              !gsi_end_p (gpi); gsi_next (&gpi))
     112                 :            :           {
     113                 :          8 :             const gphi *phi = gpi.phi ();
     114                 :          8 :             pp_gimple_stmt_1 (pp, phi, 0, (dump_flags_t)0);
     115                 :            :           }
     116                 :            :       }
     117                 :         28 :       break;
     118                 :            : 
     119                 :         23 :     case PK_BEFORE_STMT:
     120                 :         23 :       pp_printf (pp, "before (SN: %i stmt: %i): ", m_supernode->m_index,
     121                 :         23 :                  m_stmt_idx);
     122                 :         23 :       f.spacer (pp);
     123                 :         23 :       pp_gimple_stmt_1 (pp, get_stmt (), 0, (dump_flags_t)0);
     124                 :         23 :       if (f.m_newlines)
     125                 :            :         {
     126                 :         23 :           pp_newline (pp);
     127                 :         23 :           print_source_line (pp);
     128                 :            :         }
     129                 :            :       break;
     130                 :            : 
     131                 :         25 :     case PK_AFTER_SUPERNODE:
     132                 :         25 :       pp_printf (pp, "after SN: %i", m_supernode->m_index);
     133                 :         25 :       break;
     134                 :            :     }
     135                 :         77 : }
     136                 :            : 
     137                 :            : /* Generate a hash value for this function_point.  */
     138                 :            : 
     139                 :            : hashval_t
     140                 :     687797 : function_point::hash () const
     141                 :            : {
     142                 :     687797 :   inchash::hash hstate;
     143                 :     687797 :   if (m_supernode)
     144                 :     686028 :     hstate.add_int (m_supernode->m_index);
     145                 :     687797 :   hstate.add_ptr (m_from_edge);
     146                 :     687797 :   hstate.add_int (m_stmt_idx);
     147                 :     687797 :   hstate.add_int (m_kind);
     148                 :     687797 :   return hstate.end ();
     149                 :            : }
     150                 :            : 
     151                 :            : /* Get the gimple stmt for this function_point, if any.  */
     152                 :            : 
     153                 :            : const gimple *
     154                 :      72339 : function_point::get_stmt () const
     155                 :            : {
     156                 :      72339 :   if (m_kind == PK_BEFORE_STMT)
     157                 :      45324 :     return m_supernode->m_stmts[m_stmt_idx];
     158                 :      27015 :   else if (m_kind == PK_AFTER_SUPERNODE)
     159                 :      12977 :     return m_supernode->get_last_stmt ();
     160                 :            :   else
     161                 :            :     return NULL;
     162                 :            : }
     163                 :            : 
     164                 :            : /* Get a location for this function_point, if any.  */
     165                 :            : 
     166                 :            : location_t
     167                 :        243 : function_point::get_location () const
     168                 :            : {
     169                 :        243 :   const gimple *stmt = get_stmt ();
     170                 :        243 :   if (stmt)
     171                 :        239 :     return stmt->location;
     172                 :            : 
     173                 :            :   return UNKNOWN_LOCATION;
     174                 :            : }
     175                 :            : 
     176                 :            : /* A subclass of diagnostic_context for use by
     177                 :            :    program_point::print_source_line.  */
     178                 :            : 
     179                 :            : class debug_diagnostic_context : public diagnostic_context
     180                 :            : {
     181                 :            : public:
     182                 :         23 :   debug_diagnostic_context ()
     183                 :         23 :   {
     184                 :         23 :     diagnostic_initialize (this, 0);
     185                 :         23 :     show_line_numbers_p = true;
     186                 :         23 :     show_caret = true;
     187                 :            :   }
     188                 :         23 :   ~debug_diagnostic_context ()
     189                 :            :   {
     190                 :         23 :     diagnostic_finish (this);
     191                 :            :   }
     192                 :            : };
     193                 :            : 
     194                 :            : /* Print the source line (if any) for this function_point to PP.  */
     195                 :            : 
     196                 :            : void
     197                 :         23 : function_point::print_source_line (pretty_printer *pp) const
     198                 :            : {
     199                 :         23 :   const gimple *stmt = get_stmt ();
     200                 :         23 :   if (!stmt)
     201                 :          0 :     return;
     202                 :            :   // TODO: monospace font
     203                 :         46 :   debug_diagnostic_context tmp_dc;
     204                 :         46 :   gcc_rich_location richloc (stmt->location);
     205                 :         23 :   diagnostic_show_locus (&tmp_dc, &richloc, DK_ERROR);
     206                 :         23 :   pp_string (pp, pp_formatted_text (tmp_dc.printer));
     207                 :            : }
     208                 :            : 
     209                 :            : /* class program_point.  */
     210                 :            : 
     211                 :            : /* Print this program_point to PP.  */
     212                 :            : 
     213                 :            : void
     214                 :         77 : program_point::print (pretty_printer *pp, const format &f) const
     215                 :            : {
     216                 :         77 :   pp_string (pp, "callstring: ");
     217                 :         77 :   m_call_string.print (pp);
     218                 :         77 :   f.spacer (pp);
     219                 :            : 
     220                 :         77 :   m_function_point.print (pp, f);
     221                 :         77 : }
     222                 :            : 
     223                 :            : /* Dump this point to stderr.  */
     224                 :            : 
     225                 :            : DEBUG_FUNCTION void
     226                 :          0 : program_point::dump () const
     227                 :            : {
     228                 :          0 :   pretty_printer pp;
     229                 :          0 :   pp_show_color (&pp) = pp_show_color (global_dc->printer);
     230                 :          0 :   pp.buffer->stream = stderr;
     231                 :          0 :   print (&pp, format (true));
     232                 :          0 :   pp_flush (&pp);
     233                 :          0 : }
     234                 :            : 
     235                 :            : /* Generate a hash value for this program_point.  */
     236                 :            : 
     237                 :            : hashval_t
     238                 :     241171 : program_point::hash () const
     239                 :            : {
     240                 :     241171 :   inchash::hash hstate;
     241                 :     241171 :   hstate.merge_hash (m_function_point.hash ());
     242                 :     241171 :   hstate.merge_hash (m_call_string.hash ());
     243                 :     241171 :   return hstate.end ();
     244                 :            : }
     245                 :            : 
     246                 :            : /* Get the function * at DEPTH within the call stack.  */
     247                 :            : 
     248                 :            : function *
     249                 :      75780 : program_point::get_function_at_depth (unsigned depth) const
     250                 :            : {
     251                 :     110966 :   gcc_assert (depth <= m_call_string.length ());
     252                 :      75780 :   if (depth == m_call_string.length ())
     253                 :      54718 :     return m_function_point.get_function ();
     254                 :            :   else
     255                 :      21062 :     return m_call_string[depth]->get_caller_function ();
     256                 :            : }
     257                 :            : 
     258                 :            : /* Assert that this object is sane.  */
     259                 :            : 
     260                 :            : void
     261                 :      55472 : program_point::validate () const
     262                 :            : {
     263                 :            :   /* Skip this in a release build.  */
     264                 :            : #if !CHECKING_P
     265                 :            :   return;
     266                 :            : #endif
     267                 :            : 
     268                 :      55472 :   m_call_string.validate ();
     269                 :            :   /* The "callee" of the final entry in the callstring should be the
     270                 :            :      function of the m_function_point.  */
     271                 :      55472 :   if (m_call_string.length () > 0)
     272                 :      28248 :     gcc_assert (m_call_string[m_call_string.length () - 1]->get_callee_function ()
     273                 :            :                 == get_function ());
     274                 :      55472 : }
     275                 :            : 
     276                 :            : /* Check to see if SUCC is a valid edge to take (ensuring that we have
     277                 :            :    interprocedurally valid paths in the exploded graph, and enforcing
     278                 :            :    recursion limits).
     279                 :            : 
     280                 :            :    Update the call string if SUCC is a call or a return.
     281                 :            : 
     282                 :            :    Return true if SUCC can be taken, or false otherwise.
     283                 :            : 
     284                 :            :    This is the "point" half of exploded_node::on_edge.  */
     285                 :            : 
     286                 :            : bool
     287                 :      11448 : program_point::on_edge (exploded_graph &eg,
     288                 :            :                         const superedge *succ)
     289                 :            : {
     290                 :      11448 :   logger * const logger = eg.get_logger ();
     291                 :      22896 :   LOG_FUNC (logger);
     292                 :      11448 :   switch (succ->m_kind)
     293                 :            :     {
     294                 :       9570 :     case SUPEREDGE_CFG_EDGE:
     295                 :       9570 :       {
     296                 :       9570 :         const cfg_superedge *cfg_sedge = as_a <const cfg_superedge *> (succ);
     297                 :            : 
     298                 :            :         /* Reject abnormal edges; we special-case setjmp/longjmp.  */
     299                 :       9570 :         if (cfg_sedge->get_flags () & EDGE_ABNORMAL)
     300                 :         37 :           return false;
     301                 :            :       }
     302                 :            :       break;
     303                 :            : 
     304                 :        536 :     case SUPEREDGE_CALL:
     305                 :        536 :       {
     306                 :        536 :         const call_superedge *call_sedge = as_a <const call_superedge *> (succ);
     307                 :            : 
     308                 :        536 :         if (eg.get_analysis_plan ().use_summary_p (call_sedge->m_cedge))
     309                 :            :           {
     310                 :         12 :             if (logger)
     311                 :          0 :               logger->log ("rejecting call edge: using summary instead");
     312                 :         12 :             return false;
     313                 :            :           }
     314                 :            : 
     315                 :            :         /* Add the callsite to the call string.  */
     316                 :        524 :         m_call_string.push_call (eg.get_supergraph (), call_sedge);
     317                 :            : 
     318                 :            :         /* Impose a maximum recursion depth and don't analyze paths
     319                 :            :            that exceed it further.
     320                 :            :            This is something of a blunt workaround, but it only
     321                 :            :            applies to recursion (and mutual recursion), not to
     322                 :            :            general call stacks.  */
     323                 :        524 :         if (m_call_string.calc_recursion_depth ()
     324                 :        524 :             > param_analyzer_max_recursion_depth)
     325                 :            :           {
     326                 :         34 :             if (logger)
     327                 :          0 :               logger->log ("rejecting call edge: recursion limit exceeded");
     328                 :            :             // TODO: issue a sorry for this?
     329                 :         34 :             return false;
     330                 :            :           }
     331                 :            :       }
     332                 :            :       break;
     333                 :            : 
     334                 :        806 :     case SUPEREDGE_RETURN:
     335                 :        806 :       {
     336                 :            :         /* Require that we return to the call site in the call string.  */
     337                 :        806 :         if (m_call_string.empty_p ())
     338                 :            :           {
     339                 :        249 :             if (logger)
     340                 :          0 :               logger->log ("rejecting return edge: empty call string");
     341                 :        249 :             return false;
     342                 :            :           }
     343                 :        557 :         const return_superedge *top_of_stack = m_call_string.pop ();
     344                 :        557 :         if (top_of_stack != succ)
     345                 :            :           {
     346                 :        131 :             if (logger)
     347                 :          0 :               logger->log ("rejecting return edge: return to wrong callsite");
     348                 :        131 :             return false;
     349                 :            :           }
     350                 :            :       }
     351                 :            :       break;
     352                 :            : 
     353                 :        536 :     case SUPEREDGE_INTRAPROCEDURAL_CALL:
     354                 :        536 :       {
     355                 :        536 :         const callgraph_superedge *cg_sedge
     356                 :        536 :           = as_a <const callgraph_superedge *> (succ);
     357                 :            :         /* Consider turning this edge into a use of an
     358                 :            :            interprocedural summary.  */
     359                 :        536 :         if (eg.get_analysis_plan ().use_summary_p (cg_sedge->m_cedge))
     360                 :            :           {
     361                 :         12 :             if (logger)
     362                 :          0 :               logger->log ("using function summary for %qE in %qE",
     363                 :            :                            cg_sedge->get_callee_decl (),
     364                 :            :                            cg_sedge->get_caller_decl ());
     365                 :         12 :             return true;
     366                 :            :           }
     367                 :            :         else
     368                 :            :           {
     369                 :            :             /* Otherwise, we ignore these edges  */
     370                 :        524 :             if (logger)
     371                 :          0 :               logger->log ("rejecting interprocedural edge");
     372                 :        524 :             return false;
     373                 :            :           }
     374                 :            :       }
     375                 :            :     }
     376                 :            : 
     377                 :            :   return true;
     378                 :            : }
     379                 :            : 
     380                 :            : /* Comparator for program points within the same supernode,
     381                 :            :    for implementing worklist::key_t comparison operators.
     382                 :            :    Return negative if POINT_A is before POINT_B
     383                 :            :    Return positive if POINT_A is after POINT_B
     384                 :            :    Return 0 if they are equal.  */
     385                 :            : 
     386                 :            : int
     387                 :      57096 : function_point::cmp_within_supernode_1 (const function_point &point_a,
     388                 :            :                                         const function_point &point_b)
     389                 :            : {
     390                 :      57096 :   gcc_assert (point_a.get_supernode () == point_b.get_supernode ());
     391                 :            : 
     392                 :      57096 :   switch (point_a.m_kind)
     393                 :            :     {
     394                 :          0 :     default:
     395                 :          0 :       gcc_unreachable ();
     396                 :      26989 :     case PK_BEFORE_SUPERNODE:
     397                 :      26989 :       switch (point_b.m_kind)
     398                 :            :         {
     399                 :          0 :         default:
     400                 :          0 :           gcc_unreachable ();
     401                 :      22282 :         case PK_BEFORE_SUPERNODE:
     402                 :      22282 :           {
     403                 :      22282 :             int a_src_idx = -1;
     404                 :      22282 :             int b_src_idx = -1;
     405                 :      22282 :             if (point_a.m_from_edge)
     406                 :      22024 :               a_src_idx = point_a.m_from_edge->m_src->m_index;
     407                 :      22282 :             if (point_b.m_from_edge)
     408                 :      22024 :               b_src_idx = point_b.m_from_edge->m_src->m_index;
     409                 :      22282 :             return a_src_idx - b_src_idx;
     410                 :            :           }
     411                 :            :           break;
     412                 :            : 
     413                 :            :         case PK_BEFORE_STMT:
     414                 :            :         case PK_AFTER_SUPERNODE:
     415                 :            :           return -1;
     416                 :            :         }
     417                 :      12587 :       break;
     418                 :      12587 :     case PK_BEFORE_STMT:
     419                 :      12587 :       switch (point_b.m_kind)
     420                 :            :         {
     421                 :          0 :         default:
     422                 :          0 :           gcc_unreachable ();
     423                 :            :         case PK_BEFORE_SUPERNODE:
     424                 :            :           return 1;
     425                 :            : 
     426                 :       7460 :         case PK_BEFORE_STMT:
     427                 :       7460 :           return point_a.m_stmt_idx - point_b.m_stmt_idx;
     428                 :            : 
     429                 :       2256 :         case PK_AFTER_SUPERNODE:
     430                 :       2256 :           return -1;
     431                 :            :         }
     432                 :      17520 :       break;
     433                 :      17520 :     case PK_AFTER_SUPERNODE:
     434                 :      17520 :       switch (point_b.m_kind)
     435                 :            :         {
     436                 :          0 :         default:
     437                 :          0 :           gcc_unreachable ();
     438                 :            :         case PK_BEFORE_SUPERNODE:
     439                 :            :         case PK_BEFORE_STMT:
     440                 :            :           return 1;
     441                 :            : 
     442                 :      13428 :         case PK_AFTER_SUPERNODE:
     443                 :      13428 :           return 0;
     444                 :            :         }
     445                 :            :       break;
     446                 :            :     }
     447                 :            : }
     448                 :            : 
     449                 :            : /* Comparator for program points within the same supernode,
     450                 :            :    for implementing worklist::key_t comparison operators.
     451                 :            :    Return negative if POINT_A is before POINT_B
     452                 :            :    Return positive if POINT_A is after POINT_B
     453                 :            :    Return 0 if they are equal.  */
     454                 :            : 
     455                 :            : int
     456                 :      28548 : function_point::cmp_within_supernode (const function_point &point_a,
     457                 :            :                                       const function_point &point_b)
     458                 :            : {
     459                 :      28548 :   int result = cmp_within_supernode_1 (point_a, point_b);
     460                 :            : 
     461                 :            :   /* Check that the ordering is symmetric  */
     462                 :            : #if CHECKING_P
     463                 :      28548 :   int reversed = cmp_within_supernode_1 (point_b, point_a);
     464                 :      28548 :   gcc_assert (reversed == -result);
     465                 :            : #endif
     466                 :            : 
     467                 :      28548 :   return result;
     468                 :            : }
     469                 :            : 
     470                 :            : #if CHECKING_P
     471                 :            : 
     472                 :            : namespace selftest {
     473                 :            : 
     474                 :            : /* Verify that function_point::operator== works as expected.  */
     475                 :            : 
     476                 :            : static void
     477                 :          2 : test_function_point_equality ()
     478                 :            : {
     479                 :          2 :   const supernode *snode = NULL;
     480                 :            : 
     481                 :          2 :   function_point a = function_point (snode, NULL, 0,
     482                 :          2 :                                      PK_BEFORE_SUPERNODE);
     483                 :          2 :   function_point b = function_point::before_supernode (snode, NULL);
     484                 :          4 :   ASSERT_EQ (a, b);
     485                 :          2 : }
     486                 :            : 
     487                 :            : /* Verify that function_point::cmp_within_supernode works as expected.  */
     488                 :            : 
     489                 :            : static void
     490                 :          2 : test_function_point_ordering ()
     491                 :            : {
     492                 :          2 :   const supernode *snode = NULL;
     493                 :          2 :   const call_string call_string;
     494                 :            : 
     495                 :            :   /* Populate an array with various points within the same
     496                 :            :      snode, in order.  */
     497                 :          4 :   auto_vec<function_point> points;
     498                 :          2 :   points.safe_push (function_point::before_supernode (snode, NULL));
     499                 :          2 :   points.safe_push (function_point::before_stmt (snode, 0));
     500                 :          2 :   points.safe_push (function_point::before_stmt (snode, 1));
     501                 :          2 :   points.safe_push (function_point::after_supernode (snode));
     502                 :            : 
     503                 :            :   /* Check all pairs.  */
     504                 :          2 :   unsigned i;
     505                 :          2 :   function_point *point_a;
     506                 :         20 :   FOR_EACH_VEC_ELT (points, i, point_a)
     507                 :            :     {
     508                 :            :       unsigned j;
     509                 :            :       function_point *point_b;
     510                 :         48 :       FOR_EACH_VEC_ELT (points, j, point_b)
     511                 :            :         {
     512                 :         32 :           int cmp = function_point::cmp_within_supernode (*point_a, *point_b);
     513                 :         32 :           if (i == j)
     514                 :          8 :             ASSERT_EQ (cmp, 0);
     515                 :         32 :           if (i < j)
     516                 :         12 :             ASSERT_TRUE (cmp < 0);
     517                 :         32 :           if (i > j)
     518                 :         12 :             ASSERT_TRUE (cmp > 0);
     519                 :            :         }
     520                 :            :     }
     521                 :          2 : }
     522                 :            : 
     523                 :            : /* Verify that program_point::operator== works as expected.  */
     524                 :            : 
     525                 :            : static void
     526                 :          2 : test_program_point_equality ()
     527                 :            : {
     528                 :          2 :   const supernode *snode = NULL;
     529                 :            : 
     530                 :          2 :   const call_string cs;
     531                 :            : 
     532                 :          2 :   program_point a = program_point::before_supernode (snode, NULL,
     533                 :          4 :                                                      cs);
     534                 :            : 
     535                 :          2 :   program_point b = program_point::before_supernode (snode, NULL,
     536                 :          4 :                                                      cs);
     537                 :            : 
     538                 :          2 :   ASSERT_EQ (a, b);
     539                 :            :   // TODO: verify with non-empty callstrings, with different edges
     540                 :          2 : }
     541                 :            : 
     542                 :            : /* Run all of the selftests within this file.  */
     543                 :            : 
     544                 :            : void
     545                 :          2 : analyzer_program_point_cc_tests ()
     546                 :            : {
     547                 :          2 :   test_function_point_equality ();
     548                 :          2 :   test_function_point_ordering ();
     549                 :          2 :   test_program_point_equality ();
     550                 :          2 : }
     551                 :            : 
     552                 :            : } // namespace selftest
     553                 :            : 
     554                 :            : #endif /* CHECKING_P */
     555                 :            : 
     556                 :            : } // namespace ana
     557                 :            : 
     558                 :            : #endif /* #if ENABLE_ANALYZER */

Generated by: LCOV version 1.0

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 --enable-host-shared. GCC test suite is run with the built compiler.