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