From 9a2fa0297379908605bafee1aaa9ac4c7ffb227e Mon Sep 17 00:00:00 2001 From: Michael Beck Date: Thu, 3 Apr 2008 13:17:40 +0000 Subject: [PATCH] we can safely enable set_opt_sel_based_null_check_elim() because we use Sel's only for compound member access [r19091] --- driver/firm_opt.c | 3 +++ 1 file changed, 3 insertions(+) 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); -- 2.20.1