Merge pull request #964 from GaloisInc/llvm-space-leak

Add strictness to fix a space leak in crucible_llvm_unsafe_assume_spec.
GaloisInc · Dec 9, 2020 · 0748c96 · 0748c96
2 parents d77950e + 1bd7de8
commit 0748c96
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/SAWScript/Crucible/Common/MethodSpec.hs b/src/SAWScript/Crucible/Common/MethodSpec.hs
@@ -335,7 +335,7 @@ data StateSpec ext = StateSpec
     -- ^ equality, propositions, and ghost-variable conditions
   , _csFreshVars     :: [TypedExtCns]
     -- ^ fresh variables created in this state
-  , _csVarTypeNames  :: Map AllocIndex (TypeName ext)
+  , _csVarTypeNames  :: !(Map AllocIndex (TypeName ext))
     -- ^ names for types of variables, for diagnostics
   }
 

diff --git a/src/SAWScript/Crucible/LLVM/Builtins.hs b/src/SAWScript/Crucible/LLVM/Builtins.hs
@@ -1755,7 +1755,7 @@ crucible_alloc_with_mutability_and_size mut sz alignment lty =
                 , "Specified alignment: " ++ show (Crucible.fromAlignment a) ++ "-byte"
                 ]
               pure a
-         Nothing -> pure memTyAlign
+         Nothing -> pure $! memTyAlign
 
      crucible_alloc_internal lty $
        LLVMAllocSpec