From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 3 Apr 2008 13:17:40 +0000 (+0000)
Subject: we can safely enable set_opt_sel_based_null_check_elim() because we use Sel's only... 
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=9a2fa0297379908605bafee1aaa9ac4c7ffb227e;p=cparser

we can safely enable set_opt_sel_based_null_check_elim() because we use Sel's only for compound member access

[r19091]
---

diff --git a/driver/firm_opt.c b/driver/firm_opt.c
index 9eaea88..1314336 100644
--- a/driver/firm_opt.c
+++ b/driver/firm_opt.c
@@ -954,6 +954,9 @@ void gen_firm_init(void)
   set_opt_precise_exc_context(firm_opt.precise_exc);
   set_opt_fragile_ops(firm_opt.fragile_ops);
 
+  /* Sel node cannot produce NULL pointers */
+  set_opt_sel_based_null_check_elim(1);
+
   /* dynamic dispatch works currently only if whole world scenarios */
   set_opt_dyn_meth_dispatch(0);