Skip to content

Commit

Permalink
[summary] fix bug in caching
Browse files Browse the repository at this point in the history
Summary: Fix omission in looking up cache for full summaries.

Reviewed By: jvillard

Differential Revision:
D66807275

Privacy Context Container: L1208441

fbshipit-source-id: 57558c9dc8637accdce3a6fa0c1fb24a5f7d9f70
  • Loading branch information
ngorogiannis authored and facebook-github-bot committed Dec 5, 2024
1 parent 2afd7bf commit cb32b24
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion infer/src/backend/Summary.ml
Original file line number Diff line number Diff line change
Expand Up @@ -279,7 +279,7 @@ module OnDisk = struct
not_found_from_cache ()
| One _ | CheckerWithoutPayload _ -> (
(* If there is a cache for [All], we use it. *)
match Hash.find cache (proc_name, analysis_req) with
match Hash.find cache (proc_name, AnalysisRequest.all) with
| summary ->
found_from_cache summary
| exception Stdlib.Not_found ->
Expand Down

0 comments on commit cb32b24

Please sign in to comment.