other/3871: Enabled warning message is not generated

other/3871: Enabled warning message is not generated

[igusarov]

>Number:         3871
>Category:       other
>Synopsis:       Enabled warning message is not generated
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Jul 29 23:46:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Igor A. Goussarov
>Release:        3.0
>Organization:
Akella
>Environment:
System: FreeBSD igor.studio1001.akella.ru 4.0-RELEASE FreeBSD 4.0-RELEASE #4: Sat Jun 23 21:04:41 MSD 2001 root@igor.studio1001.akella.ru:/usr/src/sys/compile/IGOR i386


	
host: i386-unknown-freebsd4.0
build: i386-unknown-freebsd4.0
target: i386-unknown-freebsd4.0
configured with: ./configure --prefix=/usr/local : (reconfigured) ./configure --prefix=/usr : (reconfigured) ./configure --prefix=/usr
>Description:
	-Winline switch is supposed to issue warnings for all functions that
        are declared 'inline' but cannot be inlined. The following example
        compiled with '-c -O3 -Wall -Winline' does not generate such warning.
        The same situation holds if a function was explicitely declared
        inline, but the compiler decided not to inline it (e.g. any function
        containing a call to setjmp()).
>How-To-Repeat:
        compile this code with '-c -O3 -Wall -Winline' options

	inline void foo();
        int main(int, char**)
        {
         foo();
         return 0;
        };
>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: