From 7120c775037c911848fa634ae6398baf577d5650 Mon Sep 17 00:00:00 2001
From: Rafael Zaehl <rafael.zaehl@rwth-aachen.de>
Date: Sat, 29 Sep 2018 17:24:06 +0200
Subject: Added lowering pass

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

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

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 0506b685..7c4ee23a 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -2566,6 +2566,15 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
     // instructions.
     terminateStateOnExecError(state, "Unexpected ShuffleVector instruction");
     break;
+  case Instruction::AtomicRMW:
+    terminateStateOnExecError(state, "Unexpected Atomic instruction, should be "
+                                     "lowered by LowerAtomicInstructionPass");
+    break;
+  case Instruction::AtomicCmpXchg:
+    terminateStateOnExecError(state,
+                              "Unexpected AtomicCmpXchg instruction, should be "
+                              "lowered by LowerAtomicInstructionPass");
+    break;
   // Other instructions...
   // Unhandled
   default:
-- 
cgit 1.4.1