------- Comment #4 from rguenth at gcc dot gnu dot org 2009-10-13 09:46 -------
So your half-way would be only useful for static analysis, but not for any
optimization decision. Consider a function currently being
void doIt() {}
in the shared library. Now, if GCC sees the body it can deduce that calls
to it are useless and it will DCE them. Next, the shared library
implementation
changes to
void doIt() { printf("Hello"); }
which is perfectly valid. Thus, GCC has miscompiled the program.
So - it's not going to work in any way that will give extra information
to GCC.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41681
