From a86b346125cbf269eeb348c27d3095889c0dbfc2 Mon Sep 17 00:00:00 2001
From: Jonathan Lambrechts <jonathan.lambrechts@uclouvain.be>
Date: Mon, 10 Oct 2011 10:06:52 +0000
Subject: [PATCH] dg : correct bug in function when function replace is used to
substitute a translated function (who said that function mechanism is too
complicated ? ;-)
---
Solver/function.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Solver/function.cpp b/Solver/function.cpp
index 2f18c7c87e..d65b84c3c2 100644
--- a/Solver/function.cpp
+++ b/Solver/function.cpp
@@ -260,7 +260,7 @@ dataCacheDouble *dataCacheMap::get(const function *f, dataCacheDouble *caller, b
if (it->iMap > _parent->_secondaryCaches.size())
okFromParent = false;
dataCacheMap *m = getSecondaryCache(it->iMap);
- if (m->_cacheDoubleMap.find(it->f) != m->_cacheDoubleMap.end()) {
+ if (m->_cacheDoubleMap.find(_translate(it->f)) != m->_cacheDoubleMap.end()) {
okFromParent = false;
break;
}
--
GitLab