Searched defs:uncertainty (Results 1 – 4 of 4) sorted by relevance
567 uncertainty_t *uncertainty = ctxt->get_uncertainty (); in on_liveness_change() local1015 uncertainty_t *uncertainty) in on_edge()1062 uncertainty_t *uncertainty) in push_call()1085 uncertainty_t *uncertainty) in returning_call()1356 const uncertainty_t *uncertainty = ctxt->get_uncertainty (); in detect_leaks() local1679 uncertainty_t uncertainty; in test_program_state_merging() local
88 uncertainty_t *uncertainty, in impl_region_model_context()107 uncertainty_t *uncertainty, in impl_region_model_context()1351 uncertainty_t *uncertainty, in on_stmt()1495 uncertainty_t *uncertainty) in on_edge()1764 uncertainty_t uncertainty; in detect_leaks() local2586 uncertainty_t uncertainty; in get_or_create_node() local3362 uncertainty_t uncertainty; in maybe_process_run_of_before_supernode_enodes() local3539 uncertainty_t *uncertainty, in maybe_create_dynamic_call()3710 uncertainty_t uncertainty; in process_node() local3759 uncertainty_t uncertainty; in process_node() local[all …]
1012 uncertainty_t *uncertainty, in remove_overlapping_bindings()1387 uncertainty_t *uncertainty) in mark_region_as_unknown()1722 uncertainty_t *uncertainty) in remove_overlapping_bindings()2438 uncertainty_t *uncertainty) in set_value()2677 uncertainty_t *uncertainty) in mark_region_as_unknown()2914 uncertainty_t *uncertainty) in remove_overlapping_bindings()
1827 uncertainty_t *uncertainty = ctxt ? ctxt->get_uncertainty () : NULL; in handle_unrecognized_call() local1885 const uncertainty_t *uncertainty) in get_reachable_svalues()2909 uncertainty_t *uncertainty) in mark_region_as_unknown()