From 8f7dfe7a8340810b41c8a799df201153093fec47 Mon Sep 17 00:00:00 2001
From: clc5q <clc5q@git.zephyr-software.com>
Date: Tue, 2 Apr 2013 15:25:51 +0000
Subject: [PATCH] Remove bad assertion; call MDFixupDefUseLists on orphan code
to improve MEDS annotations.
---
SMPInstr.cpp | 1 -
SMPStaticAnalyzer.cpp | 4 ++++
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/SMPInstr.cpp b/SMPInstr.cpp
index 4fa373ca..d654d8b2 100644
--- a/SMPInstr.cpp
+++ b/SMPInstr.cpp
@@ -5255,7 +5255,6 @@ void SMPInstr::MDFixupSignedness(void) {
// Note that old FG info should be null at this point in FG inference,
// so we only have to pass in the SIGNED bits.
bool MapsChanged = this->UpdateDefOpFGInfo(DefOp, NewFG);
- assert(MapsChanged);
}
} // end if Underflow on register
diff --git a/SMPStaticAnalyzer.cpp b/SMPStaticAnalyzer.cpp
index ab3bae8e..19f3dc2b 100644
--- a/SMPStaticAnalyzer.cpp
+++ b/SMPStaticAnalyzer.cpp
@@ -1619,6 +1619,10 @@ void FindOrphanedCode(segment_t *CurrSeg, FILE *AnnotFile, FILE *InfoAnnotFile)
// some kind, then make a function chunk and make
// it a tail of all functions that jump to it. **!!**
+ // Do machine-dependent fixes for DEF and USE lists.
+ // The fixes can help produce better annotations.
+ CurrInst.MDFixupDefUseLists();
+
// If instruction is still not included in a code chunk,
// emit annotations for it in isolation.
CurrInst.EmitAnnotations(true, false, true, AnnotFile, InfoAnnotFile);
--
GitLab