diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-09-20 15:00:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-20 15:00:35 +0100 |
| commit | 1823ab801b50e781c18cff67cb8cda0d7859519e (patch) | |
| tree | 5a4aca500f4631b05622081bb3abeac8f2fe94fb /lib/Core | |
| parent | 1bfdbc61f2e14d8b0f2b5ca45ca8266c363cbfc5 (diff) | |
| parent | 95a39e0fe58c7b95588da97b3478eafba9920281 (diff) | |
| download | klee-1823ab801b50e781c18cff67cb8cda0d7859519e.tar.gz | |
Merge pull request #443 from MartinNowack/feat_assembler_raising
Extended support for assembler raising
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/Executor.cpp | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index d755403f..8b885527 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2543,9 +2543,15 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { bindLocal(ki, state, result); break; } - - // Other instructions... - // Unhandled +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 3) + case Instruction::Fence: { + // Ignore for now + break; + } +#endif + + // Other instructions... + // Unhandled case Instruction::ExtractElement: case Instruction::InsertElement: case Instruction::ShuffleVector: |