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