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