klocwork: fix risk issues

This commit is contained in:
Hong, Yang A
2022-05-31 06:30:18 +00:00
committed by Konstantinos Margaritis
parent 75dbedeebe
commit 978105a4c0
15 changed files with 61 additions and 10 deletions

View File

@@ -70,8 +70,8 @@ class undirected_graph_edge_descriptor
using base_vertex_type = typename base_graph_traits::vertex_descriptor;
base_edge_type underlying_edge;
const base_graph_type *g;
bool reverse; // if true, reverse vertices in source() and target()
const base_graph_type *g = nullptr;
bool reverse = false; // if true, reverse vertices in source() and target()
inline std::pair<base_vertex_type, base_vertex_type>
canonical_edge() const {

View File

@@ -133,7 +133,7 @@ public:
: lit(&lit_in), idx(idx_in) {}
const ue2_literal *lit = nullptr;
size_t idx;
size_t idx = 0;
};
using const_reverse_iterator = std::reverse_iterator<const_iterator>;