| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | region-model-manager.cc | 69 region_model_manager::region_model_manager (logger *logger) in region_model_manager() function in ana::region_model_manager
90 region_model_manager::~region_model_manager () in ~region_model_manager()
163 region_model_manager::too_complex_p (const complexity &c) const in too_complex_p()
175 region_model_manager::reject_if_too_complex (svalue *sval) in reject_if_too_complex()
217 region_model_manager::get_or_create_constant_svalue (tree cst_expr) in get_or_create_constant_svalue()
235 region_model_manager::get_or_create_int_cst (tree type, poly_int64 val) in get_or_create_int_cst()
246 region_model_manager::get_or_create_null_ptr (tree pointer_type) in get_or_create_null_ptr()
259 region_model_manager::get_or_create_unknown_svalue (tree type) in get_or_create_unknown_svalue()
286 region_model_manager::create_unique_svalue (tree type) in create_unique_svalue()
297 region_model_manager::get_or_create_initial_value (const region *reg) in get_or_create_initial_value()
[all …]
|
| H A D | constraint-manager.cc | 3165 region_model_manager mgr; in test_constraint_conditions()
3177 region_model_manager mgr; in test_constraint_conditions()
3192 region_model_manager mgr; in test_constraint_conditions()
3224 region_model_manager mgr; in test_constraint_conditions()
3241 region_model_manager mgr; in test_constraint_conditions()
3272 region_model_manager mgr; in test_constraint_conditions()
3295 region_model_manager mgr; in test_constraint_conditions()
3318 region_model_manager mgr; in test_constraint_conditions()
3341 region_model_manager mgr; in test_constraint_conditions()
3366 region_model_manager mgr; in test_constraint_conditions()
[all …]
|
| H A D | store.h | 506 region_model_manager *mgr);
519 region_model_manager *mgr,
523 region_model_manager *mgr,
583 region_model_manager *sval_mgr);
722 region_model_manager *sval_mgr);
768 region_model_manager *mgr);
795 store_manager (region_model_manager *mgr) : m_mgr (mgr) {}
812 region_model_manager *get_svalue_manager () const
820 region_model_manager *m_mgr;
|
| H A D | ChangeLog | 43 (region_model_manager::get_or_create_null_ptr): New.
49 * region-model.h (region_model_manager::get_or_create_null_ptr):
57 (region_model_manager::maybe_fold_binop): Fold (0 - VAL) to -VAL.
65 (region_model_manager::maybe_fold_binop): For POINTER_PLUS_EXPR,
86 (region_model_manager::maybe_fold_unaryop): Fold -(-(VAL)) to VAL.
152 (region_model_manager::~region_model_manager): Move cleanup of
154 region_model_manager. Fix leak of values within
215 (region_model_manager::get_unknown_symbolic_region): New,
217 (region_model_manager::get_field_region): ...here.
218 (region_model_manager::get_element_region): Use it here.
[all …]
|
| H A D | store.cc | 724 region_model_manager *mgr) in get_subregion_within_ctor()
747 get_svalue_for_ctor_val (tree val, region_model_manager *mgr) in get_svalue_for_ctor_val()
761 region_model_manager *mgr) in apply_ctor_to_region()
822 region_model_manager *mgr, in apply_ctor_val_to_range()
868 region_model_manager *mgr, in apply_ctor_pair_to_child_region()
1354 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in fill_region()
1367 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in zero_fill_region()
1392 region_model_manager *sval_mgr = mgr->get_svalue_manager (); in mark_region_as_unknown()
1402 region_model_manager *sval_mgr) in purge_state_involving()
1479 region_model_manager *rmm_mgr = mgr->get_svalue_manager (); in get_binding()
[all …]
|
| H A D | region-model.h | 241 class region_model_manager
244 region_model_manager (logger *logger = NULL);
245 ~region_model_manager ();
514 region_model_manager *get_manager () const;
560 region_model (region_model_manager *mgr);
747 region_model_manager *get_manager () const { return m_mgr; } in get_manager()
862 region_model_manager *const m_mgr;
1201 region_model_manager *get_manager () const in get_manager()
1276 region_model_manager *get_model_manager () { return &m_mgr; } in get_model_manager()
1282 region_model_manager m_mgr;
|
| H A D | region.h | 178 virtual const svalue *get_byte_size_sval (region_model_manager *mgr) const;
192 get_subregions_for_binding (region_model_manager *mgr,
321 get_region_for_local (region_model_manager *mgr,
658 const svalue *maybe_get_constant_value (region_model_manager *mgr) const;
660 region_model_manager *mgr) const;
661 const svalue *get_svalue_for_initializer (region_model_manager *mgr) const;
995 get_byte_size_sval (region_model_manager *) const FINAL OVERRIDE
1221 const svalue *get_byte_size_sval (region_model_manager *mgr) const FINAL OVERRIDE;
|
| H A D | region-model.cc | 251 region_model::region_model (region_model_manager *mgr) in region_model()
1317 region_model_manager *mgr = cd.get_manager (); in maybe_get_const_fn_result()
4147 region_model_manager *mgr) in bad_pointer_finder()
4171 region_model_manager *const m_mgr;
4620 region_model_manager mgr; in test_dump()
4703 region_model_manager mgr; in test_struct()
4735 region_model_manager mgr; in test_array_1()
4749 region_model_manager mgr; in test_get_representative_tree()
4847 region_model_manager mgr; in test_unique_constants()
4875 region_model_manager mgr; in test_unique_unknowns()
[all …]
|
| H A D | svalue.h | 144 region_model_manager *mgr,
164 region_model_manager *mgr) const;
169 region_model_manager *mgr) const;
298 region_model_manager *mgr) const FINAL OVERRIDE;
338 region_model_manager *mgr) const FINAL OVERRIDE;
408 region_model_manager *mgr) const FINAL OVERRIDE;
646 region_model_manager *mgr) const FINAL OVERRIDE;
905 region_model_manager *mgr) const FINAL OVERRIDE;
993 region_model_manager *mgr) const FINAL OVERRIDE;
1285 region_model_manager *mgr) const FINAL OVERRIDE;
|
| H A D | svalue.cc | 162 region_model_manager *mgr, in can_merge_p()
641 region_model_manager *mgr) const in extract_bit_range()
651 region_model_manager *) const in maybe_fold_bits_within()
879 region_model_manager *mgr) const in maybe_fold_bits_within()
938 region_model_manager *mgr) const in maybe_fold_bits_within()
997 region_model_manager *mgr) const in maybe_fold_bits_within()
1145 region_model_manager *mgr) const in maybe_fold_bits_within()
1373 region_model_manager *mgr) const in maybe_fold_bits_within()
1480 region_model_manager *mgr) const in maybe_fold_bits_within()
1812 region_model_manager *mgr) const in maybe_fold_bits_within()
|
| H A D | region.cc | 324 region::get_byte_size_sval (region_model_manager *mgr) const in get_byte_size_sval()
412 region::get_subregions_for_binding (region_model_manager *mgr, in get_subregions_for_binding()
846 frame_region::get_region_for_local (region_model_manager *mgr, in get_region_for_local()
1099 decl_region::maybe_get_constant_value (region_model_manager *mgr) const in maybe_get_constant_value()
1113 region_model_manager *mgr) const in get_svalue_for_constructor()
1137 decl_region::get_svalue_for_initializer (region_model_manager *mgr) const in get_svalue_for_initializer()
1621 bit_range_region::get_byte_size_sval (region_model_manager *mgr) const in get_byte_size_sval()
|
| H A D | program-state.cc | 125 region_model_manager *
396 if (region_model_manager *mgr = ext_state.get_model_manager ()) in get_state()
718 region_model_manager *mgr = ext_state.get_model_manager (); in canonicalize_svalue()
737 region_model_manager *mgr = eng->get_model_manager (); in program_state()
1497 region_model_manager mgr; in test_sm_state_map()
1526 region_model_manager mgr; in test_sm_state_map()
1550 region_model_manager mgr; in test_sm_state_map()
1585 region_model_manager mgr; in test_sm_state_map()
1623 region_model_manager *mgr = eng.get_model_manager (); in test_program_state_1()
1676 region_model_manager *mgr = eng.get_model_manager (); in test_program_state_merging()
|
| H A D | state-purge.h | 87 region_model_manager *mgr,
204 region_model_manager *mgr);
|
| H A D | constraint-manager.h | 402 constraint_manager (region_model_manager *mgr) : m_mgr (mgr) {}
496 region_model_manager *m_mgr;
|
| H A D | region-model-impl-calls.cc | 85 region_model_manager *
221 region_model_manager *mgr = m_model->get_manager (); in get_or_create_conjured_svalue()
819 region_model_manager *mgr = model->get_manager (); in impl_call_strchr()
|
| H A D | program-state.h | 59 region_model_manager *get_model_manager () const;
|
| H A D | analyzer.h | 72 class region_model_manager; variable
|
| H A D | state-purge.cc | 212 region_model_manager *mgr, in state_purge_map()
718 region_model_manager *mgr) in process_worklists()
|
| H A D | diagnostic-manager.cc | 318 auto_checking_feasibility (region_model_manager *mgr) : m_mgr (mgr) in auto_checking_feasibility()
327 region_model_manager *m_mgr;
382 region_model_manager *mgr = m_eg.get_engine ()->get_model_manager (); in explore_feasible_paths()
|
| H A D | exploded-graph.h | 993 feasibility_state (region_model_manager *manager,
|
| H A D | engine.cc | 2402 region_model_manager *mgr = ext_state.get_model_manager (); in mark_params_as_tainted()
4496 feasibility_state::feasibility_state (region_model_manager *manager, in feasibility_state()
|