fixup! Make node point to builtin func they result from

diffblue · Mar 12, 2018 · f3f6030 · f3f6030
1 parent 08812b3
commit f3f6030
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/solvers/refinement/string_refinement_util.cpp b/src/solvers/refinement/string_refinement_util.cpp
@@ -478,7 +478,8 @@ optionalt<exprt> string_dependencest::eval(
     return eval_string_cache[it->second];
 
   const auto node = string_nodes[it->second];
-  if(const auto &f = node.result_from)
+  const auto &f = node.result_from;
+  if(f && node.dependencies.size() == 1 && !node.depends_on_unknown_builtin_function)
   {
     const auto value_opt = get_builtin_function(*f).eval(get_value);
     eval_string_cache[it->second] = value_opt;