From f12166c2c3091edb218f586ce8491e799f20f05f Mon Sep 17 00:00:00 2001
From: Tristan Ravitch <tristan@nochair.net>
Date: Wed, 4 Oct 2017 15:46:33 -0700
Subject: [PATCH] Add a trivial definition of the architecture-specific
 abstract evaluation function

---
 macaw-ppc/src/Data/Macaw/PPC/Eval.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/macaw-ppc/src/Data/Macaw/PPC/Eval.hs b/macaw-ppc/src/Data/Macaw/PPC/Eval.hs
index 61a51012..1a300677 100644
--- a/macaw-ppc/src/Data/Macaw/PPC/Eval.hs
+++ b/macaw-ppc/src/Data/Macaw/PPC/Eval.hs
@@ -51,11 +51,13 @@ absEvalArchFn :: proxy ppc
               -> AbsValue (RegAddrWidth (ArchReg ppc)) tp
 absEvalArchFn = undefined
 
+-- | For now, none of the architecture-specific statements have an effect on the
+-- abstract value.
 absEvalArchStmt :: proxy ppc
                 -> AbsProcessorState (ArchReg ppc) ids
                 -> ArchStmt ppc ids
                 -> AbsProcessorState (ArchReg ppc) ids
-absEvalArchStmt = undefined
+absEvalArchStmt _ s _ = s
 
 postCallAbsState :: proxy ppc
                  -> AbsBlockState (ArchReg ppc)