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