Skip to content

Commit 72f6a8a

Browse files
committed
Revert "fixassert"
This reverts commit aeaa1c5.
1 parent aeaa1c5 commit 72f6a8a

File tree

2 files changed

+166
-2
lines changed

2 files changed

+166
-2
lines changed

CMakeLists.txt

Lines changed: 162 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

lifter/lifterClass_concolic.hpp

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -60,15 +60,17 @@ class lifterConcolic : public lifterClassBase<
6060
int getRegisterIndex(Register key) const {
6161

6262
switch (key) {
63-
case Register::EIP:
6463
case Register::RIP: {
6564
return RIP_;
6665
}
67-
case Register::EFLAGS:
6866
case Register::RFLAGS: {
6967
return RFLAGS_;
7068
}
7169
default: {
70+
assert(((key >= Register::RAX && key <= Register::R15) ||
71+
key == Register::EIP || key == Register::RIP) &&
72+
"Key must be between RAX and R15");
73+
7274
return (static_cast<int>(key) - static_cast<int>(Register::RAX));
7375
}
7476
}

0 commit comments

Comments
 (0)