Searched defs:maybe_add_custom_events_for_superedge (Results 1 – 2 of 2) sorted by relevance
292 virtual bool maybe_add_custom_events_for_superedge (const exploded_edge &, in maybe_add_custom_events_for_superedge() function
1571 maybe_add_custom_events_for_superedge (const exploded_edge &eedge, in maybe_add_custom_events_for_superedge() function in ana::stale_jmp_buf