#4 0x00007ff9a9838890 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)
#5 0x00007ff9a95c1ad8 std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_S_copy_chars(char*, char*, char*) (/usr/lib/x86_64-linux-gnu/libstdc++.so.6+0x124ad8)
#6 0x000055fe20eb7414 void std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_construct<char*>(char*, char*, std::forward_iterator_tag) /usr/include/c++/7/bits/basic_string.tcc:232:0
#7 0x000055fe20ea7459 crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string::indexed_string(crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string const&) /home/shankara/crab-llvm/install/crab/include/crab/cfg/var_factory.hpp:75:0
#8 0x000055fe20e9f693 ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>::variable(ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> const&) /home/shankara/crab-llvm/install/crab/include/crab/common/types.hpp:308:0
#9 0x000055fe20ef9de6 crab::domains::flat_boolean_domain<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>::rename(std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&) /home/shankara/crab-llvm/install/crab/include/crab/domains/flat_boolean_domain.hpp:565:0
#10 0x000055fe212fe2d5 crab::domains::basic_domain_product2<crab::domains::flat_boolean_domain<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > >::second() /home/shankara/crab-llvm/crab/include/crab/domains/combined_domains.hpp:112:0
#11 0x000055fe212fe2d5 crab::domains::domain_product2<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::flat_boolean_domain<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > >::rename(std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&) /home/shankara/crab-llvm/crab/include/crab/domains/combined_domains.hpp:574:0
#12 0x000055fe212fe2d5 crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > >::rename(std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&) /home/shankara/crab-llvm/crab/include/crab/domains/flat_boolean_domain.hpp:1393:0
#13 0x000055fe212fe2d5 crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >::rename(std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&) /home/shankara/crab-llvm/crab/include/crab/domains/array_smashing.hpp:451:0
#14 0x000055fe212fe2d5 crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > >::Summary::rename(crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, std::vector<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, std::allocator<ikos::variable<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&) const /home/shankara/crab-llvm/crab/include/crab/analysis/inter_fwd_analyzer_ds.hpp:127:0
#15 0x000055fe212fe2d5 crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > >::Summary::get_renamed_sum() const /home/shankara/crab-llvm/crab/include/crab/analysis/inter_fwd_analyzer_ds.hpp:179:0
#16 0x000055fe212fe2d5 crab::analyzer::bu_summ_abs_transformer<crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > > >::reuse_summary(crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >&, crab::cfg::callsite_stmt<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> const&, crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > >::Summary const&) /home/shankara/crab-llvm/crab/include/crab/analysis/inter_fwd_analyzer.hpp:92:0
#17 0x000055fe2130065f crab::analyzer::bu_summ_abs_transformer<crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > > >::exec(crab::cfg::callsite_stmt<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>&) /home/shankara/crab-llvm/crab/include/crab/analysis/inter_fwd_analyzer.hpp:145:0
#18 0x000055fe20ee0ddc crab::analyzer::abs_transformer_api<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>::visit(crab::cfg::callsite_stmt<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>&) /home/shankara/crab-llvm/install/crab/include/crab/analysis/abs_transformer.hpp:138:0
#19 0x000055fe2124cc15 crab::analyzer::fwd_analyzer<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::analyzer::bu_summ_abs_transformer<crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > > > >::analyze(crab_llvm::llvm_basic_block_wrapper, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >&) /home/shankara/crab-llvm/crab/include/crab/analysis/fwd_analyzer.hpp:80:0
#20 0x000055fe212bb9ed std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_is_local() const /usr/include/c++/7/bits/basic_string.h:211:0
#21 0x000055fe212bb9ed std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::_M_dispose() /usr/include/c++/7/bits/basic_string.h:220:0
#22 0x000055fe212bb9ed _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED4Ev /usr/include/c++/7/bits/basic_string.h:647:0
#23 0x000055fe212bb9ed _ZN9crab_llvm24llvm_basic_block_wrapperD4Ev /home/shankara/crab-llvm/include/crab_llvm/crab_cfg.hh:23:0
#24 0x000055fe212bb9ed ikos::interleaved_fwd_fixpoint_iterator_impl::wto_iterator<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > >::visit(ikos::wto_vertex<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> > >&) /home/shankara/crab-llvm/crab/include/crab/iterators/interleaved_fixpoint_iterator.hpp:432:0
#25 0x000055fe20f84de1 ikos::wto<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> > >::end() /home/shankara/crab-llvm/crab/include/crab/iterators/wto.hpp:662:0
#26 0x000055fe20f84de1 ikos::wto<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> > >::accept(ikos::wto_component_visitor<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> > >*) /home/shankara/crab-llvm/crab/include/crab/iterators/wto.hpp:684:0
#27 0x000055fe2106e439 ikos::interleaved_fwd_fixpoint_iterator<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > >::run(crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >) /home/shankara/crab-llvm/crab/include/crab/iterators/interleaved_fixpoint_iterator.hpp:272:0
#28 0x000055fe2106e5d5 _ZN4crab7domains14array_smashingINS0_29flat_boolean_numerical_domainINS0_9SplitDBM_IN4ikos8z_numberENS_3cfg16var_factory_impl16variable_factoryIPKN4llvm5ValueEE14indexed_stringENS0_8DBM_impl13DefaultParamsIS5_LNSF_8GraphRepE2EEEEEEEED4Ev /home/shankara/crab-llvm/crab/include/crab/domains/array_smashing.hpp:25:0
#29 0x000055fe2106e5d5 crab::analyzer::fwd_analyzer<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::analyzer::bu_summ_abs_transformer<crab::analyzer::summary_table<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > > > > >::run_forward() /home/shankara/crab-llvm/crab/include/crab/analysis/fwd_analyzer.hpp:130:0
#30 0x000055fe211e1796 crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> >::exit() const /home/shankara/crab-llvm/crab/include/crab/cfg/cfg.hpp:3289:0
#31 0x000055fe211e1796 crab::analyzer::inter_fwd_analyzer<crab::cg::call_graph_ref<crab::cg::call_graph<crab::cfg::cfg_ref<crab::cfg::cfg<crab_llvm::llvm_basic_block_wrapper, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, ikos::z_number> > > >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<ikos::interval_domain<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, 10ul> > > >::run(crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<ikos::interval_domain<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, 10ul> > >) /home/shankara/crab-llvm/crab/include/crab/analysis/inter_fwd_analyzer.hpp:493:0
#32 0x000055fe2133c715 _ZN4crab7domains14array_smashingINS0_29flat_boolean_numerical_domainIN4ikos15interval_domainINS3_8z_numberENS_3cfg16var_factory_impl16variable_factoryIPKN4llvm5ValueEE14indexed_stringELm10EEEEEED4Ev /home/shankara/crab-llvm/crab/include/crab/domains/array_smashing.hpp:25:0
#33 0x000055fe2133c715 void crab_llvm::InterCrabLlvm_Impl::analyzeCg<crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<crab::domains::SplitDBM_<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, crab::domains::DBM_impl::DefaultParams<ikos::z_number, (crab::domains::DBM_impl::GraphRep)2> > > >, crab::domains::array_smashing<crab::domains::flat_boolean_numerical_domain<ikos::interval_domain<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string, 10ul> > > >(crab_llvm::AnalysisParams const&, crab_llvm::AnalysisResults&) /home/shankara/crab-llvm/lib/CrabLlvm/CrabLlvm.cc:1057:0
#34 0x000055fe21140325 crab_llvm::InterCrabLlvm_Impl::Analyze(crab_llvm::AnalysisParams&, llvm::DenseMap<llvm::BasicBlock const*, ikos::linear_constraint_system<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string>, llvm::DenseMapInfo<llvm::BasicBlock const*>, llvm::detail::DenseMapPair<llvm::BasicBlock const*, ikos::linear_constraint_system<ikos::z_number, crab::cfg::var_factory_impl::variable_factory<llvm::Value const*>::indexed_string> > > const&, crab_llvm::AnalysisResults&) /home/shankara/crab-llvm/lib/CrabLlvm/CrabLlvm.cc:1292:0
#35 0x000055fe211409a2 _ZN4llvm8DenseMapIPKNS_10BasicBlockEN4ikos24linear_constraint_systemINS4_8z_numberEN4crab3cfg16var_factory_impl16variable_factoryIPKNS_5ValueEE14indexed_stringEEENS_12DenseMapInfoIS3_EENS_6detail12DenseMapPairIS3_SG_EEED4Ev /usr/local/include/llvm/ADT/DenseMap.h:749:0
#36 0x000055fe211409a2 crab_llvm::CrabLlvmPass::runOnModule(llvm::Module&) /home/shankara/crab-llvm/lib/CrabLlvm/CrabLlvm.cc:1448:0
#37 0x000055fe21a7a194 (anonymous namespace)::MPPassManager::runOnModule(llvm::Module&) /home/shankara/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1744:0
#38 0x000055fe21a7a9b7 llvm::legacy::PassManagerImpl::run(llvm::Module&) /home/shankara/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1857:0
#39 0x000055fe21a7abe7 llvm::legacy::PassManager::run(llvm::Module&) /home/shankara/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1889:0
#40 0x000055fe20e73f3a run_abhaya(llvm::Module&) /home/shankara/abhaya/src/main/main.cpp:61:0
#41 0x000055fe20e7427b main /home/shankara/abhaya/src/main/main.cpp:137:0
#42 0x00007ff9a8b17b97 __libc_start_main /build/glibc-OTsEL5/glibc-2.27/csu/../csu/libc-start.c:344:0
#43 0x000055fe20e7331a _start (./main+0x12131a)
Stack dump: