Re: [csmith-dev] [PROVENANCE INTERNET] csmith running for > 60 minutes (Intel Xeon 4114, Debian-sid/x86-64)

[STARYNKEVITCH Basile <Basile.STARYNKEVITCH@cea.fr>]

Hello all,

I am noticing in http://www.flux.utah.edu/listarchives/csmith-dev/msg00778.html that

csmith --max-block-depth 7 --argc --max-block-size 6 --max-funcs 50

is apparently looping (it ran for more than 10 hours). With csmith 2.4.0 git deddca6.

Here is that backtrace (using GDB). I hope that it might help some of you.

#0  0x00005633c1bffe25 in std::vector<Variable const*, std::allocator<Variable const*> >::vector(std::vector<Variable const*, std::allocator<Variable const*> > const&) ()
#1  0x00005633c1c1283c in FactPointTo::mark_dead_var(Variable const*) ()
#2  0x00005633c1c0a604 in FactMgr::update_facts_for_oos_vars(std::vector<Variable const*, std::allocator<Variable const*> > const&, std::vector<Fact const*, std::allocator<Fact const*> >&) ()
#3  0x00005633c1c0a42d in FactMgr::update_facts_for_oos_vars(std::vector<Variable*, std::allocator<Variable*> > const&, std::vector<Fact const*, std::allocator<Fact const*> >&) ()
#4  0x00005633c1bcadf8 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#5  0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#6  0x00005633c1c673a0 in StatementIf::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#7  0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#8  0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#9  0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#10 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#11 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#12 0x00005633c1c2c743 in FunctionInvocationUser::revisit(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#13 0x00005633c1c25d6b in FunctionInvocation::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#14 0x00005633c1c053cb in ExpressionFuncall::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#15 0x00005633c1c033ba in ExpressionComma::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#16 0x00005633c1c25ad9 in FunctionInvocation::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#17 0x00005633c1c2a6f1 in FunctionInvocationBinary::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#18 0x00005633c1c053cb in ExpressionFuncall::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#19 0x00005633c1c033ba in ExpressionComma::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#20 0x00005633c1c25ad9 in FunctionInvocation::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#21 0x00005633c1c2a6f1 in FunctionInvocationBinary::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#22 0x00005633c1c053cb in ExpressionFuncall::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#23 0x00005633c1c25ad9 in FunctionInvocation::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#24 0x00005633c1c2a6f1 in FunctionInvocationBinary::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#25 0x00005633c1c053cb in ExpressionFuncall::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#26 0x00005633c1c25ad9 in FunctionInvocation::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#27 0x00005633c1c053cb in ExpressionFuncall::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#28 0x00005633c1c033ba in ExpressionComma::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#29 0x00005633c1c25ad9 in FunctionInvocation::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#30 0x00005633c1c2a6f1 in FunctionInvocationBinary::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#31 0x00005633c1c053cb in ExpressionFuncall::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#32 0x00005633c1c5d099 in StatementAssign::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#33 0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#34 0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#35 0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#36 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#37 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#38 0x00005633c1c672f7 in StatementIf::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#39 0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#40 0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#41 0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#42 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#43 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#44 0x00005633c1c612d5 in StatementFor::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#45 0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#46 0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#47 0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#48 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#49 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
--Type <RET> for more, q to quit, c to continue without paging--
#50 0x00005633c1c673a0 in StatementIf::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#51 0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#52 0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#53 0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#54 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#55 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#56 0x00005633c1c672f7 in StatementIf::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#57 0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#58 0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#59 0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#60 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#61 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#62 0x00005633c1c672f7 in StatementIf::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#63 0x00005633c1c56358 in Statement::stm_visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#64 0x00005633c1c5627b in Statement::validate_and_update_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#65 0x00005633c1c5731e in Statement::analyze_with_edges_in(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#66 0x00005633c1bcad58 in Block::find_fixed_point(std::vector<Fact const*, std::allocator<Fact const*> >, std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&, int&, bool) const ()
#67 0x00005633c1bca8ba in Block::visit_facts(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#68 0x00005633c1c2c743 in FunctionInvocationUser::revisit(std::vector<Fact const*, std::allocator<Fact const*> >&, CGContext&) const ()
#69 0x00005633c1c2c39e in FunctionInvocationUser::build_invocation(Function*, CGContext&) ()
#70 0x00005633c1c23db8 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#71 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#72 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#73 0x00005633c1c5c39d in StatementAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#74 0x00005633c1c55127 in Statement::make_random(CGContext&, eStatementType) ()
#75 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#76 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#77 0x00005633c1c5515c in Statement::make_random(CGContext&, eStatementType) ()
#78 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#79 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#80 0x00005633c1c60b6c in StatementFor::make_random_array_loop(CGContext const&) ()
#81 0x00005633c1c5a116 in StatementArrayOp::make_random(CGContext&) ()
#82 0x00005633c1c551f2 in Statement::make_random(CGContext&, eStatementType) ()
#83 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#84 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#85 0x00005633c1c5515c in Statement::make_random(CGContext&, eStatementType) ()
#86 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#87 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#88 0x00005633c1c60b6c in StatementFor::make_random_array_loop(CGContext const&) ()
#89 0x00005633c1c5a116 in StatementArrayOp::make_random(CGContext&) ()
#90 0x00005633c1c551f2 in Statement::make_random(CGContext&, eStatementType) ()
#91 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#92 0x00005633c1c66d2d in StatementIf::make_random(CGContext&) ()
#93 0x00005633c1c55174 in Statement::make_random(CGContext&, eStatementType) ()
#94 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#95 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#96 0x00005633c1c5515c in Statement::make_random(CGContext&, eStatementType) ()
#97 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#98 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#99 0x00005633c1c5515c in Statement::make_random(CGContext&, eStatementType) ()

