Searched refs:clamping_info (Results 1 – 6 of 6) sorted by relevance
1112 protobufs::AccessChainClampingInfo clamping_info; in MaybeAddLivesafeFunction() local1113 clamping_info.set_access_chain_id( in MaybeAddLivesafeFunction()1134 clamping_info.add_compare_and_select_ids(); in MaybeAddLivesafeFunction()1182 access_chain_clamping_info.push_back(clamping_info); in MaybeAddLivesafeFunction()
769 for (auto& clamping_info : message_.access_chain_clamping_info()) { in TryToClampAccessChainIndices() local770 if (clamping_info.access_chain_id() == access_chain_inst->result_id()) { in TryToClampAccessChainIndices()771 access_chain_clamping_info = &clamping_info; in TryToClampAccessChainIndices()
1111 protobufs::AccessChainClampingInfo clamping_info; in MaybeAddLivesafeFunction() local1112 clamping_info.set_access_chain_id( in MaybeAddLivesafeFunction()1133 clamping_info.add_compare_and_select_ids(); in MaybeAddLivesafeFunction()1181 access_chain_clamping_info.push_back(clamping_info); in MaybeAddLivesafeFunction()