assert(pbqp);
assert(node);
+ (void) pbqp;
+
edge = node->edges[0];
mat = edge->costs;
is_src = edge->src == node;
unsigned pbqp_matrix_get_col_min_index(pbqp_matrix *matrix, unsigned col_index, vector *flags)
{
unsigned row_index;
- unsigned min_index;
- num min = INF_COSTS;
+ unsigned min_index = 0;
+ num min = INF_COSTS;
assert(matrix);
assert(flags);
unsigned pbqp_matrix_get_row_min_index(pbqp_matrix *matrix, unsigned row_index, vector *flags)
{
unsigned col_index;
- unsigned min_index;
- num min = INF_COSTS;
+ unsigned min_index = 0;
+ num min = INF_COSTS;
assert(matrix);
assert(flags);
assert(pbqp);
assert(edge);
+ (void) pbqp;
+
src_node = edge->src;
tgt_node = edge->tgt;
assert(src_node);
assert(pbqp);
+ (void) pbqp;
+
#if KAPS_DUMP
file = pbqp->dump_file;
assert(pbqp);
assert(node);
+ (void) pbqp;
+
edge = node->edges[0];
mat = edge->costs;
is_src = edge->src == node;
unsigned edge_index;
unsigned edge_length = pbqp_node_get_degree(node);
pbqp_node *copy = obstack_alloc(&pbqp->obstack, sizeof(*node));
+
assert(copy);
copy->edges = NEW_ARR_F(pbqp_edge *, 0);
for (edge_index = 0; edge_index < edge_length; ++edge_index) {
- pbqp_edge *edge_copy;
- pbqp_edge *edge = node->edges[edge_index];
- int is_src = edge->src == node;
+ pbqp_edge *edge_copy = NULL;
+ pbqp_edge *edge = node->edges[edge_index];
+ int is_src = edge->src == node;
if (is_src) {
unsigned other_index = edge->tgt->bucket_index;
num res = x + y;
+#if !KAPS_USE_UNSIGNED
/* No positive overflow. */
assert(x < 0 || y < 0 || res >= x);
assert(x < 0 || y < 0 || res >= y);
+#endif
/* No negative overflow. */
assert(x > 0 || y > 0 || res <= x);