Method revertWithError

libsolidity/codegen/YulUtilFunctions.cpp:238–291

}

std::string YulUtilFunctions::revertWithError(
	std::string const& _signature,
	std::vector<Type const*> const& _parameterTypes,
	std::vector<ASTPointer<Expression const>> const& _errorArguments,
	std::string const& _posVar,
	std::string const& _endVar
)
{
	solAssert((!_posVar.empty() && !_endVar.empty()) || (_posVar.empty() && _endVar.empty()));
	bool const needsNewVariable = !_posVar.empty() && !_endVar.empty();
	bool needsAllocation = true;

	if (std::optional<size_t> size = staticEncodingSize(_parameterTypes))
		if (
			ranges::all_of(_parameterTypes, [](auto const* type) {
				solAssert(!dynamic_cast<InaccessibleDynamicType const*>(type));
				return type && type->isValueType();
			})
		)
		{
			constexpr size_t errorSelectorSize = 4;
			needsAllocation = *size + errorSelectorSize > CompilerUtils::generalPurposeMemoryStart;
		}

	Whiskers templ(R"({
		<?needsAllocation>
		let <pos> := <allocateUnbounded>()
		<!needsAllocation>
		let <pos> := 0
		</needsAllocation>
		mstore(<pos>, <hash>)
		let <end> := <encode>(add(<pos>, 4) <argumentVars>)
		revert(<pos>, sub(<end>, <pos>))
	})");
	templ("pos", needsNewVariable ? _posVar : "memPtr");
	templ("end", needsNewVariable ? _endVar : "end");
	templ("hash", formatNumber(util::selectorFromSignatureU256(_signature)));
	templ("needsAllocation", needsAllocation);
	if (needsAllocation)
		templ("allocateUnbounded", allocateUnboundedFunction());

	std::vector<std::string> errorArgumentVars;
	std::vector<Type const*> errorArgumentTypes;
	for (ASTPointer<Expression const> const& arg: _errorArguments)
	{
		errorArgumentVars += IRVariable(*arg).stackSlots();
		solAssert(arg->annotation().type);
		errorArgumentTypes.push_back(arg->annotation().type);
	}
	templ("argumentVars", joinHumanReadablePrefixed(errorArgumentVars));
	templ("encode", ABIFunctions(m_evmVersion, m_eofVersion, m_revertStrings, m_functionCollector).tupleEncoder(errorArgumentTypes, _parameterTypes));

	return templ.render();
}

std::string YulUtilFunctions::requireOrAssertFunction(bool _assert, Type const* _messageType, ASTPointer<Expression const> _stringArgumentExpression)
{