Home
last modified time | relevance | path

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

/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/
H A Dprogram-state.cc1009 svalue_id_merger_mapping sid_mapping (*m_region_model, in can_merge_with_p() local
1013 &sid_mapping)) in can_merge_with_p()
1039 = smap->clone_with_remapping (sid_mapping.m_map_from_a_to_m); in can_merge_with_p()
1043 = other_smap->clone_with_remapping (sid_mapping.m_map_from_b_to_m); in can_merge_with_p()
H A Dregion-model.h2079 svalue_id_merger_mapping *sid_mapping) in model_merger()
2084 m_sid_mapping (sid_mapping) in model_merger()
2086 gcc_assert (sid_mapping); in model_merger()
H A Dregion-model.cc6814 svalue_id_merger_mapping *sid_mapping) const in can_merge_with_p()
6818 gcc_assert (sid_mapping); in can_merge_with_p()
6821 model_merger merger (this, &other_model, out_model, sid_mapping); in can_merge_with_p()
6858 svalue_id_merger_mapping sid_mapping (*this, other_model); in can_merge_with_p() local
6859 return can_merge_with_p (other_model, out_model, &sid_mapping); in can_merge_with_p()
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/
H A Dprogram-state.cc1009 svalue_id_merger_mapping sid_mapping (*m_region_model, in can_merge_with_p() local
1013 &sid_mapping)) in can_merge_with_p()
1039 = smap->clone_with_remapping (sid_mapping.m_map_from_a_to_m); in can_merge_with_p()
1043 = other_smap->clone_with_remapping (sid_mapping.m_map_from_b_to_m); in can_merge_with_p()
H A Dregion-model.h2079 svalue_id_merger_mapping *sid_mapping) in model_merger()
2084 m_sid_mapping (sid_mapping) in model_merger()
2086 gcc_assert (sid_mapping); in model_merger()
H A Dregion-model.cc6814 svalue_id_merger_mapping *sid_mapping) const in can_merge_with_p()
6818 gcc_assert (sid_mapping); in can_merge_with_p()
6821 model_merger merger (this, &other_model, out_model, sid_mapping); in can_merge_with_p()
6858 svalue_id_merger_mapping sid_mapping (*this, other_model); in can_merge_with_p() local
6859 return can_merge_with_p (other_model, out_model, &sid_mapping); in can_merge_with_p()
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/
H A Dprogram-state.cc1009 svalue_id_merger_mapping sid_mapping (*m_region_model, in can_merge_with_p() local
1013 &sid_mapping)) in can_merge_with_p()
1039 = smap->clone_with_remapping (sid_mapping.m_map_from_a_to_m); in can_merge_with_p()
1043 = other_smap->clone_with_remapping (sid_mapping.m_map_from_b_to_m); in can_merge_with_p()
H A Dregion-model.h2079 svalue_id_merger_mapping *sid_mapping) in model_merger()
2084 m_sid_mapping (sid_mapping) in model_merger()
2086 gcc_assert (sid_mapping); in model_merger()
H A Dregion-model.cc6814 svalue_id_merger_mapping *sid_mapping) const in can_merge_with_p()
6818 gcc_assert (sid_mapping); in can_merge_with_p()
6821 model_merger merger (this, &other_model, out_model, sid_mapping); in can_merge_with_p()
6858 svalue_id_merger_mapping sid_mapping (*this, other_model); in can_merge_with_p() local
6859 return can_merge_with_p (other_model, out_model, &sid_mapping); in can_merge_with_p()