From c6c19a6ff419f6045db9d2f00fd82e2b8cf4cab6 Mon Sep 17 00:00:00 2001 From: Snezhkko Date: Thu, 21 Aug 2025 18:00:48 +0300 Subject: [PATCH] Formal: make parameter name fallback null-safe in Predicate::formatSummaryCall --- libsolidity/formal/Predicate.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/libsolidity/formal/Predicate.cpp b/libsolidity/formal/Predicate.cpp index 7f742ec18d0b..8cf11db0feac 100644 --- a/libsolidity/formal/Predicate.cpp +++ b/libsolidity/formal/Predicate.cpp @@ -303,7 +303,13 @@ std::string Predicate::formatSummaryCall( functionArgs.emplace_back(*functionArgsCex.at(i)); else { paramNameInsteadOfValue = true; - functionArgs.emplace_back(params[i]->name()); + if (params.at(i)) + { + auto const& paramName = params.at(i)->name(); + functionArgs.emplace_back(paramName.empty() ? ("param_" + std::to_string(i)) : paramName); + } + else + functionArgs.emplace_back("param_" + std::to_string(i)); } std::string fName = fun->isConstructor() ? "constructor" :