projects
/
cparser
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
130a36e
)
we can safely enable set_opt_sel_based_null_check_elim() because we use Sel's only...
author
Michael Beck
<beck@ipd.info.uni-karlsruhe.de>
Thu, 3 Apr 2008 13:17:40 +0000
(13:17 +0000)
committer
Michael Beck
<beck@ipd.info.uni-karlsruhe.de>
Thu, 3 Apr 2008 13:17:40 +0000
(13:17 +0000)
[r19091]
driver/firm_opt.c
patch
|
blob
|
history
diff --git
a/driver/firm_opt.c
b/driver/firm_opt.c
index
9eaea88
..
1314336
100644
(file)
--- 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);