Lines Matching defs:summary
327 modref_summary *summary = get_modref_function_summary (call, &interposed);
329 if (summary && !interposed)
330 for (auto kill : summary->kills)
991 TODO: We can also use modref summary to handle calls. */
1187 /* Try to prove, using modref summary, that all memory written to by a call is
1232 modref_summary *summary = get_modref_function_summary (node);
1233 if (!summary || !summary->try_dse)
1239 for (auto base_node : summary->stores->bases)
1299 modref summary. Note we specifically allow ref to be initialized