Skip to content

Commit 2556692

Browse files
committed
Better check for temp register sizes
1 parent 3513991 commit 2556692

File tree

3 files changed

+293
-126
lines changed

3 files changed

+293
-126
lines changed

plugins/lift_check/lifted_il_lift_check.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -210,8 +210,8 @@ void LiftedILVerifier::Verify()
210210
(low priority)
211211
-[ ] suspiciously long expr tree
212212
(not actually a bug, just sus)
213-
-[ ] Lifted IL: not more than 1 pop per tree
214-
-[ ] Lifted IL: no conflicting flag writes in the same tree (don't have two subs in same instr)
213+
-[x] not more than 1 pop per tree
214+
-[x] no conflicting flag writes in the same tree (don't have two subs in same instr)
215215
-[ ] (not possible through API) GetFlagWriteLowLevelIL when it resolves a flag calls the arch to get the value for a flag and that expr must not set flags
216216
*/
217217
if (!m_il->GetFunction())

0 commit comments

Comments
 (0)