The inliner decides sth stupid here (IMHO - inlining a function into a thunk) but at least we shouldn't crash (the tailcall in the thunk has no BLOCK associated with it).
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2015-08-05 Richard Biener <rguent...@suse.de> PR tree-optimization/67055 * tree-ssa-ccp.c (fold_builtin_alloca_with_align): Handle NULL gimple_block. * g++.dg/torture/pr67055.C: New testcase. Index: gcc/tree-ssa-ccp.c =================================================================== --- gcc/tree-ssa-ccp.c (revision 226577) +++ gcc/tree-ssa-ccp.c (working copy) @@ -2107,6 +2120,7 @@ fold_builtin_alloca_with_align (gimple s as a declared array, so we allow a larger size. */ block = gimple_block (stmt); if (!(cfun->after_inlining + && block && TREE_CODE (BLOCK_SUPERCONTEXT (block)) == FUNCTION_DECL)) threshold /= 10; if (size > threshold) Index: gcc/testsuite/g++.dg/torture/pr67055.C =================================================================== --- gcc/testsuite/g++.dg/torture/pr67055.C (revision 0) +++ gcc/testsuite/g++.dg/torture/pr67055.C (working copy) @@ -0,0 +1,44 @@ +// { dg-do compile } +// { dg-additional-options "-std=c++14" } + +namespace std { + typedef __SIZE_TYPE__ size_t; + struct nothrow_t; +} +namespace vespamalloc { + void fn1(void *); + template <typename> class A { + public: + static unsigned long fillStack(unsigned long); + }; + template <typename StackRep> + unsigned long A<StackRep>::fillStack(unsigned long p1) { + void *retAddr[p1]; + fn1(retAddr); + } + class B { + protected: + B(void *); + }; + template <int StackTraceLen> class D : B { + public: + D() : B(0) {} + void alloc(int) { A<int>::fillStack(StackTraceLen); } + }; + template <typename, typename> class C { + public: + void *malloc(unsigned long); + }; + template <typename MemBlockPtrT, typename ThreadListT> + void *C<MemBlockPtrT, ThreadListT>::malloc(unsigned long) { + MemBlockPtrT mem; + mem.alloc(0); + } + C<D<16>, int> *_GmemP; +} +void *operator new(std::size_t, std::nothrow_t &) noexcept { + return vespamalloc::_GmemP->malloc(0); +} +void *operator new[](std::size_t, std::nothrow_t &) noexcept { + return vespamalloc::_GmemP->malloc(0); +}