diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2003-12-07 13:05:43 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2003-12-07 13:05:43 +0000 |
| commit | df5e8205e0893ba79b754ee097d7070abd3b680b (patch) | |
| tree | 4fc0eacaf5bee70d8056e103f0008fb589332fab /gcc/testsuite | |
| parent | 6e3f3080d50a4ca61aac350dd3ecdfc464fd2f2d (diff) | |
| download | gcc-df5e8205e0893ba79b754ee097d7070abd3b680b.zip gcc-df5e8205e0893ba79b754ee097d7070abd3b680b.tar.gz gcc-df5e8205e0893ba79b754ee097d7070abd3b680b.tar.bz2 | |
re PR rtl-optimization/12965 (SEGV+ICE in cc1plus on alpha-linux with -O2)
PR optimization/12965
* caller-save.c (save_call_clobbered_regs): Do not save/restore
registers around no-return calls.
From-SVN: r74389
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/opt/noreturn-1.C | 87 |
2 files changed, 91 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b075f0e..558f7a4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2003-12-07 Falk Hueffner <falk@debian.org> + + * g++.dg/opt/noreturn-1.C: New test. + 2003-12-07 Wolfgang Bangerth <bangerth@dealii.org> * gcc.dg/overflow-1.c: New test. diff --git a/gcc/testsuite/g++.dg/opt/noreturn-1.C b/gcc/testsuite/g++.dg/opt/noreturn-1.C new file mode 100644 index 0000000..9b2fc0c --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/noreturn-1.C @@ -0,0 +1,87 @@ +// PR optimization/12965 +// Origin: <qboosh@pld-linux.org> +// Reduced testcase: Falk Hueffner <falk@debian.org> + +// This ICEd on Alpha because the reload pass emitted save/restore +// insns around a no-return call. + +// { dg-do compile } +// { dg-options "-O2" } + +template <typename _Alloc> class allocator; +template <class _CharT> struct char_traits; +template <typename _CharT, + typename _Traits = char_traits<_CharT>, + typename _Alloc = allocator<_CharT> > +class basic_string; +typedef basic_string<char> string; + +static inline int __exchange_and_add(volatile int * __mem, int __val) { + int __result; + asm("" : "=&r"(__result)); + return __result; +} + +template<typename _Tp> struct allocator { + allocator() throw() { } + allocator(const allocator &) throw() {} +}; + +template<typename _CharT, typename _Traits, typename _Alloc> +struct basic_string { + typedef _Alloc allocator_type; + struct _Rep { + int _M_references; + void _M_dispose(const _Alloc & __a) { + if (__exchange_and_add(&_M_references, -1) <= 0) + _M_destroy(__a); + } void _M_destroy(const _Alloc &) throw(); + }; + struct _Alloc_hider : _Alloc { + _CharT *_M_p; + }; + mutable _Alloc_hider _M_dataplus; + _CharT *_M_data() const { return _M_dataplus._M_p; } + _Rep *_M_rep() const { + return &((reinterpret_cast<_Rep *>(_M_data()))[-1]); + } + basic_string(); + basic_string(const _CharT * __s, const _Alloc & __a = _Alloc()); + ~basic_string() { + _M_rep()->_M_dispose(this->get_allocator()); + } + allocator_type get_allocator() const { return _M_dataplus; } +}; + +struct Egeneric { + void stack(const string & passage, const string & message = "") { } +}; + +struct infinint { + void detruit() throw(Egeneric); + template<class T> void infinint_from(T a) throw(Egeneric); + infinint(long a = 0) throw(Egeneric) { + try { + infinint_from(a); + } catch(Egeneric& e) { + e.stack("infinint::infinint", "long"); + } + } + ~infinint() throw(Egeneric) { + try { + detruit(); + } catch(Egeneric& e) { } + } +}; + +struct inode { + string x; + infinint a, c; + infinint ea_offset; + inode(); +}; + +inode::inode() +{ + ea_offset = 0; +} |