From: Justin Viiret <justin.viiret@intel.com>
Date: Mon, 11 Jul 2016 01:44:57 +0000 (+1000)
Subject: rose: only use anch history when there are bounds
X-Git-Tag: v4.3.0^2~55
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d316075569ab9d6aab764626e19eea06e1316fe;p=thirdparty%2Fvectorscan.git

rose: only use anch history when there are bounds
---

diff --git a/src/rose/rose_build_compile.cpp b/src/rose/rose_build_compile.cpp
index d59d4d4f..472de156 100644
--- a/src/rose/rose_build_compile.cpp
+++ b/src/rose/rose_build_compile.cpp
@@ -453,7 +453,8 @@ RoseRoleHistory findHistoryScheme(const RoseBuildImpl &tbi, const RoseEdge &e) {
         return ROSE_ROLE_HISTORY_NONE;
     }
 
-    if (g[u].fixedOffset()) {
+    if (g[u].fixedOffset() &&
+        (g[e].minBound || g[e].maxBound != ROSE_BOUND_INF)) {
         DEBUG_PRINTF("fixed offset -> anch\n");
         return ROSE_ROLE_HISTORY_ANCH;
     }