Home
last modified time | relevance | path

Searched refs:x_as_ptr (Results 1 – 2 of 2) sorted by relevance

/netbsd/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc5845 const region *x_as_ptr = mgr.get_cast_region (x_reg, ptr_type_node); in test_state_merging() local
5846 model0.set_value (x_as_ptr, model0.get_rvalue (addr_of_y, &ctxt), &ctxt); in test_state_merging()
/netbsd/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc8658 region_id x_as_ptr = model0.get_or_create_view (x_rid, ptr_type_node, in test_state_merging() local
8660 model0.set_value (x_as_ptr, model0.get_rvalue (addr_of_y, &ctxt), &ctxt); in test_state_merging()