Kenneth Zadeck wrote:
I would like to modify fix includes so that it adds the attribute
"pointer-no-escape" onto the function definition of free in stdlib.h
(and possibly some other fuctions as well).
I seem to have lost the original of this message, so I'm going to
throw my comment in here despite its having nothing to do with what
Bruce said.
You should not be solving this problem by editing system headers.
The proper way to add attributes to standard C library functions is
with builtins. See e.g. the handling of BUILT_IN_MALLOC.