[ 0:01] | load /home/xrockai/src/divine/nightly/test/lang-cpp/exception-uncaught-thread.cpp exception-uncaught-thread.cpp [ 0:01] | expect --result error --symbol __terminate [ 0:01] | cc -o testcase.bc -std=c++14 exception-uncaught-thread.cpp [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit testcase.bc [ 0:01] compiling exception-uncaught-thread.cpp [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:06] booting … done [ 0:06] states per second: 624.585 [ 0:06] state count: 188 [ 0:06] mips: 0.55 [ 0:06] [ 0:06] error found: yes [ 0:06] error trace: | [ 0:06] [0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc [ 0:06] FAULT: Uncaught signal. [ 0:06] [0] FATAL: control error in kernel [ 0:06] [ 0:06] active stack: [ 0:08] - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)()) [ 0:10] location: /dios/sys/fault.hpp:119 [ 0:10] - symbol: __dios_fault [ 0:10] location: /dios/arch/divm/fault.c:12 [ 0:10] - symbol: int __dios::Scheduler<__dios::Base>::_kill<__dios::ProcessManager<__dios::Fault<__dios::Scheduler<__dios::Base> > >::kill(int, int)::'lambda'(auto*)>(int, int, auto) [ 0:10] location: /dios/sys/sched_base.hpp:408 [ 0:10] - symbol: __dios::ProcessManager<__dios::Fault<__dios::Scheduler<__dios::Base> > >::kill(int, int) [ 0:10] location: /dios/sys/procmanager.hpp:275 [ 0:10] - symbol: __dios::SysProxy::kill(int, int) [ 0:10] location: /dios/include/sys/argpad.hpp:53 [ 0:10] - symbol: __libc_kill [ 0:10] location: /dios/include/sys/argpad.hpp:113 [ 0:10] - symbol: raise [ 0:10] location: /dios/libc/_PDCLIB/glue.c:145 [ 0:10] - symbol: abort [ 0:10] location: /dios/libc/stdlib/abort.c:14 [ 0:10] - symbol: abort_message [ 0:10] location: /dios/libcxxabi/src/abort_message.cpp:77 [ 0:10] - symbol: demangling_terminate_handler() [ 0:10] location: /dios/libcxxabi/src/cxa_default_handlers.cpp:63 [ 0:10] + divine sim --batch --skip-init --load-report verify.out [ 0:10] [ 0:13] ^ —————. —.— . . —.— . . .————— . . [ 0:13] ——— | | | | | | |\ | | | | [ 0:13] —(o)— | | | | | | | \ | |———— '————| [ 0:13] ——————— | | | \ / | | \| | | [ 0:13] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:13] [ 0:13] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:13] traced states: [ 0:14] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:14] T: [0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc [ 0:14] T: FAULT: Uncaught signal. [ 0:14] # executing void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:119 [ 0:14] # NOTE: $frame in __dios_fault [ 0:14] > backtrace [ 0:14] void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:119 [ 0:14] __dios_fault at /dios/arch/divm/fault.c:12 [ 0:14] int {Scheduler}::_kill<{ProcMan}::kill(int, int)::'lambda'(auto*)>(int, int, auto) at /dios/sys/sched_base.hpp:408 [ 0:14] {ProcMan}::kill(int, int) at /dios/sys/procmanager.hpp:275 [ 0:14] __dios::SysProxy::kill(int, int) at /dios/include/sys/argpad.hpp:53 [ 0:14] __libc_kill at /dios/include/sys/argpad.hpp:113 [ 0:14] raise at /dios/libc/_PDCLIB/glue.c:145 [ 0:14] abort at /dios/libc/stdlib/abort.c:14 [ 0:14] abort_message at /dios/libcxxabi/src/abort_message.cpp:77 [ 0:14] demangling_terminate_handler() at /dios/libcxxabi/src/cxa_default_handlers.cpp:63 [ 0:14] std::__terminate(void (*)()) at /dios/libcxxabi/src/cxa_handlers.cpp:61 [ 0:14] __cxxabiv1::failed_throw(__cxxabiv1::__cxa_exception*) at /dios/libcxxabi/src/cxa_exception.cpp:154 [ 0:14] __cxa_throw at /dios/libcxxabi/src/cxa_exception.cpp:286 [ 0:14] operator new(unsigned long) at /dios/libcxx/src/new.cpp:76 [ 0:14] std::__2::thread::thread(main::$_0&) at /dios/libcxx/include/thread:297 [ 0:14] main at exception-uncaught-thread.cpp:24 [ 0:14] __dios_start at /dios/libc/sys/start.cpp:91 [ 0:14] # executing void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:119 [ 0:15] # NOTE: $frame in __dios_fault