Home
last modified time | relevance | path

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

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc5139 if (region_svalue *ptr_svalue = svalue->dyn_cast_region_svalue ()) in get_or_create_ptr_svalue() local
5140 if (ptr_svalue->get_pointee () == rid in get_or_create_ptr_svalue()
5141 && ptr_svalue->get_type () == ptr_type) in get_or_create_ptr_svalue()
5396 svalue *ptr_svalue = get_svalue (ptr_sid); in deref_rvalue() local
5397 gcc_assert (ptr_svalue); in deref_rvalue()
5399 switch (ptr_svalue->get_kind ()) in deref_rvalue()
5403 region_svalue *region_sval = as_a <region_svalue *> (ptr_svalue); in deref_rvalue()
5416 = as_a <poisoned_svalue *> (ptr_svalue); in deref_rvalue()
5440 = new region_svalue (ptr_svalue->get_type (), new_rid); in deref_rvalue()