diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-09-29 11:25:13 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-09-29 16:56:02 -0400 |
| commit | 9b4b1ed50f1e0f252a86851456b58bb2e142c495 (patch) | |
| tree | 7178fe634507e15918ae05229763e14ab4213238 | |
| parent | 7cbfe0894dea4128805595dce3f23d0530b33a3c (diff) | |
| download | gcc-9b4b1ed50f1e0f252a86851456b58bb2e142c495.zip gcc-9b4b1ed50f1e0f252a86851456b58bb2e142c495.tar.gz gcc-9b4b1ed50f1e0f252a86851456b58bb2e142c495.tar.bz2 | |
analyzer: silence -Wsign-compare warnings
gcc/analyzer/ChangeLog:
* constraint-manager.cc
(constraint_manager::add_constraint_internal): Whitespace fixes.
Silence -Wsign-compare warning.
* engine.cc (maybe_process_run_of_before_supernode_enodes):
Silence -Wsign-compare warning.
| -rw-r--r-- | gcc/analyzer/constraint-manager.cc | 6 | ||||
| -rw-r--r-- | gcc/analyzer/engine.cc | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/gcc/analyzer/constraint-manager.cc b/gcc/analyzer/constraint-manager.cc index 5cd2c9e..603b228 100644 --- a/gcc/analyzer/constraint-manager.cc +++ b/gcc/analyzer/constraint-manager.cc @@ -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); diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 84eaa84..c15d119 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -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. */ |