From 4494c3171d354e7d25970c9e547bd7d3806607bf Mon Sep 17 00:00:00 2001
From: clc5q <clc5q@git.zephyr-software.com>
Date: Thu, 10 Dec 2015 16:15:08 +0000
Subject: [PATCH] Declare live metadata when a DEF reaches a BranchToOtherFunc.
Former-commit-id: cd54afbe4d9911ca8080d1b5ac4aaf53a6046540
---
src/base/SMPFunction.cpp | 1 +
.../trimmed-sorted-save-busybox.psexe.annot.REMOVED.git-id | 2 +-
.../trimmed-sorted-save-ffmpeg.psexe.annot.REMOVED.git-id | 2 +-
...-sorted-save-gnome-keyring-daemon.psexe.annot.REMOVED.git-id | 2 +-
...rimmed-sorted-save-gnome-terminal.psexe.annot.REMOVED.git-id | 2 +-
.../commit/trimmed-sorted-save-xedit.psexe.annot.REMOVED.git-id | 2 +-
6 files changed, 6 insertions(+), 5 deletions(-)
diff --git a/src/base/SMPFunction.cpp b/src/base/SMPFunction.cpp
index 1f4bbf8f..ff944b24 100644
--- a/src/base/SMPFunction.cpp
+++ b/src/base/SMPFunction.cpp
@@ -4392,6 +4392,7 @@ void SMPFunction::AnalyzeMetadataLiveness(void) {
} // end while processing DEFs
if ((RETURN == CurrInst->GetDataFlowType())
|| (CurrInst->IsTailCall()) // quasi-return
+ || (CurrInst->IsBranchToOtherFunc())
|| (CALL == CurrInst->GetDataFlowType())
|| (INDIR_CALL == CurrInst->GetDataFlowType())) {
// The EAX and EDX registers can be returned to the caller,
diff --git a/tests/commit/trimmed-sorted-save-busybox.psexe.annot.REMOVED.git-id b/tests/commit/trimmed-sorted-save-busybox.psexe.annot.REMOVED.git-id
index 8029da0a..92cf2d23 100644
--- a/tests/commit/trimmed-sorted-save-busybox.psexe.annot.REMOVED.git-id
+++ b/tests/commit/trimmed-sorted-save-busybox.psexe.annot.REMOVED.git-id
@@ -1 +1 @@
-1d7019dbe814410f0e11e69c3381190b8cb6234f
\ No newline at end of file
+4906f688d2ab7ec1cd472daa970518ad74869c7d
\ No newline at end of file
diff --git a/tests/commit/trimmed-sorted-save-ffmpeg.psexe.annot.REMOVED.git-id b/tests/commit/trimmed-sorted-save-ffmpeg.psexe.annot.REMOVED.git-id
index 06c3716d..b38b8366 100644
--- a/tests/commit/trimmed-sorted-save-ffmpeg.psexe.annot.REMOVED.git-id
+++ b/tests/commit/trimmed-sorted-save-ffmpeg.psexe.annot.REMOVED.git-id
@@ -1 +1 @@
-ed9fd1c1509d515e27fdc0f8c6cc72f49eaaef60
\ No newline at end of file
+6ad326447e62d9789cc2b96b1652b1058df31f52
\ No newline at end of file
diff --git a/tests/commit/trimmed-sorted-save-gnome-keyring-daemon.psexe.annot.REMOVED.git-id b/tests/commit/trimmed-sorted-save-gnome-keyring-daemon.psexe.annot.REMOVED.git-id
index 924a8265..408faae8 100644
--- a/tests/commit/trimmed-sorted-save-gnome-keyring-daemon.psexe.annot.REMOVED.git-id
+++ b/tests/commit/trimmed-sorted-save-gnome-keyring-daemon.psexe.annot.REMOVED.git-id
@@ -1 +1 @@
-61fe810c055d7020d1a16ae24df99680673191c8
\ No newline at end of file
+f82d06ad6c37cc237792e84181ca4287f9fad055
\ No newline at end of file
diff --git a/tests/commit/trimmed-sorted-save-gnome-terminal.psexe.annot.REMOVED.git-id b/tests/commit/trimmed-sorted-save-gnome-terminal.psexe.annot.REMOVED.git-id
index ff48b4ed..21902536 100644
--- a/tests/commit/trimmed-sorted-save-gnome-terminal.psexe.annot.REMOVED.git-id
+++ b/tests/commit/trimmed-sorted-save-gnome-terminal.psexe.annot.REMOVED.git-id
@@ -1 +1 @@
-053113a6d3e487c346134c3baa5b33142d4da39c
\ No newline at end of file
+4ee802dbcd85a924b5d6993b0d27a5c1c8655b14
\ No newline at end of file
diff --git a/tests/commit/trimmed-sorted-save-xedit.psexe.annot.REMOVED.git-id b/tests/commit/trimmed-sorted-save-xedit.psexe.annot.REMOVED.git-id
index 953bd2cc..b7d50b11 100644
--- a/tests/commit/trimmed-sorted-save-xedit.psexe.annot.REMOVED.git-id
+++ b/tests/commit/trimmed-sorted-save-xedit.psexe.annot.REMOVED.git-id
@@ -1 +1 @@
-cbeb49a8d5c1d43924ed4db5808de8a744e99200
\ No newline at end of file
+64d1bc263ed2e0c95ebb79b283e735a3d13f95ad
\ No newline at end of file
--
GitLab