| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | constraint-manager.h | 65 tristate eval_condition (enum tree_code op,
132 tristate eval_condition (enum tree_code op,
455 tristate eval_condition (equiv_class_id lhs,
458 tristate eval_condition (equiv_class_id lhs_ec,
461 tristate eval_condition (const svalue *lhs,
|
| H A D | region-model.cc | 762 tristate t = eval_condition (rhs1_sval, op, rhs2_sval); in get_gassign_result()
1999 tristate eq_zero = eval_condition (fake_retval_sval, EQ_EXPR, zero_sval); in on_longjmp()
2919 region_model::eval_condition (const svalue *lhs, in eval_condition() function in ana::region_model
2934 return m_constraints->eval_condition (lhs, op, rhs); in eval_condition()
2996 tristate res = region_svalue::eval_condition (lhs_ptr, op, rhs_ptr); in eval_condition_without_cm()
3006 return constant_svalue::eval_condition (cst_lhs, op, cst_rhs); in eval_condition_without_cm()
3066 tristate lhs_ts = eval_condition (unaryop->get_arg (), in eval_condition_without_cm()
3269 tristate t_cond = eval_condition (lhs, op, rhs); in add_constraint()
3324 region_model::eval_condition (tree lhs, in eval_condition() function in ana::region_model
3334 return eval_condition (get_rvalue (lhs, ctxt), op, get_rvalue (rhs, ctxt)); in eval_condition()
[all …]
|
| H A D | constraint-manager.cc | 224 range::eval_condition (enum tree_code op, tree rhs_const) const in eval_condition() function in ana::range
731 bounded_ranges::eval_condition (enum tree_code op, in eval_condition() function in ana::bounded_ranges
1774 tristate t_cond = eval_condition (lhs, op, rhs); in add_constraint()
1791 tristate t = eval_condition (lhs_ec_id, op, rhs_ec_id); in add_constraint()
1841 tristate t = eval_condition (lhs_ec_id, op, rhs_ec_id); in add_constraint()
2267 constraint_manager::eval_condition (equiv_class_id lhs_ec, in eval_condition() function in ana::constraint_manager
2391 constraint_manager::eval_condition (equiv_class_id lhs_ec, in eval_condition() function in ana::constraint_manager
2455 return iter.m_ranges->eval_condition (op, rhs_const, mgr); in eval_condition()
2459 tristate result = lhs_bounds.eval_condition (op, rhs_const); in eval_condition()
2474 constraint_manager::eval_condition (const svalue *lhs, in eval_condition() function in ana::constraint_manager
[all …]
|
| H A D | region-model.h | 696 tristate eval_condition (const svalue *lhs,
704 tristate eval_condition (tree lhs,
|
| H A D | svalue.h | 243 static tristate eval_condition (const region_svalue *lhs_ptr,
291 static tristate eval_condition (const constant_svalue *lhs,
|
| H A D | svalue.cc | 760 region_svalue::eval_condition (const region_svalue *lhs, in eval_condition() function in ana::region_svalue
850 constant_svalue::eval_condition (const constant_svalue *lhs, in eval_condition() function in ana::constant_svalue
|
| H A D | ChangeLog | 58 * region-model.cc (region_model::eval_condition): Handle e.g.
940 (constraint_manager::eval_condition): Reject if range::add_bound
1432 (bounded_ranges::eval_condition): New.
1465 (constraint_manager::eval_condition): Use new field
4376 comparisons, only use eval_condition when the lhs has boolean
4581 (range::eval_condition): New.
4614 (constraint_manager::eval_condition): Make const. Call
4617 (constraint_manager::eval_condition): New overloads. Make
4657 (struct::eval_condition): New decl.
4684 (constraint_manager::eval_condition): Likewise. Add overloads.
[all …]
|
| H A D | region-model-impl-calls.cc | 359 tristate t = eval_condition (t_arg, NE_EXPR, integer_zero_node, ctxt); in impl_call_analyzer_eval()
|
| H A D | sm-taint.cc | 996 = old_model->eval_condition (divisor_sval, NE_EXPR, zero_sval); in check_for_tainted_divisor()
|
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | constraint-manager.h | 213 tristate eval_condition (equiv_class_id lhs,
216 tristate eval_condition (svalue_id lhs,
|
| H A D | region-model.cc | 600 region_svalue::eval_condition (region_svalue *lhs, in eval_condition() function in ana::region_svalue
697 constant_svalue::eval_condition (constant_svalue *lhs, in eval_condition() function in ana::constant_svalue
4269 tristate t = eval_condition (rhs1_sid, op, rhs2_sid); in on_assignment()
4779 tristate eq_zero = eval_condition (fake_retval_sid, EQ_EXPR, zero_sid); in on_longjmp()
5492 region_model::eval_condition (svalue_id lhs_sid, in eval_condition() function in ana::region_model
5511 return m_constraints->eval_condition (lhs_sid, op, rhs_sid); in eval_condition()
5567 tristate res = region_svalue::eval_condition (lhs_ptr, op, rhs_ptr); in eval_condition_without_cm()
5576 return constant_svalue::eval_condition (cst_lhs, op, cst_rhs); in eval_condition_without_cm()
5627 tristate t_cond = eval_condition (lhs_sid, op, rhs_sid); in add_constraint()
5798 region_model::eval_condition (tree lhs, in eval_condition() function in ana::region_model
[all …]
|
| H A D | constraint-manager.cc | 661 tristate t = eval_condition (lhs_ec_id, op, rhs_ec_id); in add_constraint()
992 constraint_manager::eval_condition (equiv_class_id lhs_ec, in eval_condition() function in ana::constraint_manager
1058 constraint_manager::eval_condition (svalue_id lhs, in eval_condition() function in ana::constraint_manager
1062 return eval_condition (get_or_add_equiv_class (lhs), in eval_condition()
1335 if (m_cm_b->eval_condition (lhs, code, rhs).is_true ()) in on_fact()
|
| H A D | region-model.h | 566 static tristate eval_condition (region_svalue *lhs_ptr,
625 static tristate eval_condition (constant_svalue *lhs,
1809 tristate eval_condition (svalue_id lhs,
1815 tristate eval_condition (tree lhs,
|
| H A D | engine.cc | 1057 = state->m_region_model->eval_condition (t_arg, in on_stmt()
|