Implement missing case in LLVM matchArg function for array values.

Fixes #701.
GaloisInc · May 18, 2020 · 32f53e2 · 32f53e2
1 parent 0860175
commit 32f53e2
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/SAWScript/Crucible/LLVM/Override.hs b/src/SAWScript/Crucible/LLVM/Override.hs
@@ -995,6 +995,12 @@ matchArg opts sc cc cs prepost actual expectedTy expected = do
               realTerm <- valueToSC sym (cs ^. MS.csLoc) failMsg tval actual
               matchTerm sc cc (cs ^. MS.csLoc) prepost realTerm (ttTerm expectedTT)
 
+    -- match arrays point-wise
+    (Crucible.LLVMValArray _ xs, Crucible.ArrayType _len y, SetupArray () zs) ->
+      sequence_
+        [ matchArg opts sc cc cs prepost x y z
+        | (x, z) <- zip (V.toList xs) zs ]
+
     -- match the fields of struct point-wise
     (Crucible.LLVMValStruct xs, Crucible.StructType fields, SetupStruct () _ zs) ->
       sequence_