From cb32b24e9b11dc6dd4a5aaa9def0ea30ff7e7748 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@meta.com>
Date: Thu, 5 Dec 2024 05:25:22 -0800
Subject: [PATCH] [summary] fix bug in caching

Summary: Fix omission in looking up cache for full summaries.

Reviewed By: jvillard

Differential Revision:
D66807275

Privacy Context Container: L1208441

fbshipit-source-id: 57558c9dc8637accdce3a6fa0c1fb24a5f7d9f70
---
 infer/src/backend/Summary.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/Summary.ml b/infer/src/backend/Summary.ml
index 36cd640e99..d695f33884 100644
--- a/infer/src/backend/Summary.ml
+++ b/infer/src/backend/Summary.ml
@@ -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 ->