@@ -1014,10 +1014,10 @@ constraint_manager::add_unknown_constraint (equiv_class_id lhs_ec_id,
void
constraint_manager::add_constraint_internal (equiv_class_id lhs_id,
- enum constraint_op c_op,
- equiv_class_id rhs_id)
+ enum constraint_op c_op,
+ equiv_class_id rhs_id)
{
- if (m_constraints.length () >= param_analyzer_max_constraints)
+ if (m_constraints.length () >= (unsigned)param_analyzer_max_constraints)
return;
constraint new_c (lhs_id, c_op, rhs_id);
@@ -2629,7 +2629,7 @@ maybe_process_run_of_before_supernode_enodes (exploded_node *enode)
}
got_merger:
gcc_assert (it->m_merger_idx >= 0);
- gcc_assert (it->m_merger_idx < merged_states.length ());
+ gcc_assert ((unsigned)it->m_merger_idx < merged_states.length ());
}
/* Create merger nodes. */