Ubuntu22 support

libehp @ 5e41e26b

-Subproject commit 45a8a215b746ac7b189e4c6ccbab669635abcf67
+Subproject commit 5e41e26b88d415f3c7d3eb47f9f0d781cc519459

src/base/SMPFunction.cpp

@@ -27399,7 +27399,7 @@ void SMPFunction::EmitSPARKAdaForMultipleLoopExitTargets(FILE *SPARKBodyFile, co
 		if (ReachableUnion.GetBit(TCFGBlockNum) && CurrTCFGBlock->IsReadyToTranslate() && EligibleBlock) {
 			bool StartedGuardOutput = false;
 			uint32_t ReachableSourceCount = 0;
-			for (const pair<int, STARSBitSet> &CurrReachablePair : this->LoopExitTargetsReachabilitySets[LoopNum]) {
+			for (const auto &CurrReachablePair : this->LoopExitTargetsReachabilitySets[LoopNum]) {
 				STARSBitSet CurrBitSet;
 				CurrBitSet.AllocateBits(CurrReachablePair.second.GetNumBits());
 				CurrBitSet = CurrReachablePair.second;