Home
last modified time | relevance | path

Searched refs:recursive_calls (Results 1 – 9 of 9) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/transforms/
H A Ddl_mk_synchronize.cpp177 void mk_synchronize::add_rec_tail(vector< ptr_vector<app> > & recursive_calls, in add_rec_tail() argument
182 for (auto &rc : recursive_calls) in add_rec_tail()
185 unsigned n = recursive_calls.size(); in add_rec_tail()
192 unsigned sz = recursive_calls[i].size(); in add_rec_tail()
194 j < sz ? recursive_calls[i][j] : recursive_calls[i][sz - 1]; in add_rec_tail()
272 vector< ptr_vector<app> > recursive_calls; in product_rule() local
273 recursive_calls.resize(n); in product_rule()
281 recursive_calls[i].push_back(tail); in product_rule()
284 if (recursive_calls[i].empty()) { in product_rule()
285 recursive_calls[i].push_back(rule.get_head()); in product_rule()
[all …]
H A Ddl_mk_synchronize.h109 void add_rec_tail(vector< ptr_vector<app> > & recursive_calls,
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/
H A Ddl_mk_synchronize.cpp177 void mk_synchronize::add_rec_tail(vector< ptr_vector<app> > & recursive_calls, in add_rec_tail() argument
182 for (auto &rc : recursive_calls) in add_rec_tail()
185 unsigned n = recursive_calls.size(); in add_rec_tail()
192 unsigned sz = recursive_calls[i].size(); in add_rec_tail()
194 j < sz ? recursive_calls[i][j] : recursive_calls[i][sz - 1]; in add_rec_tail()
272 vector< ptr_vector<app> > recursive_calls; in product_rule() local
273 recursive_calls.resize(n); in product_rule()
281 recursive_calls[i].push_back(tail); in product_rule()
284 if (recursive_calls[i].empty()) { in product_rule()
285 recursive_calls[i].push_back(rule.get_head()); in product_rule()
[all …]
H A Ddl_mk_synchronize.h109 void add_rec_tail(vector< ptr_vector<app> > & recursive_calls,
/dports/lang/ghc/ghc-8.10.7/compiler/simplCore/
H A DExitify.hs117 recursive_calls = mkVarSet $ map fst pairs function
146 , disjointVarSet fvs recursive_calls
/dports/lang/gcc11/gcc-11.2.0/gcc/
H A Dipa-modref.c1070 gcall *stmt, vec <gimple *> *recursive_calls) in analyze_call()
1109 recursive_calls->safe_push (stmt); in analyze_call()
1212 gimple *stmt, bool ipa, vec <gimple *> *recursive_calls) in analyze_stmt()
1241 as_a <gcall *> (stmt), recursive_calls); in analyze_stmt()
2020 auto_vec <gimple *, 32> recursive_calls; in analyze_function() local
2032 gsi_stmt (si), ipa, &recursive_calls) in analyze_function()
2052 for (unsigned i = 0; i < recursive_calls.length (); i++) in analyze_function()
2055 (summary, recursive_calls[i], summary, in analyze_function()
2058 (recursive_calls[i])), in analyze_function()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/
H A Dipa-modref.c1070 gcall *stmt, vec <gimple *> *recursive_calls) in analyze_call()
1109 recursive_calls->safe_push (stmt); in analyze_call()
1212 gimple *stmt, bool ipa, vec <gimple *> *recursive_calls) in analyze_stmt()
1241 as_a <gcall *> (stmt), recursive_calls); in analyze_stmt()
2029 auto_vec <gimple *, 32> recursive_calls; in analyze_function() local
2041 gsi_stmt (si), ipa, &recursive_calls) in analyze_function()
2061 for (unsigned i = 0; i < recursive_calls.length (); i++) in analyze_function()
2064 (summary, recursive_calls[i], summary, in analyze_function()
2067 (recursive_calls[i])), in analyze_function()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/
H A Dipa-modref.c1070 gcall *stmt, vec <gimple *> *recursive_calls) in analyze_call()
1109 recursive_calls->safe_push (stmt); in analyze_call()
1212 gimple *stmt, bool ipa, vec <gimple *> *recursive_calls) in analyze_stmt()
1241 as_a <gcall *> (stmt), recursive_calls); in analyze_stmt()
2020 auto_vec <gimple *, 32> recursive_calls; in analyze_function() local
2032 gsi_stmt (si), ipa, &recursive_calls) in analyze_function()
2052 for (unsigned i = 0; i < recursive_calls.length (); i++) in analyze_function()
2055 (summary, recursive_calls[i], summary, in analyze_function()
2058 (recursive_calls[i])), in analyze_function()
/dports/lang/solidity/solidity_0.8.11/test/libsolidity/
H A DSolidityEndToEndTest.cpp130 BOOST_AUTO_TEST_CASE(recursive_calls) in BOOST_AUTO_TEST_CASE() argument