#100 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#101 0x00005633c1c1e7c9 in Function::generate_body_with_known_params(CGContext const&, Effect&) ()
#102 0x00005633c1c2bcf0 in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#103 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#104 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#105 0x00005633c1c01769 in _expression_::make_random_param(CGContext&, Type const*, CVQualifiers const*, eTermType) ()
#106 0x00005633c1c2bb7a in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#107 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#108 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#109 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#110 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#111 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#112 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#113 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#114 0x00005633c1c2471c in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#115 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#116 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#117 0x00005633c1c01769 in _expression_::make_random_param(CGContext&, Type const*, CVQualifiers const*, eTermType) ()
#118 0x00005633c1c2bb7a in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#119 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#120 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#121 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#122 0x00005633c1c03172 in ExpressionComma::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#123 0x00005633c1c01387 in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#124 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#125 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#126 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#127 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#128 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#129 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#130 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#131 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#132 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#133 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#134 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#135 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#136 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#137 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#138 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#139 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#140 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#141 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#142 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#143 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#144 0x00005633c1c5c39d in StatementAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#145 0x00005633c1c01e29 in ExpressionAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#146 0x00005633c1c0136a in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#147 0x00005633c1c2471c in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#148 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#149 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#150 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#151 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#152 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#153 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#154 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#155 0x00005633c1c245db in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#156 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#157 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#158 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#159 0x00005633c1c03172 in ExpressionComma::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#160 0x00005633c1c017a3 in _expression_::make_random_param(CGContext&, Type const*, CVQualifiers const*, eTermType) ()
#161 0x00005633c1c2bb7a in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#162 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#163 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#164 0x00005633c1c01769 in _expression_::make_random_param(CGContext&, Type const*, CVQualifiers const*, eTermType) ()
#165 0x00005633c1c2bb7a in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#166 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#167 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#168 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#169 0x00005633c1c2471c in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#170 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#171 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#172 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#173 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#174 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#175 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#176 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#177 0x00005633c1c66b27 in StatementIf::make_random(CGContext&) ()
#178 0x00005633c1c55174 in Statement::make_random(CGContext&, eStatementType) ()
#179 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#180 0x00005633c1c66cb2 in StatementIf::make_random(CGContext&) ()
#181 0x00005633c1c55174 in Statement::make_random(CGContext&, eStatementType) ()
#182 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#183 0x00005633c1c1e7c9 in Function::generate_body_with_known_params(CGContext const&, Effect&) ()
#184 0x00005633c1c2bcf0 in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#185 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#186 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#187 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#188 0x00005633c1c245db in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#189 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#190 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#191 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#192 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#193 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#194 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#195 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#196 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#197 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#198 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#199 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#200 0x00005633c1c5c39d in StatementAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#201 0x00005633c1c01e29 in ExpressionAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#202 0x00005633c1c0136a in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#203 0x00005633c1c0319b in ExpressionComma::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#204 0x00005633c1c01387 in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#205 0x00005633c1c03172 in ExpressionComma::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#206 0x00005633c1c01387 in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#207 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#208 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#209 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#210 0x00005633c1c01769 in _expression_::make_random_param(CGContext&, Type const*, CVQualifiers const*, eTermType) ()
#211 0x00005633c1c2bb7a in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#212 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#213 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#214 0x00005633c1c01769 in _expression_::make_random_param(CGContext&, Type const*, CVQualifiers const*, eTermType) ()
#215 0x00005633c1c2bb7a in FunctionInvocationUser::build_invocation_and_function(CGContext&, Type const*, CVQualifiers const*) ()
#216 0x00005633c1c23e2a in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#217 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#218 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#219 0x00005633c1c5c39d in StatementAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#220 0x00005633c1c01e29 in ExpressionAssign::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#221 0x00005633c1c0136a in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#222 0x00005633c1c03172 in ExpressionComma::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#223 0x00005633c1c01387 in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#224 0x00005633c1c24514 in FunctionInvocation::make_random_binary(CGContext&, Type const*) ()
#225 0x00005633c1c23ec3 in FunctionInvocation::make_random(bool, CGContext&, Type const*, CVQualifiers const*) ()
#226 0x00005633c1c04ff4 in ExpressionFuncall::make_random(CGContext&, Type const*, CVQualifiers const*) ()
#227 0x00005633c1c0134d in _expression_::make_random(CGContext&, Type const*, CVQualifiers const*, bool, bool, eTermType) ()
#228 0x00005633c1c66b27 in StatementIf::make_random(CGContext&) ()
#229 0x00005633c1c55174 in Statement::make_random(CGContext&, eStatementType) ()
#230 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#231 0x00005633c1c607d1 in StatementFor::make_random(CGContext&) ()
#232 0x00005633c1c5515c in Statement::make_random(CGContext&, eStatementType) ()
#233 0x00005633c1bc92e5 in Block::make_random(CGContext&, bool) ()
#234 0x00005633c1c1e4a1 in Function::GenerateBody(CGContext const&) ()
#235 0x00005633c1c1d75d in Function::make_first() ()
#236 0x00005633c1c1f680 in GenerateFunctions() ()
#237 0x00005633c1bfacad in DefaultProgramGenerator::goGenerator() ()
#238 0x00005633c1c52646 in main ()

