Searched refs:subexp_recursive_check (Results 1 – 2 of 2) sorted by relevance
2863 subexp_recursive_check(Node* node) in subexp_recursive_check() function2873 r |= subexp_recursive_check(NCONS(node).left); in subexp_recursive_check()2878 r = subexp_recursive_check(NQUANTIFIER(node).target); in subexp_recursive_check()2889 r = subexp_recursive_check(an->target); in subexp_recursive_check()2896 r = subexp_recursive_check(NCALL(node).target); in subexp_recursive_check()2907 r = subexp_recursive_check(NEFFECT(node).target); in subexp_recursive_check()2971 r = subexp_recursive_check(en->target); in subexp_recursive_check_trav()
1492 fix N_LIST case in subexp_recursive_check(). (thanks akr)
Completed in 58 milliseconds