ppc-symbolic: Add INLINE to updateReg to avoid compiler bug

GaloisInc · Sep 26, 2024 · b7c5805 · b7c5805
1 parent 4356078
commit b7c5805
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Regs.hs b/macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Regs.hs
@@ -427,6 +427,10 @@ lookupReg r asgn =
     Nothing -> X.throwM (MissingRegisterInState (Some r))
     Just pair -> return (asgn Ctx.! MSB.crucibleIndex pair)
 
+-- See:
+-- - https://github.com/GaloisInc/macaw/pull/445#issuecomment-2377127496
+-- - https://gitlab.haskell.org/ghc/ghc/-/issues/25301
+{-# INLINE updateReg #-}
 updateReg :: forall v ppc m f tp
            . (MP.KnownVariant v,
                ppc ~ MP.AnyPPC v,