Searched defs:FoundSummary (Results 1 – 1 of 1) sorted by relevance
972 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPreCall() local1016 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in checkPostCall() local1071 std::optional<Summary> FoundSummary = findFunctionSummary(Call, C); in evalCall() local