Searched refs:clamping_info (Results 1 – 6 of 6) sorted by relevance
597 protobufs::AccessChainClampingInfo clamping_info; in HandleFunctions() local598 clamping_info.set_access_chain_id( in HandleFunctions()620 clamping_info.add_compare_and_select_ids(); in HandleFunctions()653 access_chain_clamping_info.push_back(clamping_info); in HandleFunctions()
737 for (auto& clamping_info : message_.access_chain_clamping_info()) { in TryToClampAccessChainIndices() local738 if (clamping_info.access_chain_id() == access_chain_inst->result_id()) { in TryToClampAccessChainIndices()739 access_chain_clamping_info = &clamping_info; in TryToClampAccessChainIndices()
1027 protobufs::AccessChainClampingInfo clamping_info; in AddLivesafeFunction() local1028 clamping_info.set_access_chain_id( in AddLivesafeFunction()1049 clamping_info.add_compare_and_select_ids(); in AddLivesafeFunction()1098 access_chain_clamping_info.push_back(clamping_info); in AddLivesafeFunction()
748 for (auto& clamping_info : message_.access_chain_clamping_info()) { in TryToClampAccessChainIndices() local749 if (clamping_info.access_chain_id() == access_chain_inst->result_id()) { in TryToClampAccessChainIndices()750 access_chain_clamping_info = &clamping_info; in TryToClampAccessChainIndices()
1025 protobufs::AccessChainClampingInfo clamping_info; in AddLivesafeFunction() local1026 clamping_info.set_access_chain_id( in AddLivesafeFunction()1047 clamping_info.add_compare_and_select_ids(); in AddLivesafeFunction()1096 access_chain_clamping_info.push_back(clamping_info); in AddLivesafeFunction()