Searched refs:find_bvadd (Results 1 – 2 of 2) sorted by relevance
306 extern thvar_t find_bvadd(bv_vartable_t *table, thvar_t x, thvar_t y);
1335 thvar_t find_bvadd(bv_vartable_t *table, thvar_t x, thvar_t y) { in find_bvadd() function