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 D | dl_mk_synchronize.cpp | 177 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 D | dl_mk_synchronize.h | 109 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 D | dl_mk_synchronize.cpp | 177 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 D | dl_mk_synchronize.h | 109 void add_rec_tail(vector< ptr_vector<app> > & recursive_calls,
|
/dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
H A D | Exitify.hs | 117 recursive_calls = mkVarSet $ map fst pairs function 146 , disjointVarSet fvs recursive_calls
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ |
H A D | ipa-modref.c | 1070 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 D | ipa-modref.c | 1070 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 D | ipa-modref.c | 1070 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 D | SolidityEndToEndTest.cpp | 130 BOOST_AUTO_TEST_CASE(recursive_calls) in BOOST_AUTO_TEST_CASE() argument
|