From 87971cca1a3f8cd4e8ed2158508e3aec8baef65f Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark.mossberg@gmail.com>
Date: Fri, 21 Apr 2017 20:08:30 -0400
Subject: [PATCH] Add arm LDCL (#172)

---
 manticore/core/cpu/arm.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/manticore/core/cpu/arm.py b/manticore/core/cpu/arm.py
index d1ca606..b1d424d 100644
--- a/manticore/core/cpu/arm.py
+++ b/manticore/core/cpu/arm.py
@@ -856,3 +856,9 @@ class Armv7Cpu(Cpu):
         '''
         pass
 
+    @instruction
+    def LDCL(cpu, *operands):
+        '''
+        Occasionally used in glibc (longjmp in ld.so). Nop under our execution model.
+        '''
+        pass