yann@1: Workaround for buglet in std::vector etc. when compiling yann@1: with gcc-4.0.1 -Wall -O -fno-exceptions yann@1: Fixes: yann@1: yann@1: .../include/c++/4.0.0/bits/vector.tcc: In member function 'void std::vector<_Tp, yann@1: _Alloc>::reserve(size_t) [with _Tp = int, _Alloc = std::allocator]': yann@1: .../include/c++/4.0.0/bits/vector.tcc:78: warning: control may reach end of yann@1: non-void function 'typename _Alloc::pointer std::vector<_Tp, yann@1: _Alloc>::_M_allocate_and_copy(size_t, _ForwardIterator, _ForwardIterator) [with yann@1: _ForwardIterator = int*, _Tp = int, _Alloc = std::allocator]' being inlined yann@1: yann@1: See http://gcc.gnu.org/PR21951 yann@1: yann@1: To: gcc-patches at gcc dot gnu dot org yann@1: Subject: [4.0.x] may reach end warning in system headers yann@1: Message-Id: <20050701183024.E138714C16A9@geoffk5.apple.com> yann@1: Date: Fri, 1 Jul 2005 11:30:24 -0700 (PDT) yann@1: From: gkeating at apple dot com (Geoffrey Keating) yann@1: yann@1: yann@1: One of our users was getting yann@1: yann@1: /usr/include/gcc/darwin/4.0/c++/bits/stl_uninitialized.h:113: warning: yann@1: control may reach end of non-void function '_ForwardIterator yann@1: std::__uninitialized_copy_aux(_InputIterator, _InputIterator, yann@1: _ForwardIterator, __false_type) [with _InputIterator = yann@1: __gnu_cxx::__normal_iterator > >, _ForwardIterator = yann@1: __gnu_cxx::__normal_iterator > >]' being inlined yann@1: yann@1: which shouldn't be happening, he has no way to change a standard C++ yann@1: header. The warning is bogus anyway, but it's fixed in 4.1 through yann@1: the CFG changes, which I don't really want to backport to the 4.0 yann@1: branch, so instead I'll add this patch. Other warnings generated from yann@1: tree-inline.c check for DECL_SYSTEM_HEADER like this. yann@1: yann@1: Bootstrapped & tested on powerpc-darwin8, I'll commit when the branch yann@1: is unfrozen. yann@1: yann@1: -- yann@1: - Geoffrey Keating yann@1: yann@1: ===File ~/patches/gcc-40-4121982.patch====================== yann@1: Index: ChangeLog yann@1: 2005-06-28 Geoffrey Keating yann@1: yann@1: * tree-inline.c (expand_call_inline): Prevent 'may reach end' yann@1: warning in system headers. yann@1: yann@1: Index: tree-inline.c yann@1: =================================================================== yann@1: RCS file: /cvs/gcc/gcc/gcc/tree-inline.c,v yann@1: retrieving revision 1.170.8.4 yann@1: diff -u -p -u -p -r1.170.8.4 tree-inline.c yann@1: --- gcc-4.0.1/gcc/tree-inline.c.old 6 Jun 2005 19:20:32 -0000 1.170.8.4 yann@1: +++ gcc-4.0.1/gcc/tree-inline.c 1 Jul 2005 18:27:26 -0000 yann@1: @@ -1693,7 +1693,8 @@ expand_call_inline (tree *tp, int *walk_ yann@1: && !TREE_NO_WARNING (fn) yann@1: && !VOID_TYPE_P (TREE_TYPE (TREE_TYPE (fn))) yann@1: && return_slot_addr == NULL_TREE yann@1: - && block_may_fallthru (copy)) yann@1: + && block_may_fallthru (copy) yann@1: + && !DECL_IN_SYSTEM_HEADER (fn)) yann@1: { yann@1: warning ("control may reach end of non-void function %qD being inlined", yann@1: fn); yann@1: ============================================================ yann@1: