(c2rust-analyze) Forgot to actually add the const ref Locations to const_ref_locs.

Author: kkysen

c2rust-analyze/src/context.rs

@@ -115,7 +115,7 @@ pub struct AnalysisCtxt<'a, 'tcx> {
     pub rvalue_tys: HashMap<Location, LTy<'tcx>>,
 
     /// [`Location`]s of const ref [`rvalue_tys`](Self::rvalue_tys).
-    const_ref_locs: Vec<Location>,
+    pub const_ref_locs: Vec<Location>,
 
     next_ptr_id: NextLocalPointerId,
 }

c2rust-analyze/src/main.rs

@@ -403,6 +403,7 @@ fn label_rvalue_tys<'tcx>(acx: &mut AnalysisCtxt<'_, 'tcx>, mir: &Body<'tcx>) {
                         // The [`Constant`] is an inline value and thus local to this function,
                         // as opposed to a global, named `const`s, for example.
                         // This might miss local, named `const`s,
+                        acx.const_ref_locs.push(loc);
                         acx.assign_pointer_ids(ty)
                     } else {
                         // TODO: Handle global, named `const`s.