#19904: Crash in SR(QQbar)
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: defect | Status: positive_review
Priority: major | Milestone: sage-7.0
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Ralf Stephan | Reviewers: Jeroen Demeyer
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/rws/segfault_in_sr_qqbar_ | b974f51b47373bbd9fef81bce1b5603ca70e0908
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by jdemeyer:
Old description:
> QQbar wrapped in SR can lead to segfaults:
> {{{
> sage: bool(SR(QQbar(I)) == I)
> terminate called after throwing an instance of 'std::runtime_error'
> what():
> ------------------------------------------------------------------------
> /home/vbraun/Code/sage/local/lib/python2.7/site-
> packages/sage/ext/interrupt/interrupt.so(+0x3da5)[0x7f06b9187da5]
> /home/vbraun/Code/sage/local/lib/python2.7/site-
> packages/sage/ext/interrupt/interrupt.so(+0x3df7)[0x7f06b9187df7]
> /home/vbraun/Code/sage/local/lib/python2.7/site-
> packages/sage/ext/interrupt/interrupt.so(+0x644c)[0x7f06b918a44c]
> /lib64/libpthread.so.0(+0x109f0)[0x7f06c8b0e9f0]
> /lib64/libc.so.6(gsignal+0x38)[0x7f06c8068a98]
> /lib64/libc.so.6(abort+0x16a)[0x7f06c806a69a]
> /home/vbraun/Code/sage/local/lib/libstdc++.so.6(__gnu_cxx::__verbose_terminate_handler()+0x15d)[0x7f06acab2ccd]
> /home/vbraun/Code/sage/local/lib/libstdc++.so.6(+0x5dd46)[0x7f06acab0d46]
> /home/vbraun/Code/sage/local/lib/libstdc++.so.6(+0x5dd91)[0x7f06acab0d91]
> /home/vbraun/Code/sage/local/lib/libstdc++.so.6(+0x5dfa9)[0x7f06acab0fa9]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(py_error(char
> const*)+0x70)[0x7f069376ede0]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::numeric::numeric(_object*,
> bool)+0x1b8)[0x7f069376f9e8]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::numeric::add(GiNaC::numeric
> const&) const+0x1fa)[0x7f0693776c6a]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::operator+(GiNaC::numeric
> const&, GiNaC::numeric const&)+0x9)[0x7f069377a3a9]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::numeric::add_dyn(GiNaC::numeric
> const&) const+0x39)[0x7f0693770889]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::expairseq::combine_overall_coeff(GiNaC::ex
> const&)+0x1a)[0x7f06936d163a]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::expairseq::construct_from_2_ex(GiNaC::ex
> const&, GiNaC::ex const&)+0x375)[0x7f06936d6515]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::add::add(GiNaC::ex
> const&, GiNaC::ex const&)+0x63)[0x7f06936a5a73]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::operator-(GiNaC::ex
> const&, GiNaC::ex const&)+0x5f)[0x7f069377b0af]
> /home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::relational::decide()
> const+0x46)[0x7f069378b886]
> /home/vbraun/Code/sage/local/lib/python2.7/site-
> packages/sage/symbolic/expression.so(+0x9ec48)[0x7f0693387c48]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyObject_IsTrue+0x37)[0x7f06c8dbaa57]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(+0x54e4e)[0x7f06c8d6fe4e]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(+0xbcb63)[0x7f06c8dd7b63]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyObject_Call+0x43)[0x7f06c8d6dc43]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x3b2e)[0x7f06c8e2228e]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCode+0x19)[0x7f06c8e256c9]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x58de)[0x7f06c8e2403e]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCode+0x19)[0x7f06c8e256c9]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyRun_FileExFlags+0x8a)[0x7f06c8e4949a]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyRun_SimpleFileExFlags+0xd7)[0x7f06c8e4aa27]
> /home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(Py_Main+0xc25)[0x7f06c8e60c25]
> /lib64/libc.so.6(__libc_start_main+0xf0)[0x7f06c8054580]
> python(_start+0x29)[0x400769]
> }}}
New description:
QQbar wrapped in SR can lead to Sage crashing:
{{{
sage: bool(SR(QQbar(I)) == I)
terminate called after throwing an instance of 'std::runtime_error'
what():
------------------------------------------------------------------------
/home/vbraun/Code/sage/local/lib/python2.7/site-
packages/sage/ext/interrupt/interrupt.so(+0x3da5)[0x7f06b9187da5]
/home/vbraun/Code/sage/local/lib/python2.7/site-
packages/sage/ext/interrupt/interrupt.so(+0x3df7)[0x7f06b9187df7]
/home/vbraun/Code/sage/local/lib/python2.7/site-
packages/sage/ext/interrupt/interrupt.so(+0x644c)[0x7f06b918a44c]
/lib64/libpthread.so.0(+0x109f0)[0x7f06c8b0e9f0]
/lib64/libc.so.6(gsignal+0x38)[0x7f06c8068a98]
/lib64/libc.so.6(abort+0x16a)[0x7f06c806a69a]
/home/vbraun/Code/sage/local/lib/libstdc++.so.6(__gnu_cxx::__verbose_terminate_handler()+0x15d)[0x7f06acab2ccd]
/home/vbraun/Code/sage/local/lib/libstdc++.so.6(+0x5dd46)[0x7f06acab0d46]
/home/vbraun/Code/sage/local/lib/libstdc++.so.6(+0x5dd91)[0x7f06acab0d91]
/home/vbraun/Code/sage/local/lib/libstdc++.so.6(+0x5dfa9)[0x7f06acab0fa9]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(py_error(char
const*)+0x70)[0x7f069376ede0]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::numeric::numeric(_object*,
bool)+0x1b8)[0x7f069376f9e8]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::numeric::add(GiNaC::numeric
const&) const+0x1fa)[0x7f0693776c6a]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::operator+(GiNaC::numeric
const&, GiNaC::numeric const&)+0x9)[0x7f069377a3a9]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::numeric::add_dyn(GiNaC::numeric
const&) const+0x39)[0x7f0693770889]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::expairseq::combine_overall_coeff(GiNaC::ex
const&)+0x1a)[0x7f06936d163a]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::expairseq::construct_from_2_ex(GiNaC::ex
const&, GiNaC::ex const&)+0x375)[0x7f06936d6515]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::add::add(GiNaC::ex
const&, GiNaC::ex const&)+0x63)[0x7f06936a5a73]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::operator-(GiNaC::ex
const&, GiNaC::ex const&)+0x5f)[0x7f069377b0af]
/home/vbraun/Code/sage/local/lib/libpynac.so.0(GiNaC::relational::decide()
const+0x46)[0x7f069378b886]
/home/vbraun/Code/sage/local/lib/python2.7/site-
packages/sage/symbolic/expression.so(+0x9ec48)[0x7f0693387c48]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyObject_IsTrue+0x37)[0x7f06c8dbaa57]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(+0x54e4e)[0x7f06c8d6fe4e]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(+0xbcb63)[0x7f06c8dd7b63]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyObject_Call+0x43)[0x7f06c8d6dc43]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x3b2e)[0x7f06c8e2228e]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCode+0x19)[0x7f06c8e256c9]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x58de)[0x7f06c8e2403e]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x5936)[0x7f06c8e24096]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x830)[0x7f06c8e255a0]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyEval_EvalCode+0x19)[0x7f06c8e256c9]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyRun_FileExFlags+0x8a)[0x7f06c8e4949a]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(PyRun_SimpleFileExFlags+0xd7)[0x7f06c8e4aa27]
/home/vbraun/Code/sage/local/lib/libpython2.7.so.1.0(Py_Main+0xc25)[0x7f06c8e60c25]
/lib64/libc.so.6(__libc_start_main+0xf0)[0x7f06c8054580]
python(_start+0x29)[0x400769]
}}}
--
--
Ticket URL: <http://trac.sagemath.org/ticket/19904#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