I hope it could help.

Thanks

NB. I am not familar with csmith internals. If someone emails me (within a few hours from

Wed Jun 22 08:28:46 AM UTC 2022) some gdb commands to try, I could type them.

Dr Basile Starynkevitch    -   research engineer at CEA, LIST, DILS, LSL
CEA LIST Nano-Innov b862 PC 174 - 91191 GIF/YVETTE CEDEX, France
mobile: +33 [0]6 8501 2359; office: +33 [0]1 6908 6595
http://starynkevitch.net/Basile/

---

De : csmith-dev-bounces@flux.utah.edu <csmith-dev-bounces@flux.utah.edu> de la part de STARYNKEVITCH Basile
Envoyé : mardi 21 juin 2022 11:57:34
À : csmith-dev@flux.utah.edu
Objet : [PROVENANCE INTERNET] [csmith-dev] csmith running for > 60 minutes (Intel Xeon 4114,Debian-sid/x86-64)

 

Hello all

Thanks for the csmith tool.

I am surprised that 

csmith --max-block-depth 7 --argc --max-block-size 6 --max-funcs 50

is running for more than one hour of CPU time, using

 csmith --version

csmith 2.4.0

Git version: deddca6

compiled with g++ 11.3 on Debian sid x86/64 (Dell workstation, Intel Xeon4114, 128Gbytes RAM).

BTW, my https://github.com/bstarynk/misc-basile/blob/master/manydl.c program is generating more or less random C files (on Linux only), compiling them, then dlopen(3)-ing them. An experimental difference with csmith is that the generated C code is in practice terminating.  I have no formal proof of that property.

You could also use Jacques Pitrat's CAIA source code (for Linux or MacOSX, downloadable from https://github.com/bstarynk/caia-pitrat and described in his last book: Artificial Beings, the conscience of a conscious machine ISBN .978-1848211018 ..) as a test input for your static C analyzers. All the thousands of C files are self generated by Pitrat's CAIA software.

Regards

Dr Basile Starynkevitch    -   research engineer at CEA, LIST, DILS, LSL
CEA LIST Nano-Innov b862 PC 174 - 91191 GIF/YVETTE CEDEX, France