Fix issue #124: do not emit DIDerivedType dwarfAddressSpace if the va…

…lue is 0.
GaloisInc · Aug 9, 2023 · 98fb722 · 98fb722
1 parent 7f5631f
commit 98fb722
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Text/LLVM/PP.hs b/src/Text/LLVM/PP.hs
@@ -1107,7 +1107,10 @@ ppDIDerivedType' pp dt = "!DIDerivedType"
        , pure ("offset:"    <+> integral (didtOffset dt))
        , pure ("flags:"     <+> integral (didtFlags dt))
        ,     (("extraData:" <+>) . ppValMd' pp) <$> (didtExtraData dt)
-       ,     (("dwarfAddressSpace:" <+>) . integral) <$> didtDwarfAddressSpace dt
+       , case didtDwarfAddressSpace dt of
+           Nothing -> Nothing
+           Just 0 -> Nothing
+           Just s -> Just $ "dwarfAddressSpace:" <+> integral s
        ,     (("annotations:" <+>) . ppValMd' pp) <$> (didtAnnotations dt)
        ])