GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 08:27:24 +03:00
Code Issues Projects Releases Wiki Activity

Fix shadow symbol warning.

Browse Source
This commit is contained in:
Joe Hendrix 2020-11-12 21:46:07 -08:00
parent 6d879215e5
commit b23057fde9
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
utils/compare-dwarfdump/src/Main.hs
View File

@ -236,11 +236,11 @@ mkDwarfdumpOutput path elfFile = do
when (BS.length compressedData < 12) $
reportError path $ "Expected compressed section to contain uncompressed size."
let uncompressedSize = Elf.bsWord64be (BS.drop 4 compressedData)
let frameData = BSL.toStrict $ Zlib.decompress $ BSL.fromStrict $ BS.drop 12 compressedData
when (fromIntegral (BS.length frameData) /= uncompressedSize) $ do
let secData = BSL.toStrict $ Zlib.decompress $ BSL.fromStrict $ BS.drop 12 compressedData
when (fromIntegral (BS.length secData) /= uncompressedSize) $ do
reportError path "Uncompressed .zdebug_frame size is incorrect."
let f = Frame { frameCtx = Dwarf.DebugFrame
, frameData = frameData
, frameData = secData
, frameAddr = Elf.elfSectionAddr frameSection
, frameExcept = mExceptTable
}
@ -248,9 +248,9 @@ mkDwarfdumpOutput path elfFile = do
_ -> pure ()
case Elf.findSectionByName ".debug_frame" elfFile of
[frameSection] -> do
let frameData = Elf.elfSectionData frameSection
let secData = Elf.elfSectionData frameSection
let f = Frame { frameCtx = Dwarf.DebugFrame
, frameData = frameData
, frameData = secData
, frameAddr = Elf.elfSectionAddr frameSection
, frameExcept = mExceptTable
}