LCOV - code coverage report
Current view: top level - gcc/analyzer - checker-path.h (source / functions) Hit Total Coverage
Test: gcc.info Lines: 70 78 89.7 %
Date: 2020-03-28 11:57:23 Functions: 13 16 81.2 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Subclasses of diagnostic_path and diagnostic_event for analyzer diagnostics.
       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                 :            : #ifndef GCC_ANALYZER_CHECKER_PATH_H
      22                 :            : #define GCC_ANALYZER_CHECKER_PATH_H
      23                 :            : 
      24                 :            : namespace ana {
      25                 :            : 
      26                 :            : /* An enum for discriminating between the concrete subclasses of
      27                 :            :    checker_event.  */
      28                 :            : 
      29                 :            : enum event_kind
      30                 :            : {
      31                 :            :   EK_DEBUG,
      32                 :            :   EK_CUSTOM,
      33                 :            :   EK_STMT,
      34                 :            :   EK_FUNCTION_ENTRY,
      35                 :            :   EK_STATE_CHANGE,
      36                 :            :   EK_START_CFG_EDGE,
      37                 :            :   EK_END_CFG_EDGE,
      38                 :            :   EK_CALL_EDGE,
      39                 :            :   EK_RETURN_EDGE,
      40                 :            :   EK_SETJMP,
      41                 :            :   EK_REWIND_FROM_LONGJMP,
      42                 :            :   EK_REWIND_TO_SETJMP,
      43                 :            :   EK_WARNING
      44                 :            : };
      45                 :            : 
      46                 :            : extern const char *event_kind_to_string (enum event_kind ek);
      47                 :            : 
      48                 :            : /* Event subclasses.
      49                 :            : 
      50                 :            :    The class hierarchy looks like this (using indentation to show
      51                 :            :    inheritance, and with event_kinds shown for the concrete subclasses):
      52                 :            : 
      53                 :            :    diagnostic_event
      54                 :            :      checker_event
      55                 :            :        debug_event (EK_DEBUG)
      56                 :            :        custom_event (EK_CUSTOM)
      57                 :            :        statement_event (EK_STMT)
      58                 :            :        function_entry_event (EK_FUNCTION_ENTRY)
      59                 :            :        state_change_event (EK_STATE_CHANGE)
      60                 :            :        superedge_event
      61                 :            :          cfg_edge_event
      62                 :            :            start_cfg_edge_event (EK_START_CFG_EDGE)
      63                 :            :            end_cfg_edge_event (EK_END_CFG_EDGE)
      64                 :            :          call_event (EK_CALL_EDGE)
      65                 :            :          return_edge (EK_RETURN_EDGE)
      66                 :            :        setjmp_event (EK_SETJMP)
      67                 :            :        rewind_event
      68                 :            :          rewind_from_longjmp_event (EK_REWIND_FROM_LONGJMP)
      69                 :            :          rewind_to_setjmp_event (EK_REWIND_TO_SETJMP)
      70                 :            :        warning_event (EK_WARNING).  */
      71                 :            : 
      72                 :            : /* Abstract subclass of diagnostic_event; the base class for use in
      73                 :            :    checker_path (the analyzer's diagnostic_path subclass).  */
      74                 :            : 
      75                 :          8 : class checker_event : public diagnostic_event
      76                 :            : {
      77                 :            : public:
      78                 :       5101 :   checker_event (enum event_kind kind,
      79                 :            :                  location_t loc, tree fndecl, int depth)
      80                 :       5101 :     : m_kind (kind), m_loc (loc), m_fndecl (fndecl), m_depth (depth),
      81                 :       2646 :       m_pending_diagnostic (NULL), m_emission_id ()
      82                 :            :   {
      83                 :            :   }
      84                 :            : 
      85                 :            :   /* Implementation of diagnostic_event.  */
      86                 :            : 
      87                 :       1749 :   location_t get_location () const FINAL OVERRIDE { return m_loc; }
      88                 :       2475 :   tree get_fndecl () const FINAL OVERRIDE { return m_fndecl; }
      89                 :          0 :   int get_stack_depth () const FINAL OVERRIDE { return m_depth; }
      90                 :            : 
      91                 :            :   /* Additional functionality.  */
      92                 :            : 
      93                 :            :   virtual void prepare_for_emission (checker_path *,
      94                 :            :                                      pending_diagnostic *pd,
      95                 :            :                                      diagnostic_event_id_t emission_id);
      96                 :       1713 :   virtual bool is_call_p () const { return false; }
      97                 :          2 :   virtual bool is_function_entry_p () const  { return false; }
      98                 :        227 :   virtual bool is_return_p () const  { return false; }
      99                 :            : 
     100                 :            :   void dump (pretty_printer *pp) const;
     101                 :            : 
     102                 :            :  public:
     103                 :            :   const enum event_kind m_kind;
     104                 :            :  protected:
     105                 :            :   location_t m_loc;
     106                 :            :   tree m_fndecl;
     107                 :            :   int m_depth;
     108                 :            :   pending_diagnostic *m_pending_diagnostic;
     109                 :            :   diagnostic_event_id_t m_emission_id; // only set once all pruning has occurred
     110                 :            : };
     111                 :            : 
     112                 :            : /* A concrete event subclass for a purely textual event, for use in
     113                 :            :    debugging path creation and filtering.  */
     114                 :            : 
     115                 :            : class debug_event : public checker_event
     116                 :            : {
     117                 :            : public:
     118                 :          0 :   debug_event (location_t loc, tree fndecl, int depth,
     119                 :            :               const char *desc)
     120                 :          0 :   : checker_event (EK_DEBUG, loc, fndecl, depth),
     121                 :          0 :     m_desc (xstrdup (desc))
     122                 :            :   {
     123                 :            :   }
     124                 :          0 :   ~debug_event ()
     125                 :          0 :   {
     126                 :          0 :     free (m_desc);
     127                 :          0 :   }
     128                 :            : 
     129                 :            :   label_text get_desc (bool) const FINAL OVERRIDE;
     130                 :            : 
     131                 :            : private:
     132                 :            :   char *m_desc;
     133                 :            : };
     134                 :            : 
     135                 :            : /* A concrete event subclass for custom events.  These are not filtered,
     136                 :            :    as they are likely to be pertinent to the diagnostic.  */
     137                 :            : 
     138                 :            : class custom_event : public checker_event
     139                 :            : {
     140                 :            : public:
     141                 :          8 :   custom_event (location_t loc, tree fndecl, int depth,
     142                 :            :                 const char *desc)
     143                 :          8 :   : checker_event (EK_CUSTOM, loc, fndecl, depth),
     144                 :          8 :     m_desc (xstrdup (desc))
     145                 :            :   {
     146                 :            :   }
     147                 :          8 :   ~custom_event ()
     148                 :          8 :   {
     149                 :          8 :     free (m_desc);
     150                 :          8 :   }
     151                 :            : 
     152                 :            :   label_text get_desc (bool) const FINAL OVERRIDE;
     153                 :            : 
     154                 :            : private:
     155                 :            :   char *m_desc;
     156                 :            : };
     157                 :            : 
     158                 :            : /* A concrete event subclass describing the execution of a gimple statement,
     159                 :            :    for use at high verbosity levels when debugging paths.  */
     160                 :            : 
     161                 :            : class statement_event : public checker_event
     162                 :            : {
     163                 :            : public:
     164                 :            :   statement_event (const gimple *stmt, tree fndecl, int depth,
     165                 :            :                    const program_state &dst_state);
     166                 :            : 
     167                 :            :   label_text get_desc (bool) const FINAL OVERRIDE;
     168                 :            : 
     169                 :            :   const gimple * const m_stmt;
     170                 :            :   const program_state m_dst_state;
     171                 :            : };
     172                 :            : 
     173                 :            : /* An event subclass describing the entry to a function.  */
     174                 :            : 
     175                 :            : class function_entry_event : public checker_event
     176                 :            : {
     177                 :            : public:
     178                 :        464 :   function_entry_event (location_t loc, tree fndecl, int depth)
     179                 :        464 :   : checker_event (EK_FUNCTION_ENTRY, loc, fndecl, depth)
     180                 :            :   {
     181                 :            :   }
     182                 :            : 
     183                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     184                 :            : 
     185                 :        122 :   bool is_function_entry_p () const FINAL OVERRIDE { return true; }
     186                 :            : };
     187                 :            : 
     188                 :            : /* Subclass of checker_event describing a state change.  */
     189                 :            : 
     190                 :            : class state_change_event : public checker_event
     191                 :            : {
     192                 :            : public:
     193                 :            :   state_change_event (const supernode *node, const gimple *stmt,
     194                 :            :                       int stack_depth,
     195                 :            :                       const state_machine &sm,
     196                 :            :                       tree var,
     197                 :            :                       state_machine::state_t from,
     198                 :            :                       state_machine::state_t to,
     199                 :            :                       tree origin,
     200                 :            :                       const program_state &dst_state);
     201                 :            : 
     202                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     203                 :            : 
     204                 :       1630 :   region_id get_lvalue (tree expr, region_model_context *ctxt) const
     205                 :            :   {
     206                 :        815 :     return m_dst_state.m_region_model->get_lvalue (expr, ctxt);
     207                 :            :   }
     208                 :            : 
     209                 :            :   const supernode *m_node;
     210                 :            :   const gimple *m_stmt;
     211                 :            :   const state_machine &m_sm;
     212                 :            :   tree m_var;
     213                 :            :   state_machine::state_t m_from;
     214                 :            :   state_machine::state_t m_to;
     215                 :            :   tree m_origin;
     216                 :            :   program_state m_dst_state;
     217                 :            : };
     218                 :            : 
     219                 :            : /* Subclass of checker_event; parent class for subclasses that relate to
     220                 :            :    a superedge.  */
     221                 :            : 
     222                 :            : class superedge_event : public checker_event
     223                 :            : {
     224                 :            : public:
     225                 :            :   /* Mark this edge event as being either an interprocedural call or
     226                 :            :      return in which VAR is in STATE, and that this is critical to the
     227                 :            :      diagnostic (so that get_desc can attempt to get a better description
     228                 :            :      from any pending_diagnostic).  */
     229                 :         84 :   void record_critical_state (tree var, state_machine::state_t state)
     230                 :            :   {
     231                 :         84 :     m_var = var;
     232                 :         84 :     m_critical_state = state;
     233                 :         84 :   }
     234                 :            : 
     235                 :            :   const callgraph_superedge& get_callgraph_superedge () const;
     236                 :            : 
     237                 :            :   bool should_filter_p (int verbosity) const;
     238                 :            : 
     239                 :            :  protected:
     240                 :            :   superedge_event (enum event_kind kind, const exploded_edge &eedge,
     241                 :            :                    location_t loc, tree fndecl, int depth);
     242                 :            : 
     243                 :            :  public:
     244                 :            :   const exploded_edge &m_eedge;
     245                 :            :   const superedge *m_sedge;
     246                 :            :   tree m_var;
     247                 :            :   state_machine::state_t m_critical_state;
     248                 :            : };
     249                 :            : 
     250                 :            : /* An abstract event subclass for when a CFG edge is followed; it has two
     251                 :            :    subclasses, representing the start of the edge and the end of the
     252                 :            :    edge, which come in pairs.  */
     253                 :            : 
     254                 :            : class cfg_edge_event : public superedge_event
     255                 :            : {
     256                 :            : public:
     257                 :            :   const cfg_superedge& get_cfg_superedge () const;
     258                 :            : 
     259                 :            :  protected:
     260                 :            :   cfg_edge_event (enum event_kind kind, const exploded_edge &eedge,
     261                 :            :                   location_t loc, tree fndecl, int depth);
     262                 :            : };
     263                 :            : 
     264                 :            : /* A concrete event subclass for the start of a CFG edge
     265                 :            :    e.g. "following 'false' branch...'.  */
     266                 :            : 
     267                 :            : class start_cfg_edge_event : public cfg_edge_event
     268                 :            : {
     269                 :            : public:
     270                 :        956 :   start_cfg_edge_event (const exploded_edge &eedge,
     271                 :            :                         location_t loc, tree fndecl, int depth)
     272                 :        956 :   : cfg_edge_event (EK_START_CFG_EDGE, eedge, loc, fndecl, depth)
     273                 :            :   {
     274                 :            :   }
     275                 :            : 
     276                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     277                 :            : 
     278                 :            :  private:
     279                 :            :   label_text maybe_describe_condition (bool can_colorize) const;
     280                 :            : 
     281                 :            :   static label_text maybe_describe_condition (bool can_colorize,
     282                 :            :                                               tree lhs,
     283                 :            :                                               enum tree_code op,
     284                 :            :                                               tree rhs);
     285                 :            :   static bool should_print_expr_p (tree);
     286                 :            : };
     287                 :            : 
     288                 :            : /* A concrete event subclass for the end of a CFG edge
     289                 :            :    e.g. "...to here'.  */
     290                 :            : 
     291                 :            : class end_cfg_edge_event : public cfg_edge_event
     292                 :            : {
     293                 :            : public:
     294                 :        956 :   end_cfg_edge_event (const exploded_edge &eedge,
     295                 :            :                       location_t loc, tree fndecl, int depth)
     296                 :        956 :   : cfg_edge_event (EK_END_CFG_EDGE, eedge, loc, fndecl, depth)
     297                 :            :   {
     298                 :            :   }
     299                 :            : 
     300                 :        302 :   label_text get_desc (bool /*can_colorize*/) const FINAL OVERRIDE
     301                 :            :   {
     302                 :        302 :     return label_text::borrow ("...to here");
     303                 :            :   }
     304                 :            : };
     305                 :            : 
     306                 :            : /* A concrete event subclass for an interprocedural call.  */
     307                 :            : 
     308                 :            : class call_event : public superedge_event
     309                 :            : {
     310                 :            : public:
     311                 :            :   call_event (const exploded_edge &eedge,
     312                 :            :               location_t loc, tree fndecl, int depth);
     313                 :            : 
     314                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     315                 :            : 
     316                 :            :   bool is_call_p () const FINAL OVERRIDE;
     317                 :            : };
     318                 :            : 
     319                 :            : /* A concrete event subclass for an interprocedural return.  */
     320                 :            : 
     321                 :            : class return_event : public superedge_event
     322                 :            : {
     323                 :            : public:
     324                 :            :   return_event (const exploded_edge &eedge,
     325                 :            :                 location_t loc, tree fndecl, int depth);
     326                 :            : 
     327                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     328                 :            : 
     329                 :            :   bool is_return_p () const FINAL OVERRIDE;
     330                 :            : };
     331                 :            : 
     332                 :            : /* A concrete event subclass for a setjmp or sigsetjmp call.  */
     333                 :            : 
     334                 :            : class setjmp_event : public checker_event
     335                 :            : {
     336                 :            : public:
     337                 :          9 :   setjmp_event (location_t loc, const exploded_node *enode,
     338                 :            :                 tree fndecl, int depth, const gcall *setjmp_call)
     339                 :          9 :   : checker_event (EK_SETJMP, loc, fndecl, depth),
     340                 :          9 :     m_enode (enode), m_setjmp_call (setjmp_call)
     341                 :            :   {
     342                 :            :   }
     343                 :            : 
     344                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     345                 :            : 
     346                 :            :   void prepare_for_emission (checker_path *path,
     347                 :            :                              pending_diagnostic *pd,
     348                 :            :                              diagnostic_event_id_t emission_id) FINAL OVERRIDE;
     349                 :            : 
     350                 :            : private:
     351                 :            :   const exploded_node *m_enode;
     352                 :            :   const gcall *m_setjmp_call;
     353                 :            : };
     354                 :            : 
     355                 :            : /* An abstract event subclass for rewinding from a longjmp to a setjmp
     356                 :            :    (or siglongjmp to sigsetjmp).
     357                 :            : 
     358                 :            :    Base class for two from/to subclasses, showing the two halves of the
     359                 :            :    rewind.  */
     360                 :            : 
     361                 :            : class rewind_event : public checker_event
     362                 :            : {
     363                 :            : public:
     364                 :            :   tree get_longjmp_caller () const;
     365                 :            :   tree get_setjmp_caller () const;
     366                 :            :   const exploded_edge *get_eedge () const { return m_eedge; }
     367                 :            : 
     368                 :            :  protected:
     369                 :            :   rewind_event (const exploded_edge *eedge,
     370                 :            :                 enum event_kind kind,
     371                 :            :                 location_t loc, tree fndecl, int depth,
     372                 :            :                 const rewind_info_t *rewind_info);
     373                 :            :   const rewind_info_t *m_rewind_info;
     374                 :            : 
     375                 :            :  private:
     376                 :            :   const exploded_edge *m_eedge;
     377                 :            : };
     378                 :            : 
     379                 :            : /* A concrete event subclass for rewinding from a longjmp to a setjmp,
     380                 :            :    showing the longjmp (or siglongjmp).  */
     381                 :            : 
     382                 :            : class rewind_from_longjmp_event : public rewind_event
     383                 :            : {
     384                 :            : public:
     385                 :          8 :   rewind_from_longjmp_event (const exploded_edge *eedge,
     386                 :            :                              location_t loc, tree fndecl, int depth,
     387                 :            :                              const rewind_info_t *rewind_info)
     388                 :          8 :   : rewind_event (eedge, EK_REWIND_FROM_LONGJMP, loc, fndecl, depth,
     389                 :          8 :                   rewind_info)
     390                 :            :   {
     391                 :            :   }
     392                 :            : 
     393                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     394                 :            : };
     395                 :            : 
     396                 :            : /* A concrete event subclass for rewinding from a longjmp to a setjmp,
     397                 :            :    showing the setjmp (or sigsetjmp).  */
     398                 :            : 
     399                 :            : class rewind_to_setjmp_event : public rewind_event
     400                 :            : {
     401                 :            : public:
     402                 :          8 :   rewind_to_setjmp_event (const exploded_edge *eedge,
     403                 :            :                           location_t loc, tree fndecl, int depth,
     404                 :            :                           const rewind_info_t *rewind_info)
     405                 :          8 :   : rewind_event (eedge, EK_REWIND_TO_SETJMP, loc, fndecl, depth,
     406                 :          8 :                   rewind_info)
     407                 :            :   {
     408                 :            :   }
     409                 :            : 
     410                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     411                 :            : 
     412                 :            :   void prepare_for_emission (checker_path *path,
     413                 :            :                              pending_diagnostic *pd,
     414                 :            :                              diagnostic_event_id_t emission_id) FINAL OVERRIDE;
     415                 :            : 
     416                 :            : private:
     417                 :            :   diagnostic_event_id_t m_original_setjmp_event_id;
     418                 :            : };
     419                 :            : 
     420                 :            : /* Concrete subclass of checker_event for use at the end of a path:
     421                 :            :    a repeat of the warning message at the end of the path (perhaps with
     422                 :            :    references to pertinent events that occurred on the way), at the point
     423                 :            :    where the problem occurs.  */
     424                 :            : 
     425                 :            : class warning_event : public checker_event
     426                 :            : {
     427                 :            : public:
     428                 :        307 :   warning_event (location_t loc, tree fndecl, int depth,
     429                 :            :                  const state_machine *sm,
     430                 :            :                  tree var, state_machine::state_t state)
     431                 :        307 :   : checker_event (EK_WARNING, loc, fndecl, depth),
     432                 :        307 :     m_sm (sm), m_var (var), m_state (state)
     433                 :            :   {
     434                 :            :   }
     435                 :            : 
     436                 :            :   label_text get_desc (bool can_colorize) const FINAL OVERRIDE;
     437                 :            : 
     438                 :            : private:
     439                 :            :   const state_machine *m_sm;
     440                 :            :   tree m_var;
     441                 :            :   state_machine::state_t m_state;
     442                 :            : };
     443                 :            : 
     444                 :            : /* Subclass of diagnostic_path for analyzer diagnostics.  */
     445                 :            : 
     446                 :        307 : class checker_path : public diagnostic_path
     447                 :            : {
     448                 :            : public:
     449                 :        307 :   checker_path () : diagnostic_path () {}
     450                 :            : 
     451                 :            :   /* Implementation of diagnostic_path vfuncs.  */
     452                 :            : 
     453                 :       9980 :   unsigned num_events () const FINAL OVERRIDE
     454                 :            :   {
     455                 :       9980 :     return m_events.length ();
     456                 :            :   }
     457                 :            : 
     458                 :       5248 :   const diagnostic_event & get_event (int idx) const FINAL OVERRIDE
     459                 :            :   {
     460                 :       5248 :     return *m_events[idx];
     461                 :            :   }
     462                 :            : 
     463                 :       8619 :   checker_event *get_checker_event (int idx)
     464                 :            :   {
     465                 :       8619 :     return m_events[idx];
     466                 :            :   }
     467                 :            : 
     468                 :            :   void dump (pretty_printer *pp) const;
     469                 :            :   void debug () const;
     470                 :            : 
     471                 :            :   void maybe_log (logger *logger, const char *desc) const;
     472                 :            : 
     473                 :       5101 :   void add_event (checker_event *event)
     474                 :            :   {
     475                 :       5101 :     m_events.safe_push (event);
     476                 :            :   }
     477                 :            : 
     478                 :       3717 :   void delete_event (int idx)
     479                 :            :   {
     480                 :       3717 :     checker_event *event = m_events[idx];
     481                 :       3717 :     m_events.ordered_remove (idx);
     482                 :       3717 :     delete event;
     483                 :       3717 :   }
     484                 :            : 
     485                 :            :   void add_final_event (const state_machine *sm,
     486                 :            :                         const exploded_node *enode, const gimple *stmt,
     487                 :            :                         tree var, state_machine::state_t state);
     488                 :            : 
     489                 :            :   /* After all event-pruning, a hook for notifying each event what
     490                 :            :      its ID will be.  The events are notified in order, allowing
     491                 :            :      for later events to refer to the IDs of earlier events in
     492                 :            :      their descriptions.  */
     493                 :        307 :   void prepare_for_emission (pending_diagnostic *pd)
     494                 :            :   {
     495                 :        307 :     checker_event *e;
     496                 :        307 :     int i;
     497                 :       1691 :     FOR_EACH_VEC_ELT (m_events, i, e)
     498                 :       1384 :       e->prepare_for_emission (this, pd, diagnostic_event_id_t (i));
     499                 :        307 :   }
     500                 :            : 
     501                 :          9 :   void record_setjmp_event (const exploded_node *enode,
     502                 :            :                             diagnostic_event_id_t setjmp_emission_id)
     503                 :            :   {
     504                 :          9 :     m_setjmp_event_ids.put (enode, setjmp_emission_id);
     505                 :            :   }
     506                 :            : 
     507                 :          8 :   bool get_setjmp_event (const exploded_node *enode,
     508                 :            :                          diagnostic_event_id_t *out_emission_id)
     509                 :            :   {
     510                 :          8 :     if (diagnostic_event_id_t *emission_id = m_setjmp_event_ids.get (enode))
     511                 :            :       {
     512                 :          8 :         *out_emission_id = *emission_id;
     513                 :          8 :         return true;
     514                 :            :       }
     515                 :            :     return false;
     516                 :            :   }
     517                 :            : 
     518                 :            : private:
     519                 :            :   DISABLE_COPY_AND_ASSIGN(checker_path);
     520                 :            : 
     521                 :            :   /* The events that have occurred along this path.  */
     522                 :            :   auto_delete_vec<checker_event> m_events;
     523                 :            : 
     524                 :            :   /* During prepare_for_emission (and after), the setjmp_event for each
     525                 :            :      exploded_node *, so that rewind events can refer to them in their
     526                 :            :      descriptions.  */
     527                 :            :   hash_map <const exploded_node *, diagnostic_event_id_t> m_setjmp_event_ids;
     528                 :            : };
     529                 :            : 
     530                 :            : } // namespace ana
     531                 :            : 
     532                 :            : #endif /* GCC_ANALYZER_CHECKER_PATH_H */

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.