Searched defs:c_x_reg (Results 1 – 1 of 1) sorted by relevance
4710 const region *c_x_reg = model.get_lvalue (c_x, NULL); in test_struct() local4818 const region *c_x_reg = m.get_lvalue (c_x, &ctxt); in test_get_representative_tree() local5114 const region *c_x_reg = model.get_lvalue (c_x, &ctxt); in test_sub_svalue_folding() local