Searched refs:offset_sval (Results 1 – 2 of 2) sorted by relevance
680 const svalue *offset_sval = get_rvalue (offset, ctxt); in get_gassign_result() local683 offset_sval = m_mgr->get_or_create_cast (size_type_node, offset_sval); in get_gassign_result()687 ptr_sval, offset_sval); in get_gassign_result()2102 const svalue *offset_sval = get_rvalue (offset, ctxt); in get_lvalue_1() local2106 offset_sval); in get_lvalue_1()2283 const svalue *offset_sval = get_rvalue (offset, ctxt); in get_rvalue_1() local2286 ptr_sval, offset_sval); in get_rvalue_1()
6936 svalue *offset_sval = get_svalue (offset_sid); in get_or_create_mem_ref() local6937 tree offset_type = offset_sval->get_type (); in get_or_create_mem_ref()6940 if (constant_svalue *cst_sval = offset_sval->dyn_cast_constant_svalue ()) in get_or_create_mem_ref()