Re: identifing free() in tree-ssa

2007-01-02 Thread Basile STARYNKEVITCH
On Tue, Jan 02, 2007 at 02:30:45PM -0700, Roger Sayle wrote: > > I think recognizing "free" as a built-in (without an intrinsic) is the > correct way to go. In theory, all of the functions listed in > cp/cfns.gperf should be defined via builtins.def, but unfortunately > the compile-time (and memo

Re: identifing free() in tree-ssa

2007-01-03 Thread Bernhard R. Link
* Basile STARYNKEVITCH <[EMAIL PROTECTED]> [070102 22:49]: > Maybe, instead of using built-ins, we could extend the __attribute__ > facility for functions (and expect the libc developers to progressively use > them). Eg > >void free(void*) __attribute((pointer_invalid(1))); > > would mean tha