"Richard Guenther" <[EMAIL PROTECTED]> writes: > > CHANGE_DYNAMIC_TYPE_EXPR has the target type, of course. So perhaps > > we need __attribute__ ((change_dynamic_type))? > > > > Or actually of course __attribute__ ((malloc)) is fine but we could > > throw in a CHANGE_DYNAMIC_TYPE_EXPR after any call to such a > > function. That ought to do the right thing for C malloc > > implementations as well, I think. > > We should need this only if inlining malloc functions in C.
Which we will presumably do at some point. After all, it's not just malloc--it's any function with __attribute__ ((malloc)), which can include user functions. Ian
