fix incomplete pattern match

GaloisInc · Oct 31, 2019 · 0aac9d7 · 0aac9d7
1 parent d66286a
commit 0aac9d7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/SAWScript/Crucible/LLVM/Override.hs b/src/SAWScript/Crucible/LLVM/Override.hs
@@ -872,7 +872,7 @@ matchArg opts sc cc cs prepost actual expectedTy expected =
     (_, Crucible.PtrType _, SetupField () _ _) -> resolveAndMatch
     (_, _, SetupGlobalInitializer () _) -> resolveAndMatch
 
-    ((Crucible.LLVMValInt blk off), _, _) ->
+    (Crucible.LLVMValInt blk off, _, _) ->
       case expected of
         SetupVar var | Just Refl <- testEquality (W4.bvWidth off) Crucible.PtrWidth ->
           do assignVar cc (cs ^. MS.csLoc) var (Crucible.LLVMPointer blk off)
@@ -892,6 +892,9 @@ matchArg opts sc cc cs prepost actual expectedTy expected =
              addAssert pred_ =<<
                notEqual prepost opts (cs ^. MS.csLoc) cc sc cs expected actual
 
+        _ -> failure (cs ^. MS.csLoc) =<<
+              mkStructuralMismatch opts cc sc cs actual expected expectedTy
+
     _ -> failure (cs ^. MS.csLoc) =<<
            mkStructuralMismatch opts cc sc cs actual expected expectedTy