diff --git a/lib/type/DIRootType.cpp b/lib/type/DIRootType.cpp index b187c5c..c0aff5f 100644 --- a/lib/type/DIRootType.cpp +++ b/lib/type/DIRootType.cpp @@ -163,6 +163,7 @@ std::optional find_type_root(const dataflow::CallValuePath& call_ LOG_DEBUG("Root is malloc-like call") // TODO ask for type of newlike call here! if (call_path.call && (call_inst == call_path.call.value())) { + // Test triggers by cpp/heap_lhs_function_opt_nofwd.cpp and ir/01_endless_recursion.ll LOG_WARNING("Root value is the same as the initial malloc-like call") return {}; }