Attachment 697487 Details for Bug 911437 – File: backtrace

File: backtrace

backtrace (text/plain), 23.82 KB, created by Rex Dieter on 2013-02-15 01:46:26 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Rex Dieter

Created: 2013-02-15 01:46:26 UTC

Size: 23.82 KB

patch

obsolete

>[New LWP 26682]
>warning: "/usr/lib/debug/usr/lib64/libgmpxx.so.4.2.5.debug": separate debug info file has no debug info
>Core was generated by `/usr/lib64/4ti2/bin/zsolve -H -q /tmp/M2-26658-0/1'.
>Program terminated with signal 11, Segmentation fault.
>#0  0x00000030f062d1f3 in gcd_column (end=2, start=3, index=<optimized out>, this=0x604240) at ../../src/zsolve/VectorArray.hpp:197
>197	        T result = m_data[start++][index];
>
>Thread 1 (LWP 26682):
>#0  0x00000030f062d1f3 in gcd_column (end=2, start=3, index=<optimized out>, this=0x604240) at ../../src/zsolve/VectorArray.hpp:197
>        result = <optimized out>
>#1  _4ti2_zsolve_::Lattice<int>::reduce_gaussian (this=this@entry=0x604240) at ../../src/zsolve/Lattice.hpp:102
>        current_index = <optimized out>
>        current_value = <optimized out>
>        best_index = 2
>        best_value = <optimized out>
>        column = <optimized out>
>#2  0x00000030f064953e in _4ti2_zsolve_::ZSolveAPI<int>::compute (this=0x604080) at ../../src/zsolve/ZSolveAPI.hpp:381
>        lattice = 0x604240
>        algorithm = <optimized out>
>        controller = 0x6041e0
>        backup_file = {<std::basic_istream<char, std::char_traits<char> >> = {<std::basic_ios<char, std::char_traits<char> >> = {<std::ios_base> = {_vptr.ios_base = 0x3aac4eaae0 <vtable for std::basic_ifstream<char, std::char_traits<char> >+64>, static boolalpha = std::_S_boolalpha, static dec = std::_S_dec, static fixed = std::_S_fixed, static hex = std::_S_hex, static internal = std::_S_internal, static left = std::_S_left, static oct = std::_S_oct, static right = std::_S_right, static scientific = std::_S_scientific, static showbase = std::_S_showbase, static showpoint = std::_S_showpoint, static showpos = std::_S_showpos, static skipws = std::_S_skipws, static unitbuf = std::_S_unitbuf, static uppercase = std::_S_uppercase, static adjustfield = std::_S_adjustfield, static basefield = std::_S_basefield, static floatfield = std::_S_floatfield, static badbit = std::_S_badbit, static eofbit = std::_S_eofbit, static failbit = std::_S_failbit, static goodbit = std::_S_goodbit, static app = std::_S_app, static ate = std::_S_ate, static binary = std::_S_bin, static in = std::_S_in, static out = std::_S_out, static trunc = std::_S_trunc, static beg = std::_S_beg, static cur = std::_S_cur, static end = std::_S_end, _M_precision = 6, _M_width = 0, _M_flags = 4098, _M_exception = std::_S_goodbit, _M_streambuf_state = std::_S_failbit, _M_callbacks = 0x0, _M_word_zero = {_M_pword = 0x0, _M_iword = 0}, _M_local_word = {{_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}, {_M_pword = 0x0, _M_iword = 0}}, _M_word_size = 8, _M_word = 0x7fffffffd8e0, _M_ios_locale = {static none = 0, static ctype = 1, static numeric = 2, static collate = 4, static time = 8, static monetary = 16, static messages = 32, static all = 63, _M_impl = 0x3aac500ae0 <(anonymous namespace)::c_locale_impl>, static _S_classic = 0x3aac500ae0 <(anonymous namespace)::c_locale_impl>, static _S_global = 0x3aac500ae0 <(anonymous namespace)::c_locale_impl>, static _S_categories = 0x3aac4e56c0 <__gnu_cxx::category_names>, static _S_once = 0}}, _M_tie = 0x0, _M_fill = 0 '\000', _M_fill_init = false, _M_streambuf = 0x7fffffffd7b0, _M_ctype = 0x3aac500d60 <(anonymous namespace)::ctype_c>, _M_num_put = 0x3aac501080 <(anonymous namespace)::num_put_c>, _M_num_get = 0x3aac501070 <(anonymous namespace)::num_get_c>}, _vptr.basic_istream = 0x3aac4eaab8 <vtable for std::basic_ifstream<char, std::char_traits<char> >+24>, _M_gcount = 0}, _M_filebuf = {<std::basic_streambuf<char, std::char_traits<char> >> = {_vptr.basic_streambuf = 0x3aac4ea9b0 <vtable for std::basic_filebuf<char, std::char_traits<char> >+16>, _M_in_beg = 0x0, _M_in_cur = 0x0, _M_in_end = 0x0, _M_out_beg = 0x0, _M_out_cur = 0x0, _M_out_end = 0x0, _M_buf_locale = {static none = 0, static ctype = 1, static numeric = 2, static collate = 4, static time = 8, static monetary = 16, static messages = 32, static all = 63, _M_impl = 0x3aac500ae0 <(anonymous namespace)::c_locale_impl>, static _S_classic = 0x3aac500ae0 <(anonymous namespace)::c_locale_impl>, static _S_global = 0x3aac500ae0 <(anonymous namespace)::c_locale_impl>, static _S_categories = 0x3aac4e56c0 <__gnu_cxx::category_names>, static _S_once = 0}}, _M_lock = {__data = {__lock = 0, __count = 0, __owner = 0, __nusers = 0, __kind = 0, __spins = 0, __list = {__prev = 0x0, __next = 0x0}}, __size = '\000' <repeats 39 times>, __align = 0}, _M_file = {_M_cfile = 0x0, _M_cfile_created = false}, _M_mode = (unknown: 0), _M_state_beg = {__count = 0, __value = {__wch = 0, __wchb = "\000\000\000"}}, _M_state_cur = {__count = 0, __value = {__wch = 0, __wchb = "\000\000\000"}}, _M_state_last = {__count = 0, __value = {__wch = 0, __wchb = "\000\000\000"}}, _M_buf = 0x0, _M_buf_size = 8192, _M_buf_allocated = false, _M_reading = false, _M_writing = false, _M_pback = 0 '\000', _M_pback_cur_save = 0x0, _M_pback_end_save = 0x0, _M_pback_init = false, _M_codecvt = 0x3aac500fa0 <(anonymous namespace)::codecvt_c>, _M_ext_buf = 0x0, _M_ext_buf_size = 0, _M_ext_next = 0x0, _M_ext_end = 0x0}}
>        log_file = 0x0
>        backup_name = "/tmp/M2-26658-0/1.backup"
>#3  0x00000000004015bb in main (argc=<optimized out>, argv=0x7fffffffdb38) at main.cpp:59
>        state = 0x604080
>        options = {m_project = "/tmp/M2-26658-0/1", m_verbosity = 0, m_loglevel = 0, m_backup_frequency = 0, m_resume = false, m_hilbert = true, m_graver = false, m_maxnorm = false, m_precision = _4ti2_PREC_INT_32}
>From                To                  Syms Read   Shared Object Library
>0x00000030f061f4a0  0x00000030f0650890  Yes         /lib64/libzsolve.so.0
>0x00000030efe01790  0x00000030efe02980  Yes (*)     /lib64/libgmpxx.so.4
>0x0000003acb40b320  0x0000003acb4589d8  Yes         /lib64/libgmp.so.10
>0x0000003aac25bb80  0x0000003aac2c10bb  Yes         /lib64/libstdc++.so.6
>0x0000003aaa2055b0  0x0000003aaa26fd68  Yes         /lib64/libm.so.6
>0x0000003aab602a40  0x0000003aab612168  Yes         /lib64/libgcc_s.so.1
>0x0000003aa9e1f1a0  0x0000003aa9f60940  Yes         /lib64/libc.so.6
>0x0000003aa9600b20  0x0000003aa961a3d9  Yes         /lib64/ld-linux-x86-64.so.2
>(*): Shared library is missing debugging information.
>$1 = 0x0
>No symbol "__glib_assert_msg" in current context.
>rax            0x2	2
>rbx            0x10	16
>rcx            0x6042b0	6308528
>rdx            0x0	0
>rsi            0x2	2
>rdi            0x6042d0	6308560
>rbp            0x1	0x1
>rsp            0x7fffffffd620	0x7fffffffd620
>r8             0x2	2
>r9             0x8	8
>r10            0x0	0
>r11            0x604290	6308496
>r12            0x2	2
>r13            0x604240	6308416
>r14            0x2	2
>r15            0x4	4
>rip            0x30f062d1f3	0x30f062d1f3 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+115>
>eflags         0x10202	[ IF RF ]
>cs             0x33	51
>ss             0x2b	43
>ds             0x0	0
>es             0x0	0
>fs             0x0	0
>gs             0x0	0
>Dump of assembler code for function _4ti2_zsolve_::Lattice<int>::reduce_gaussian():
>   0x00000030f062d180 <+0>:	push   %r15
>   0x00000030f062d182 <+2>:	push   %r14
>   0x00000030f062d184 <+4>:	push   %r13
>   0x00000030f062d186 <+6>:	mov    %rdi,%r13
>   0x00000030f062d189 <+9>:	push   %r12
>   0x00000030f062d18b <+11>:	xor    %r12d,%r12d
>   0x00000030f062d18e <+14>:	push   %rbp
>   0x00000030f062d18f <+15>:	push   %rbx
>   0x00000030f062d190 <+16>:	sub    $0x48,%rsp
>   0x00000030f062d194 <+20>:	mov    0x18(%rdi),%r15
>   0x00000030f062d198 <+24>:	mov    0x20(%rdi),%r8
>   0x00000030f062d19c <+28>:	movq   $0x0,0x8(%rsp)
>   0x00000030f062d1a5 <+37>:	cmp    %r15,%r12
>   0x00000030f062d1a8 <+40>:	mov    %r15d,0x2c(%rsp)
>   0x00000030f062d1ad <+45>:	mov    %r8d,%r14d
>   0x00000030f062d1b0 <+48>:	je     0x30f062d4a1 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+801>
>   0x00000030f062d1b6 <+54>:	mov    0x8(%rsp),%rbx
>   0x00000030f062d1bb <+59>:	mov    0x8(%rsp),%r9
>   0x00000030f062d1c0 <+64>:	lea    0x1(%r12),%rax
>   0x00000030f062d1c5 <+69>:	mov    0x0(%r13),%r11
>   0x00000030f062d1c9 <+73>:	mov    0x8(%rsp),%rdx
>   0x00000030f062d1ce <+78>:	mov    %rax,0x18(%rsp)
>   0x00000030f062d1d3 <+83>:	mov    0x8(%rsp),%rax
>   0x00000030f062d1d8 <+88>:	shl    $0x3,%rbx
>   0x00000030f062d1dc <+92>:	shl    $0x2,%r9
>   0x00000030f062d1e0 <+96>:	cmp    %r8,0x18(%rsp)
>   0x00000030f062d1e5 <+101>:	mov    (%r11,%rdx,8),%rdx
>   0x00000030f062d1e9 <+105>:	mov    %r12d,0x28(%rsp)
>   0x00000030f062d1ee <+110>:	mov    %rdx,0x20(%rsp)
>=> 0x00000030f062d1f3 <+115>:	mov    (%rdx,%rax,4),%edi
>   0x00000030f062d1f6 <+118>:	jae    0x30f062d239 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+185>
>   0x00000030f062d1f8 <+120>:	mov    0x18(%rsp),%rsi
>   0x00000030f062d1fd <+125>:	mov    %edi,%eax
>   0x00000030f062d1ff <+127>:	add    $0x1,%rsi
>   0x00000030f062d203 <+131>:	mov    -0x8(%r11,%rsi,8),%rdx
>   0x00000030f062d208 <+136>:	mov    (%rdx,%r9,1),%ecx
>   0x00000030f062d20c <+140>:	test   %ecx,%ecx
>   0x00000030f062d20e <+142>:	jne    0x30f062d21a <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+154>
>   0x00000030f062d210 <+144>:	jmpq   0x30f062d388 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+520>
>   0x00000030f062d215 <+149>:	nopl   (%rax)
>   0x00000030f062d218 <+152>:	mov    %edx,%ecx
>   0x00000030f062d21a <+154>:	mov    %eax,%edx
>   0x00000030f062d21c <+156>:	sar    $0x1f,%edx
>   0x00000030f062d21f <+159>:	idiv   %ecx
>   0x00000030f062d221 <+161>:	mov    %ecx,%eax
>   0x00000030f062d223 <+163>:	test   %edx,%edx
>   0x00000030f062d225 <+165>:	jne    0x30f062d218 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+152>
>   0x00000030f062d227 <+167>:	mov    %ecx,%edx
>   0x00000030f062d229 <+169>:	sar    $0x1f,%edx
>   0x00000030f062d22c <+172>:	mov    %edx,%eax
>   0x00000030f062d22e <+174>:	xor    %ecx,%eax
>   0x00000030f062d230 <+176>:	sub    %edx,%eax
>   0x00000030f062d232 <+178>:	cmp    %r8,%rsi
>   0x00000030f062d235 <+181>:	jne    0x30f062d1ff <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+127>
>   0x00000030f062d237 <+183>:	mov    %eax,%edi
>   0x00000030f062d239 <+185>:	mov    0x18(%rsp),%ebp
>   0x00000030f062d23d <+189>:	cmp    0x2c(%rsp),%ebp
>   0x00000030f062d241 <+193>:	jge    0x30f062d4e5 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+869>
>   0x00000030f062d247 <+199>:	mov    0x28(%rsp),%edx
>   0x00000030f062d24b <+203>:	mov    %r12,0x30(%rsp)
>   0x00000030f062d250 <+208>:	movslq %ebp,%r10
>   0x00000030f062d253 <+211>:	mov    %rbx,0x38(%rsp)
>   0x00000030f062d258 <+216>:	mov    0x20(%rsp),%r12
>   0x00000030f062d25d <+221>:	shl    $0x2,%r10
>   0x00000030f062d261 <+225>:	mov    %r9,0x20(%rsp)
>   0x00000030f062d266 <+230>:	mov    0x18(%rsp),%rbx
>   0x00000030f062d26b <+235>:	mov    0x2c(%rsp),%r9d
>   0x00000030f062d270 <+240>:	mov    %edx,0x14(%rsp)
>   0x00000030f062d274 <+244>:	cmp    %r8,%rbx
>   0x00000030f062d277 <+247>:	mov    (%r12,%r10,1),%eax
>   0x00000030f062d27b <+251>:	jae    0x30f062d2bf <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+319>
>   0x00000030f062d27d <+253>:	mov    %rbx,%rsi
>   0x00000030f062d280 <+256>:	add    $0x1,%rsi
>   0x00000030f062d284 <+260>:	mov    -0x8(%r11,%rsi,8),%rdx
>   0x00000030f062d289 <+265>:	mov    (%rdx,%r10,1),%ecx
>   0x00000030f062d28d <+269>:	test   %ecx,%ecx
>   0x00000030f062d28f <+271>:	jne    0x30f062d2a2 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+290>
>   0x00000030f062d291 <+273>:	jmpq   0x30f062d36d <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+493>
>   0x00000030f062d296 <+278>:	nopw   %cs:0x0(%rax,%rax,1)
>   0x00000030f062d2a0 <+288>:	mov    %edx,%ecx
>   0x00000030f062d2a2 <+290>:	mov    %eax,%edx
>   0x00000030f062d2a4 <+292>:	sar    $0x1f,%edx
>   0x00000030f062d2a7 <+295>:	idiv   %ecx
>   0x00000030f062d2a9 <+297>:	mov    %ecx,%eax
>   0x00000030f062d2ab <+299>:	test   %edx,%edx
>   0x00000030f062d2ad <+301>:	jne    0x30f062d2a0 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+288>
>   0x00000030f062d2af <+303>:	mov    %ecx,%edx
>   0x00000030f062d2b1 <+305>:	sar    $0x1f,%edx
>   0x00000030f062d2b4 <+308>:	mov    %edx,%eax
>   0x00000030f062d2b6 <+310>:	xor    %ecx,%eax
>   0x00000030f062d2b8 <+312>:	sub    %edx,%eax
>   0x00000030f062d2ba <+314>:	cmp    %r8,%rsi
>   0x00000030f062d2bd <+317>:	jne    0x30f062d280 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+256>
>   0x00000030f062d2bf <+319>:	cmp    %edi,%eax
>   0x00000030f062d2c1 <+321>:	jge    0x30f062d2c9 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+329>
>   0x00000030f062d2c3 <+323>:	mov    %eax,%edi
>   0x00000030f062d2c5 <+325>:	mov    %ebp,0x14(%rsp)
>   0x00000030f062d2c9 <+329>:	add    $0x1,%ebp
>   0x00000030f062d2cc <+332>:	add    $0x4,%r10
>   0x00000030f062d2d0 <+336>:	cmp    %r9d,%ebp
>   0x00000030f062d2d3 <+339>:	jl     0x30f062d274 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+244>
>   0x00000030f062d2d5 <+341>:	movslq 0x14(%rsp),%r10
>   0x00000030f062d2da <+346>:	mov    0x30(%rsp),%r12
>   0x00000030f062d2df <+351>:	mov    0x38(%rsp),%rbx
>   0x00000030f062d2e4 <+356>:	mov    0x20(%rsp),%r9
>   0x00000030f062d2e9 <+361>:	cmp    %r10,%r15
>   0x00000030f062d2ec <+364>:	jbe    0x30f062d4fb <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+891>
>   0x00000030f062d2f2 <+370>:	test   %r8,%r8
>   0x00000030f062d2f5 <+373>:	je     0x30f062d334 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+436>
>   0x00000030f062d2f7 <+375>:	mov    (%r11),%rax
>   0x00000030f062d2fa <+378>:	test   %rax,%rax
>   0x00000030f062d2fd <+381>:	je     0x30f062d53e <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+958>
>   0x00000030f062d303 <+387>:	lea    0x0(,%r10,4),%rdi
>   0x00000030f062d30b <+395>:	xor    %edx,%edx
>   0x00000030f062d30d <+397>:	jmp    0x30f062d31c <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+412>
>   0x00000030f062d30f <+399>:	mov    (%r11,%rdx,8),%rax
>   0x00000030f062d313 <+403>:	test   %rax,%rax
>   0x00000030f062d316 <+406>:	je     0x30f062d53e <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+958>
>   0x00000030f062d31c <+412>:	lea    (%rax,%r9,1),%rcx
>   0x00000030f062d320 <+416>:	add    %rdi,%rax
>   0x00000030f062d323 <+419>:	add    $0x1,%rdx
>   0x00000030f062d327 <+423>:	mov    (%rax),%ebp
>   0x00000030f062d329 <+425>:	cmp    %r8,%rdx
>   0x00000030f062d32c <+428>:	mov    (%rcx),%esi
>   0x00000030f062d32e <+430>:	mov    %ebp,(%rcx)
>   0x00000030f062d330 <+432>:	mov    %esi,(%rax)
>   0x00000030f062d332 <+434>:	jne    0x30f062d30f <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+399>
>   0x00000030f062d334 <+436>:	mov    0x28(%r13),%rdx
>   0x00000030f062d338 <+440>:	lea    (%rdx,%rbx,1),%rax
>   0x00000030f062d33c <+444>:	mov    (%rdx,%r10,8),%rdx
>   0x00000030f062d340 <+448>:	mov    (%rax),%rcx
>   0x00000030f062d343 <+451>:	mov    %rdx,(%rax)
>   0x00000030f062d346 <+454>:	mov    0x28(%r13),%rax
>   0x00000030f062d34a <+458>:	mov    %rcx,(%rax,%r10,8)
>   0x00000030f062d34e <+462>:	mov    0x8(%rsp),%eax
>   0x00000030f062d352 <+466>:	movslq %eax,%r11
>   0x00000030f062d355 <+469>:	shl    $0x3,%r11
>   0x00000030f062d359 <+473>:	cmp    %r14d,%eax
>   0x00000030f062d35c <+476>:	jl     0x30f062d3a3 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+547>
>   0x00000030f062d35e <+478>:	add    $0x48,%rsp
>   0x00000030f062d362 <+482>:	pop    %rbx
>   0x00000030f062d363 <+483>:	pop    %rbp
>   0x00000030f062d364 <+484>:	pop    %r12
>   0x00000030f062d366 <+486>:	pop    %r13
>   0x00000030f062d368 <+488>:	pop    %r14
>   0x00000030f062d36a <+490>:	pop    %r15
>   0x00000030f062d36c <+492>:	retq   
>   0x00000030f062d36d <+493>:	mov    %eax,%ecx
>   0x00000030f062d36f <+495>:	mov    %ecx,%edx
>   0x00000030f062d371 <+497>:	sar    $0x1f,%edx
>   0x00000030f062d374 <+500>:	mov    %edx,%eax
>   0x00000030f062d376 <+502>:	xor    %ecx,%eax
>   0x00000030f062d378 <+504>:	sub    %edx,%eax
>   0x00000030f062d37a <+506>:	cmp    %r8,%rsi
>   0x00000030f062d37d <+509>:	jne    0x30f062d280 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+256>
>   0x00000030f062d383 <+515>:	jmpq   0x30f062d2bf <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+319>
>   0x00000030f062d388 <+520>:	mov    %eax,%ecx
>   0x00000030f062d38a <+522>:	mov    %ecx,%edx
>   0x00000030f062d38c <+524>:	sar    $0x1f,%edx
>   0x00000030f062d38f <+527>:	mov    %edx,%eax
>   0x00000030f062d391 <+529>:	xor    %ecx,%eax
>   0x00000030f062d393 <+531>:	sub    %edx,%eax
>   0x00000030f062d395 <+533>:	cmp    %r8,%rsi
>   0x00000030f062d398 <+536>:	jne    0x30f062d1ff <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+127>
>   0x00000030f062d39e <+542>:	jmpq   0x30f062d237 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+183>
>   0x00000030f062d3a3 <+547>:	mov    0x8(%rsp),%rbp
>   0x00000030f062d3a8 <+552>:	mov    0x0(%r13),%rdi
>   0x00000030f062d3ac <+556>:	mov    0x28(%rsp),%eax
>   0x00000030f062d3b0 <+560>:	mov    $0xffffffffffffffff,%rsi
>   0x00000030f062d3b7 <+567>:	lea    (%rdi,%r11,1),%rcx
>   0x00000030f062d3bb <+571>:	jmp    0x30f062d3de <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+606>
>   0x00000030f062d3bd <+573>:	nopl   (%rax)
>   0x00000030f062d3c0 <+576>:	je     0x30f062d3d2 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+594>
>   0x00000030f062d3c2 <+578>:	cmp    %edx,%esi
>   0x00000030f062d3c4 <+580>:	jg     0x30f062d3cf <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+591>
>   0x00000030f062d3c6 <+582>:	mov    %esi,%edx
>   0x00000030f062d3c8 <+584>:	shr    $0x1f,%edx
>   0x00000030f062d3cb <+587>:	test   %dl,%dl
>   0x00000030f062d3cd <+589>:	je     0x30f062d3d2 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+594>
>   0x00000030f062d3cf <+591>:	movslq %eax,%rsi
>   0x00000030f062d3d2 <+594>:	add    $0x1,%eax
>   0x00000030f062d3d5 <+597>:	add    $0x8,%rcx
>   0x00000030f062d3d9 <+601>:	cmp    %r14d,%eax
>   0x00000030f062d3dc <+604>:	jge    0x30f062d3ee <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+622>
>   0x00000030f062d3de <+606>:	mov    (%rcx),%rdx
>   0x00000030f062d3e1 <+609>:	mov    (%rdx,%r9,1),%edx
>   0x00000030f062d3e5 <+613>:	cmp    $0x0,%edx
>   0x00000030f062d3e8 <+616>:	jge    0x30f062d3c0 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+576>
>   0x00000030f062d3ea <+618>:	neg    %edx
>   0x00000030f062d3ec <+620>:	jmp    0x30f062d3c2 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+578>
>   0x00000030f062d3ee <+622>:	test   %esi,%esi
>   0x00000030f062d3f0 <+624>:	js     0x30f062d35e <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+478>
>   0x00000030f062d3f6 <+630>:	cmp    %r8,%rbp
>   0x00000030f062d3f9 <+633>:	je     0x30f062d539 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+953>
>   0x00000030f062d3ff <+639>:	cmp    %r8,%rsi
>   0x00000030f062d402 <+642>:	jae    0x30f062d51a <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+922>
>   0x00000030f062d408 <+648>:	mov    (%rdi,%rsi,8),%rcx
>   0x00000030f062d40c <+652>:	lea    (%rdi,%rbx,1),%rax
>   0x00000030f062d410 <+656>:	xor    %r10d,%r10d
>   0x00000030f062d413 <+659>:	mov    (%rax),%rdx
>   0x00000030f062d416 <+662>:	mov    %rcx,(%rax)
>   0x00000030f062d419 <+665>:	mov    0x0(%r13),%rax
>   0x00000030f062d41d <+669>:	mov    %rdx,(%rax,%rsi,8)
>   0x00000030f062d421 <+673>:	xor    %esi,%esi
>   0x00000030f062d423 <+675>:	jmp    0x30f062d431 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+689>
>   0x00000030f062d425 <+677>:	nopl   (%rax)
>   0x00000030f062d428 <+680>:	add    $0x1,%rsi
>   0x00000030f062d42c <+684>:	cmp    %r8,%rsi
>   0x00000030f062d42f <+687>:	je     0x30f062d484 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+772>
>   0x00000030f062d431 <+689>:	cmp    %r12,%rsi
>   0x00000030f062d434 <+692>:	je     0x30f062d428 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+680>
>   0x00000030f062d436 <+694>:	mov    0x0(%r13),%rax
>   0x00000030f062d43a <+698>:	mov    (%rax,%rsi,8),%rcx
>   0x00000030f062d43e <+702>:	mov    (%rax,%rbx,1),%rdi
>   0x00000030f062d442 <+706>:	mov    (%rcx,%r9,1),%eax
>   0x00000030f062d446 <+710>:	neg    %eax
>   0x00000030f062d448 <+712>:	mov    %eax,%edx
>   0x00000030f062d44a <+714>:	sar    $0x1f,%edx
>   0x00000030f062d44d <+717>:	idivl  (%rdi,%r9,1)
>   0x00000030f062d451 <+721>:	test   %eax,%eax
>   0x00000030f062d453 <+723>:	je     0x30f062d428 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+680>
>   0x00000030f062d455 <+725>:	test   %r15,%r15
>   0x00000030f062d458 <+728>:	je     0x30f062d475 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+757>
>   0x00000030f062d45a <+730>:	xor    %edx,%edx
>   0x00000030f062d45c <+732>:	nopl   0x0(%rax)
>   0x00000030f062d460 <+736>:	mov    (%rdi,%rdx,4),%r10d
>   0x00000030f062d464 <+740>:	imul   %eax,%r10d
>   0x00000030f062d468 <+744>:	add    %r10d,(%rcx,%rdx,4)
>   0x00000030f062d46c <+748>:	add    $0x1,%rdx
>   0x00000030f062d470 <+752>:	cmp    %r15,%rdx
>   0x00000030f062d473 <+755>:	jne    0x30f062d460 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+736>
>   0x00000030f062d475 <+757>:	add    $0x1,%rsi
>   0x00000030f062d479 <+761>:	mov    $0x1,%r10d
>   0x00000030f062d47f <+767>:	cmp    %r8,%rsi
>   0x00000030f062d482 <+770>:	jne    0x30f062d431 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+689>
>   0x00000030f062d484 <+772>:	test   %r10b,%r10b
>   0x00000030f062d487 <+775>:	jne    0x30f062d3a8 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+552>
>   0x00000030f062d48d <+781>:	mov    0x18(%rsp),%r12
>   0x00000030f062d492 <+786>:	addq   $0x1,0x8(%rsp)
>   0x00000030f062d498 <+792>:	cmp    %r15,%r12
>   0x00000030f062d49b <+795>:	jne    0x30f062d1b6 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+54>
>   0x00000030f062d4a1 <+801>:	test   %r8,%r8
>   0x00000030f062d4a4 <+804>:	je     0x30f062d35e <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+478>
>   0x00000030f062d4aa <+810>:	xor    %ebx,%ebx
>   0x00000030f062d4ac <+812>:	mov    %r15,%rsi
>   0x00000030f062d4af <+815>:	jmp    0x30f062d4c3 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+835>
>   0x00000030f062d4b1 <+817>:	add    $0x1,%rbx
>   0x00000030f062d4b5 <+821>:	cmp    %rbx,0x20(%r13)
>   0x00000030f062d4b9 <+825>:	jbe    0x30f062d35e <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+478>
>   0x00000030f062d4bf <+831>:	mov    0x18(%r13),%rsi
>   0x00000030f062d4c3 <+835>:	mov    0x0(%r13),%rax
>   0x00000030f062d4c7 <+839>:	mov    (%rax,%rbx,8),%rdi
>   0x00000030f062d4cb <+843>:	callq  0x30f061e410 <_ZN13_4ti2_zsolve_14is_zero_vectorIiEEbPT_m@plt>
>   0x00000030f062d4d0 <+848>:	test   %al,%al
>   0x00000030f062d4d2 <+850>:	je     0x30f062d4b1 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+817>
>   0x00000030f062d4d4 <+852>:	mov    %rbx,%rsi
>   0x00000030f062d4d7 <+855>:	mov    %r13,%rdi
>   0x00000030f062d4da <+858>:	sub    $0x1,%rbx
>   0x00000030f062d4de <+862>:	callq  0x30f061e1f0 <_ZN13_4ti2_zsolve_11VectorArrayIiE15remove_unsortedEm@plt>
>   0x00000030f062d4e3 <+867>:	jmp    0x30f062d4b1 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+817>
>   0x00000030f062d4e5 <+869>:	mov    0x28(%rsp),%eax
>   0x00000030f062d4e9 <+873>:	mov    %eax,0x14(%rsp)
>   0x00000030f062d4ed <+877>:	movslq 0x14(%rsp),%r10
>   0x00000030f062d4f2 <+882>:	cmp    %r10,%r15
>   0x00000030f062d4f5 <+885>:	ja     0x30f062d2f2 <_4ti2_zsolve_::Lattice<int>::reduce_gaussian()+370>
>   0x00000030f062d4fb <+891>:	lea    0x25f5e(%rip),%rcx        # 0x30f0653460 <_ZZN13_4ti2_zsolve_11VectorArrayIiE12swap_columnsEmmE19__PRETTY_FUNCTION__>
>   0x00000030f062d502 <+898>:	lea    0x238a7(%rip),%rsi        # 0x30f0650db0
>   0x00000030f062d509 <+905>:	lea    0x236de(%rip),%rdi        # 0x30f0650bee
>   0x00000030f062d510 <+912>:	mov    $0xaa,%edx
>   0x00000030f062d515 <+917>:	callq  0x30f061d960 <__assert_fail@plt>
>   0x00000030f062d51a <+922>:	lea    0x25ebf(%rip),%rcx        # 0x30f06533e0 <_ZZN13_4ti2_zsolve_11VectorArrayIiE9swap_rowsEmmE19__PRETTY_FUNCTION__>
>   0x00000030f062d521 <+929>:	lea    0x23888(%rip),%rsi        # 0x30f0650db0
>   0x00000030f062d528 <+936>:	lea    0x236cf(%rip),%rdi        # 0x30f0650bfe
>   0x00000030f062d52f <+943>:	mov    $0xa0,%edx
>   0x00000030f062d534 <+948>:	callq  0x30f061d960 <__assert_fail@plt>
>   0x00000030f062d539 <+953>:	callq  0x30f061f5ca <_4ti2_zsolve_::VectorArray<int>::swap_rows(unsigned long, unsigned long)>
>   0x00000030f062d53e <+958>:	lea    0x25f9b(%rip),%rcx        # 0x30f06534e0 <_ZZN13_4ti2_zsolve_11swap_vectorIiEEvPT_mmE19__PRETTY_FUNCTION__>
>   0x00000030f062d545 <+965>:	lea    0x235b6(%rip),%rsi        # 0x30f0650b02
>   0x00000030f062d54c <+972>:	lea    0x2368f(%rip),%rdi        # 0x30f0650be2
>   0x00000030f062d553 <+979>:	mov    $0xa6,%edx
>   0x00000030f062d558 <+984>:	callq  0x30f061d960 <__assert_fail@plt>
>End of assembler dump.

Actions: View

Attachments on bug 911437: 697487 | 697488 | 697489 | 697490 | 697491 | 697492 | 697493 | 697494 | 697495 | 697496 | 697497 | 713517