From 77cf173d744e40995b04eb21625e6089a375f6a1 Mon Sep 17 00:00:00 2001 From: Michael Beck Date: Thu, 6 Dec 2007 17:11:09 +0000 Subject: [PATCH] handle __assume only on Confirms are NOT disabled [r18628] --- ast2firm.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ast2firm.c b/ast2firm.c index 7686794..d8d58c4 100644 --- a/ast2firm.c +++ b/ast2firm.c @@ -1461,7 +1461,10 @@ static ir_node *unary_expression_to_firm(const unary_expression_t *expression) return create_conv(dbgi, value_node, mode); } case EXPR_UNARY_ASSUME: - return handle_assume(dbgi, value); + if(firm_opt.confirm) + return handle_assume(dbgi, value); + else + return NULL; default: break; -- 2.20.1