-/* Merge the necessary SMT's into the bitmap INTO, which is
- P's varinfo. This involves merging all SMT's that are a subset of
- the SMT necessary for P. */
-
-static void
-merge_smts_into (tree p, bitmap solution)
-{
- tree smt;
- bitmap aliases;
- tree var = p;
-
- if (TREE_CODE (p) == SSA_NAME)
- var = SSA_NAME_VAR (p);
-
- smt = var_ann (var)->symbol_mem_tag;
- if (smt)
- {
- /* The smt itself isn't included in its aliases. */
- bitmap_set_bit (solution, DECL_UID (smt));
-
- aliases = MTAG_ALIASES (smt);
- if (aliases)
- bitmap_ior_into (solution, aliases);
- }
-}
-