Lines Matching defs:sol
1361 bitmap sol;
1368 sol = get_varinfo (t)->solution;
1369 if (!bitmap_bit_p (sol, rhs))
1371 bitmap_set_bit (sol, rhs);
1394 bitmap sol = get_varinfo (lhs)->solution;
1400 flag = !bitmap_bit_p (sol, anything_id);
1402 bitmap_set_bit (sol, anything_id);
1424 flag |= bitmap_ior_into (sol, get_varinfo (t)->solution);
1426 flag |= bitmap_ior_into (sol, get_varinfo (t)->solution);
1437 get_varinfo (lhs)->solution = sol;
1453 bitmap sol = get_varinfo (rhs)->solution;
1457 if (bitmap_bit_p (sol, anything_id))
1503 if (set_union_with_increment (tmp, sol, roff))
1507 sol = get_varinfo (rhs)->solution;