------- Additional Comments From dberlin at gcc dot gnu dot org 2005-02-09 03:42 ------- Subject: Re: New: Missing DSE/malloc/free optimization
> void *malloc(__SIZE_TYPE__); > void free(void*); > int f(void) > { > char *i = malloc(1); > *i = 1; > free (i); > } > > This is something which is useful when we want to much higer level > optimizations. This would require an attribute free, which is on the tree-profiling branch Otherwise, you wouldn't know that free is really "free" -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19831