From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Thu, 31 Mar 2011 11:24:13 +0000 (+0200)
Subject: Activate fp-vrp at -O2.
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=59596d26a44c1f3aefabc0b48c18fb25287db150;p=cparser

Activate fp-vrp at -O2.
---

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;