diff --git a/src/base/SMPFunction.cpp b/src/base/SMPFunction.cpp
index 1f4bbf8f05957ec0fbea8bbba89d0147138fb140..ff944b2432efd29e054a3bf555080008d340bf32 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 8029da0a00da43d87514bd0c6b26ebd104983588..92cf2d23015753617e14afe63d6ea570be64158b 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 06c3716de8d609626d4f3387b5501a3c91afaf4f..b38b8366531bc763031db18086ddeb2b6471e796 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 924a8265561cb59b03716b1e62949c16edf75602..408faae88fa59d8a1643c60ebd60372f129c96fd 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 ff48b4ed5d10c8736665fd6284054f98e60f08f8..21902536bb034be3b231bdaa67ed5c1e6edc2cd8 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 953bd2ccc140d355b4c9e07d86e13f9c45f6e0bb..b7d50b115d39de4dff7639e58bc2e25649d6b402 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