Home
last modified time | relevance | path

Searched refs:constraint_manager (Results 1 – 15 of 15) sorted by relevance

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dconstraint-manager.h26 class constraint_manager; variable
50 void add (svalue_id sid, const constraint_manager &cm);
93 const equiv_class &get_obj (const constraint_manager &cm) const;
94 equiv_class &get_obj (constraint_manager &cm) const;
133 void print (pretty_printer *pp, const constraint_manager &cm) const;
164 class constraint_manager
167 constraint_manager () {} in constraint_manager() function
168 constraint_manager (const constraint_manager &other);
169 virtual ~constraint_manager () {} in ~constraint_manager()
171 virtual constraint_manager *clone (region_model *) const = 0;
[all …]
H A Dconstraint-manager.cc247 equiv_class::add (svalue_id sid, const constraint_manager &cm) in add()
402 constraint::print (pretty_printer *pp, const constraint_manager &cm) const in print()
446 equiv_class_id::get_obj (const constraint_manager &cm) const in get_obj()
454 equiv_class_id::get_obj (constraint_manager &cm) const in get_obj()
474 constraint_manager::constraint_manager (const constraint_manager &other) in constraint_manager() function in ana::constraint_manager
489 constraint_manager&
490 constraint_manager::operator= (const constraint_manager &other) in operator =()
511 constraint_manager::hash () const in hash()
528 constraint_manager::operator== (const constraint_manager &other) const in operator ==()
554 constraint_manager::print (pretty_printer *pp) const in print()
[all …]
H A Danalyzer.h51 class constraint_manager; variable
H A Dregion-model.h1844 constraint_manager *get_constraints () in get_constraints()
1933 constraint_manager *m_constraints; // TODO: embed, rather than dynalloc?
H A Dregion-model.cc146 class impl_constraint_manager : public constraint_manager
150 : constraint_manager (), in impl_constraint_manager()
156 : constraint_manager (other), in impl_constraint_manager()
160 constraint_manager *clone (region_model *model) const in clone()
6830 constraint_manager::merge (*m_constraints, in can_merge_with_p()
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dconstraint-manager.h26 class constraint_manager; variable
294 const equiv_class &get_obj (const constraint_manager &cm) const;
295 equiv_class &get_obj (constraint_manager &cm) const;
334 void print (pretty_printer *pp, const constraint_manager &cm) const;
348 const constraint_manager &cm) const;
377 void print (pretty_printer *pp, const constraint_manager &cm) const;
399 class constraint_manager
402 constraint_manager (region_model_manager *mgr) : m_mgr (mgr) {}
403 constraint_manager (const constraint_manager &other);
404 virtual ~constraint_manager () {}
[all …]
H A Dconstraint-manager.cc1322 constraint::print (pretty_printer *pp, const constraint_manager &cm) const in print()
1382 const constraint_manager &cm) const in implied_by()
1408 const constraint_manager &cm) const in print()
1452 equiv_class_id::get_obj (const constraint_manager &cm) const in get_obj()
1460 equiv_class_id::get_obj (constraint_manager &cm) const in get_obj()
1480 constraint_manager::constraint_manager (const constraint_manager &other) in constraint_manager() function in ana::constraint_manager
1499 constraint_manager&
1500 constraint_manager::operator= (const constraint_manager &other) in operator =()
1524 constraint_manager::hash () const in hash()
1543 constraint_manager::operator== (const constraint_manager &other) const in operator ==()
[all …]
H A DChangeLog577 * constraint-manager.cc (constraint_manager::add_constraint):
936 (constraint_manager::add_constraint): Handle SVAL + OFFSET
938 (constraint_manager::get_ec_bounds): Rewrite in terms of
940 (constraint_manager::eval_condition): Reject if range::add_bound
951 constraint_manager::add_constraint fails.
1109 (constraint_manager::canonicalize): Call it when determining
1285 (constraint_manager::get_or_add_equiv_class): Guard against NULL
1451 (constraint_manager::constraint_manager): Update for new field
1453 (constraint_manager::operator=): Likewise.
1454 (constraint_manager::hash): Likewise.
[all …]
H A Danalyzer.h82 class constraint_manager; variable
H A Dregion-model.h728 constraint_manager *get_constraints () in get_constraints()
866 constraint_manager *m_constraints; // TODO: embed, rather than dynalloc?
H A Dregion-model.cc255 m_constraints = new constraint_manager (mgr); in region_model()
262 m_constraints (new constraint_manager (*other.m_constraints)), in region_model()
286 m_constraints = new constraint_manager (*other.m_constraints); in operator =()
4221 constraint_manager::merge (*m_constraints, in can_merge_with_p()
/netbsd-src/external/gpl3/gcc/dist/gcc/doc/
H A Danalyzer.texi257 can be pointers to regions. It also stores a constraint_manager,
276 constraint_manager:
421 The constraint_manager's implementation of transitivity is currently too
H A Dgccint.info47160 pointers to regions. It also stores a constraint_manager, capturing
47178 constraint_manager:
47300 * The constraint_manager's implementation of transitivity is
/netbsd-src/external/gpl3/gcc.old/dist/gcc/doc/
H A Danalyzer.texi250 to regions. It also stores a constraint_manager, capturing relationships
414 The constraint_manager's implementation of transitivity is currently too
H A Dgccint.info45515 regions. It also stores a constraint_manager, capturing relationships
45654 * The constraint_manager's implementation of transitivity is