Searched refs:rejected_constraint (Results 1 – 9 of 9) sorted by relevance
118 rejected_constraint *rc) in infeasible_node()129 rejected_constraint *m_rc;196 rejected_constraint *rc);
654 rejected_constraint **out);712 rejected_constraint **out);814 rejected_constraint **out);818 rejected_constraint **out);821 rejected_constraint **out);1221 class rejected_constraint1224 virtual ~rejected_constraint () {} in ~rejected_constraint()1230 rejected_constraint (const region_model &model) in rejected_constraint() function1237 class rejected_op_constraint : public rejected_constraint1242 : rejected_constraint (model), in rejected_op_constraint()[all …]
973 rejected_constraint *rc) in feasibility_problem()984 rejected_constraint *m_rc;999 rejected_constraint **out_rc);
187 rejected_constraint *rc) in add_feasibility_problem()
81 class rejected_constraint; variable
1403 * analyzer.h (struct rejected_constraint): Convert to...1404 (class rejected_constraint): ...this.1516 (rejected_constraint::dump_to_pp): Convert to...1524 (struct rejected_constraint): Split into...1525 (class rejected_constraint):...this new abstract base class,3730 * analyzer.h (struct rejected_constraint): New decl.3746 rejected_constraint ** to model.maybe_update_for_edge and transfer3750 Drop "model" param; add rejected_constraint * param.3760 adding a rejected_constraint ** param.3761 (region_model::maybe_update_for_edge): Add rejected_constraint **[all …]
3311 rejected_constraint **out) in add_constraint()3682 rejected_constraint **out) in maybe_update_for_edge()3843 rejected_constraint **out) in apply_constraints_for_gcond()3871 rejected_constraint **out) in apply_constraints_for_gswitch()3896 rejected_constraint **out) in apply_constraints_for_exception()
496 rejected_constraint *rc = NULL; in process_worklist_item()
4384 rejected_constraint *rc = NULL; in feasible_p()4526 rejected_constraint **out_rc) in maybe_update_for_edge()