From 1bfc3637cbc8ec3e47368a0b3b2ec80d080861b0 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Tue, 9 Dec 2008 10:08:25 +0000 Subject: [PATCH] include be.h in firm.h, assert that get_value/set_value have pos>=0 [r24442] --- include/libfirm/firm.h | 2 ++ ir/ir/ircons.c | 3 +++ 2 files changed, 5 insertions(+) diff --git a/include/libfirm/firm.h b/include/libfirm/firm.h index ffb43edb5..b0361c70b 100644 --- a/include/libfirm/firm.h +++ b/include/libfirm/firm.h @@ -120,6 +120,8 @@ extern "C" { #include "iredges.h" +#include "be.h" + /** * libFirm initialization parameters. */ diff --git a/ir/ir/ircons.c b/ir/ir/ircons.c index 2d60c31ea..4479adf9a 100644 --- a/ir/ir/ircons.c +++ b/ir/ir/ircons.c @@ -2770,6 +2770,8 @@ get_d_value(dbg_info *db, int pos, ir_mode *mode) { inc_irg_visited(irg); (void) db; + assert(pos >= 0); + return get_r_value_internal(irg->current_block, pos + 1, mode); } /* get_d_value */ @@ -2784,6 +2786,7 @@ void set_value(int pos, ir_node *value) { ir_graph *irg = current_ir_graph; assert(get_irg_phase_state(irg) == phase_building); + assert(pos >= 0); assert(pos+1 < irg->n_loc); assert(is_ir_node(value)); irg->current_block->attr.block.graph_arr[pos + 1] = value; -- 2.20.1