Searched defs:FoundSummary (Results 1 – 1 of 1) sorted by relevance
680 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPreCall() local712 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPostCall() local736 Optional<Summary> FoundSummary = findFunctionSummary(Call, C); in evalCall() local