fixup! Make node point to builtin func they result from

romainbrenguier · romainbrenguier · commit f3f60302260b · 2018-03-12T09:02:58.000Z
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;

Original file line number	Diff line number	Diff line change
`@@ -478,7 +478,8 @@ optionalt<exprt> string_dependencest::eval(`
`478`	`478`	`return eval_string_cache[it->second];`
`479`	`479`
`480`	`480`	`const auto node = string_nodes[it->second];`
`481`		`- if(const auto &f = node.result_from)`
	`481`	`+ const auto &f = node.result_from;`
	`482`	`+ if(f && node.dependencies.size() == 1 && !node.depends_on_unknown_builtin_function)`
`482`	`483`	`{`
`483`	`484`	`const auto value_opt = get_builtin_function(*f).eval(get_value);`
`484`	`485`	`eval_string_cache[it->second] = value_opt;`