------- Additional Comments From steven at gcc dot gnu dot org 2004-11-24
00:34 -------
Giovanni, your patch actually looks correct to me.
It may be just exposing a latent bug in the C front end. I'm not
sure but I'd expect that if a function is declared inline as in
testsuite/gcc.dg/winline-2.c:
/* { dg-do compile } */
/* { dg-options "-Winline -O2" } */
inline int q(void); /* { dg-warning "body not available" "" } */
inline int t(void)
{
return q(); /* { dg-warning "called from here" "" } */
}
then q should be DECL_DECLARED_INLINE - but it looks like it's not,
or you shouldn't see those new FAILs.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18071
