replaced malloc by xmalloc
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 22 Mar 2006 14:29:28 +0000 (14:29 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 22 Mar 2006 14:29:28 +0000 (14:29 +0000)
ir/be/becopyilp.c

index 1964a43..296f1a4 100644 (file)
@@ -23,7 +23,7 @@
 
 
 size_red_t *new_size_red(copy_opt_t *co) {
-       size_red_t *res = malloc(sizeof(*res));
+       size_red_t *res = xmalloc(sizeof(*res));
 
        res->co = co;
        res->all_removed = pset_new_ptr_default();
@@ -137,7 +137,7 @@ void free_size_red(size_red_t *sr) {
 #include <stdio.h>
 
 ilp_env_t *new_ilp_env(copy_opt_t *co, ilp_callback build, ilp_callback apply, void *env) {
-       ilp_env_t *res = malloc(sizeof(*res));
+       ilp_env_t *res = xmalloc(sizeof(*res));
        assert(res);
 
        res->co = co;