From 59596d26a44c1f3aefabc0b48c18fb25287db150 Mon Sep 17 00:00:00 2001
From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Thu, 31 Mar 2011 13:24:13 +0200
Subject: [PATCH] Activate fp-vrp at -O2.

---
 main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.c b/main.c
index 7f3a087..702ef70 100644
--- a/main.c
+++ b/main.c
@@ -821,6 +821,7 @@ int main(int argc, char **argv)
 	case 2:
 		set_option("strict-aliasing");
 		set_option("inline");
+		set_option("fp-vrp");
 		set_option("deconv");
 		set_be_option("omitfp");
 		break;
-- 
2.20.1