From 1fadf37a8e4427242c6635d740fdb67a6f444fc7 Mon Sep 17 00:00:00 2001 From: Stuart Pernsteiner Date: Mon, 15 Mar 2021 15:02:13 -0700 Subject: [PATCH] remove outdated comment --- crux-mir-comp/src/Mir/Compositional/Override.hs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/crux-mir-comp/src/Mir/Compositional/Override.hs b/crux-mir-comp/src/Mir/Compositional/Override.hs index 65464a08bc..4a2bb5b95f 100644 --- a/crux-mir-comp/src/Mir/Compositional/Override.hs +++ b/crux-mir-comp/src/Mir/Compositional/Override.hs @@ -304,10 +304,6 @@ runSpec cs mh ms = do -- Handle return value and post-state PointsTos - -- TODO: clobber all writable memory that's accessible in the pre state - -- + record mut vs imm for each reference discovered within args - -- + clobber all mut memory - let retTy = maybe (M.TyTuple []) id $ ms ^. MS.csRet let retTpr = handleReturnType mh let retShp = tyToShapeEq col retTy retTpr