Hi! Is there a way to mark a TREE statement (or a variable) so that a warning is issued at a later stage if the statement has not been removed in the meantime?
I am thinking, for example, of Fortran's -Warray-temporaries, which
issues a warning in the front end even though the whole temporary
array may be optimized away later. We could, for example, mark
a call to malloc in such a way.
Regards
Thomas
