diff options
| author | Martin Nowack <martin_nowack@tu-dresden.de> | 2017-11-02 10:21:11 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-02-18 12:49:41 +0000 |
| commit | 8383197858ed244c24577b23952e21f8d22f97ef (patch) | |
| tree | f63a88930d5793e8e20b1ad070451c2b82ea4a19 /lib/Core/Executor.cpp | |
| parent | a0163772ee748796160ac8c2ae3b1376fef2bcf2 (diff) | |
| download | klee-8383197858ed244c24577b23952e21f8d22f97ef.tar.gz | |
Fail for aggegrations with big endian ordering
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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; |