Fix double-free in T5644 (#12208)
Fix double-free in T5644 (#12208)

(cherry picked from commit e7e42c838e32ef1e05daf04b0b6afb62ffc4ec97)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc