From 8383197858ed244c24577b23952e21f8d22f97ef Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin_nowack@tu-dresden.de>
Date: Thu, 2 Nov 2017 10:21:11 +0100
Subject: Fail for aggegrations with big endian ordering

---
 lib/Core/Executor.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Core/Executor.cpp')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 2afa6958..1ab82595 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -2403,6 +2403,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
           of == iIdx ? newElt : ExtractExpr::create(vec, bitOffset, EltBits));
     }
 
+    assert(Context::get().isLittleEndian() && "FIXME:Broken for big endian");
     ref<Expr> Result = ConcatExpr::createN(elementCount, elems.data());
     bindLocal(ki, state, Result);
     break;
-- 
cgit 1.4.1