Re: optimization/9079: Inline constant function pointers

Re: optimization/9079: Inline constant function pointers

[bangerth]

Synopsis: Inline constant function pointers

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Sat Mar 22 18:24:45 2003
State-Changed-Why:
    Confirmed on all branches

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9079

optimization/9079: Inline constant function pointers

[Matthias Klose]

>Number:         9079
>Category:       optimization
>Synopsis:       Inline constant function pointers
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    unassigned
>State:          open
>Class:          change-request
>Submitter-Id:   net
>Arrival-Date:   Sat Dec 28 03:26:05 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Ian Turner <vectro@pipeline.com>
>Release:        3.2.1 (Debian) (Debian unstable)
>Organization:
The Debian Project
>Environment:
System: Debian GNU/Linux (unstable)
Architecture: i686
host: i386-linux
Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,proto,pascal,objc,ada --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.2 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --enable-__cxa_atexit --enable-clocale=gnu --enable-java-gc=boehm --enable-objc-gc i386-linux
Thread model: posix
gcc version 3.2.2 20021212 (Debian prerelease)
>Description:
[ Reported to the Debian BTS as report #173513.
  Please CC 173513@bugs.debian.org on replies.
  Log of report can be found at http://bugs.debian.org/173513 ]
	

Currently GCC will not inline a call of a function pointer that is known 
at compile time. For example, the following code will still result in 
the instruction "call funk" when run with -finline-functions on i386:

#include <stdio.h>

static char* funk() {
  return "Hello World.\n";
}

static void funky(char*(*func)()) {
  printf("%s", func());
}

void main() {
  funky(funk);
}

Although the call to funky is inlined, the call to funk is not, because 
in the source code it appears as a call of a function pointer. But as a 
consequence of funky being inlined, it would be possible to inline funk 
as well.
>How-To-Repeat:
	
>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: