| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| diagnostic-manager.h | 150 checker_path *emission_path) const;
154 checker_path *emission_path,
162 checker_path *emission_path) const;
164 void prune_path (checker_path *path,
169 void prune_for_sm_diagnostic (checker_path *path,
173 void prune_for_sm_diagnostic (checker_path *path,
178 void prune_interproc_events (checker_path *path) const;
179 void consolidate_conditions (checker_path *path) const;
180 void finish_pruning (checker_path *path) const;
|
| call-info.h | 34 void add_events_to_path (checker_path *emission_path,
|
| call-info.cc | 87 call_info::add_events_to_path (checker_path *emission_path,
|
| checker-path.cc | 144 checker_event::prepare_for_emission (checker_path *,
788 setjmp_event::prepare_for_emission (checker_path *path,
901 rewind_to_setjmp_event::prepare_for_emission (checker_path *path,
971 checker_path::dump (pretty_printer *pp) const
991 checker_path::maybe_log (logger *logger, const char *desc) const
1012 checker_path::debug () const
1032 checker_path::add_region_creation_event (const region *reg,
1042 checker_path::add_final_event (const state_machine *sm,
1055 checker_path::fixup_locations (pending_diagnostic *pd)
1065 checker_path::cfg_edge_pair_at_p (unsigned idx) cons
[all...] |
| checker-path.h | 80 checker_path (the analyzer's diagnostic_path subclass). */
100 virtual void prepare_for_emission (checker_path *,
429 void prepare_for_emission (checker_path *path,
495 void prepare_for_emission (checker_path *path,
529 class checker_path : public diagnostic_path class in namespace:ana
532 checker_path () : diagnostic_path () {} function in class:ana::checker_path
623 DISABLE_COPY_AND_ASSIGN(checker_path);
|
| diagnostic-manager.cc | 883 /* State for building a checker_path from a particular exploded_path.
1351 create an checker_path of suitable events and use it to call
1372 checker_path emission_path;
1436 checker_path *emission_path) const
1486 checker_path *emission_path)
1566 checker_path *m_emission_path;
1645 checker_path *emission_path,
1777 checker_path *m_emission_path;
1787 checker_path *emission_path,
2070 checker_path *emission_path
[all...] |
| pending-diagnostic.h | 293 checker_path *)
|
| analyzer.h | 91 class checker_path;
251 virtual void add_events_to_path (checker_path *emission_path,
|
| sm-signal.cc | 236 void add_events_to_path (checker_path *emission_path,
|
| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| diagnostic-manager.h | 66 void add_any_saved_events (checker_path &dst_path);
196 checker_path *emission_path) const;
200 checker_path *emission_path,
205 checker_path *emission_path,
213 checker_path *emission_path) const;
215 void prune_path (checker_path *path,
220 void prune_for_sm_diagnostic (checker_path *path,
224 void prune_for_sm_diagnostic (checker_path *path,
229 void prune_interproc_events (checker_path *path) const;
230 void prune_system_headers (checker_path *path) const
[all...] |
| checker-path.h | 30 class checker_path : public diagnostic_path class in namespace:ana
33 checker_path (logger *logger) function in class:ana::checker_path
135 DISABLE_COPY_AND_ASSIGN(checker_path);
|
| checker-path.cc | 68 checker_path::dump (pretty_printer *pp) const
87 checker_path::maybe_log (logger *logger, const char *desc) const
106 checker_path::add_event (std::unique_ptr<checker_event> event)
123 checker_path::debug () const
144 checker_path::add_region_creation_events (pending_diagnostic *pd,
163 checker_path::fixup_locations (pending_diagnostic *pd)
173 checker_path::cfg_edge_pair_at_p (unsigned idx) const
237 checker_path. */
240 checker_path::inject_any_inlined_call_events (logger *logger)
|
| pending-diagnostic.cc | 221 checker_path *emission_path)
233 checker_path *emission_path)
255 checker_path &emission_path)
274 checker_path *emission_path)
|
| pending-diagnostic.h | 331 /* Vfunc for adding a function_entry_event to a checker_path, so that e.g.
337 checker_path *emission_path);
349 checker_path *)
354 /* Vfunc for adding a call_event to a checker_path, so that e.g.
358 checker_path *);
366 checker_path &emission_path);
368 /* Vfunc for adding the final warning_event to a checker_path, so that e.g.
376 checker_path *emission_path);
|
| call-info.cc | 92 call_info::add_events_to_path (checker_path *emission_path,
|
| call-info.h | 34 void add_events_to_path (checker_path *emission_path,
|
| diagnostic-manager.cc | 1004 saved_diagnostic::add_any_saved_events (checker_path &dst_path)
1047 /* State for building a checker_path from a particular exploded_path.
1551 create an checker_path of suitable events and use it to call
1573 checker_path emission_path (get_logger ());
1647 checker_path *emission_path) const
1704 checker_path *emission_path,
1765 checker_path *emission_path)
1849 checker_path *m_emission_path;
1928 checker_path *emission_path,
2088 checker_path *m_emission_path
[all...] |
| checker-event.h | 98 checker_path (the analyzer's diagnostic_path subclass). */
128 virtual void prepare_for_emission (checker_path *,
603 void prepare_for_emission (checker_path *path,
669 void prepare_for_emission (checker_path *path,
|
| infinite-recursion.cc | 120 checker_path *emission_path) final override
188 checker_path *emission_path) final override
|
| checker-event.cc | 223 checker_event::prepare_for_emission (checker_path *,
1049 setjmp_event::prepare_for_emission (checker_path *path,
1162 rewind_to_setjmp_event::prepare_for_emission (checker_path *path,
|
| analyzer.h | 102 class checker_path;
385 virtual void add_events_to_path (checker_path *emission_path,
|
| infinite-loop.cc | 201 checker_path *)
220 checker_path *emission_path) final override
|
| sm-signal.cc | 232 void add_events_to_path (checker_path *emission_path,
|
| bounds-checking.cc | 62 void prepare_for_emission (checker_path *path,
103 checker_path &emission_path) override
298 checker_path &emission_path) final override
|
| exploded-graph.h | 445 void add_events_to_path (checker_path *emission_path,
474 void add_events_to_path (checker_path *emission_path,
|
