From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 6 Dec 2007 17:11:09 +0000 (+0000)
Subject: handle __assume only on Confirms are NOT disabled
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=77cf173d744e40995b04eb21625e6089a375f6a1;p=cparser

handle __assume only on Confirms are NOT disabled

[r18628]
---

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;