Enable ethdebug debug info and output selection via standard-json.

Author: aarlt

libsolidity/interface/StandardCompiler.cpp

@@ -265,7 +265,7 @@ bool isBinaryRequested(Json const& _outputSelection)
 	static std::vector<std::string> const outputsThatRequireBinaries = std::vector<std::string>{
 		"*",
 		"ir", "irAst", "irOptimized", "irOptimizedAst",
-		"evm.gasEstimates", "evm.legacyAssembly", "evm.assembly"
+		"evm.gasEstimates", "evm.legacyAssembly", "evm.assembly", "ethdebug"
 	} + evmObjectComponents("bytecode") + evmObjectComponents("deployedBytecode");
 
 	for (auto const& fileRequests: _outputSelection)
@@ -295,6 +295,26 @@ bool isEvmBytecodeRequested(Json const& _outputSelection)
 	return false;
 }
 
+/// @returns true if ethdebug was requested.
+bool isEthdebugRequested(Json const& _outputSelection)
+{
+	if (!_outputSelection.is_object())
+		return false;
+
+	static std::vector<std::string> const outputsThatRequireEvmBinaries = std::vector<std::string>{
+		"*",
+		"ethdebug"
+	};
+
+	for (auto const& fileRequests: _outputSelection)
+		for (auto const& requests: fileRequests)
+			for (auto const& output: outputsThatRequireEvmBinaries)
+				if (isArtifactRequested(requests, output, false))
+					return true;
+	return false;
+}
+
+
 /// @returns The IR output selection for CompilerStack, based on outputs requested in the JSON.
 /// Note that as an exception, '*' does not yet match "ir", "irAst", "irOptimized" or "irOptimizedAst".
 CompilerStack::IROutputSelection irOutputSelection(Json const& _outputSelection)
@@ -1306,7 +1326,7 @@ Json StandardCompiler::compileSolidity(StandardCompiler::InputsAndSettings _inpu
 		compilerStack.setSources(sourceList);
 	for (auto const& smtLib2Response: _inputsAndSettings.smtLib2Responses)
 		compilerStack.addSMTLib2Response(smtLib2Response.first, smtLib2Response.second);
-	compilerStack.setViaIR(_inputsAndSettings.viaIR);
+	compilerStack.setViaIR(_inputsAndSettings.viaIR || isEthdebugRequested(_inputsAndSettings.outputSelection));
 	compilerStack.setEVMVersion(_inputsAndSettings.evmVersion);
 	compilerStack.setRemappings(std::move(_inputsAndSettings.remappings));
 	compilerStack.setOptimiserSettings(std::move(_inputsAndSettings.optimiserSettings));
@@ -1326,12 +1346,9 @@ Json StandardCompiler::compileSolidity(StandardCompiler::InputsAndSettings _inpu
 
 	Json errors = std::move(_inputsAndSettings.errors);
 
-	if (
-		_inputsAndSettings.debugInfoSelection.has_value() &&
-		_inputsAndSettings.debugInfoSelection->ethdebug &&
-		(selectedIrOutput == CompilerStack::IROutputSelection::None && !_inputsAndSettings.viaIR)
-	)
-		errors.emplace_back(formatError(Error::Type::FatalError, "general", "'ethdebug' can only be selected in 'settings.debug.debugInfo' when at least one of the IR outputs is selected or 'viaIR' was set."));
+	if (_inputsAndSettings.debugInfoSelection.has_value() && _inputsAndSettings.debugInfoSelection->ethdebug)
+		if (selectedIrOutput == CompilerStack::IROutputSelection::None && !isEthdebugRequested(_inputsAndSettings.outputSelection))
+			errors.emplace_back(formatError(Error::Type::FatalError, "general", "'ethdebug' can only be selected in 'settings.debug.debugInfo' when either an IR output or 'ethdebug' was selected as output."));
 
 	bool const binariesRequested = isBinaryRequested(_inputsAndSettings.outputSelection);
 

test/cmdlineTests/standard_debug_info_ethdebug_no_ir/output.json

@@ -1,12 +1,12 @@
 {
 	"language": "Solidity",
 	"sources": {
-		"C": {"urls": ["standard_debug_info_ethdebug_no_ir/in.sol"]}
+		"C": {"urls": ["standard_debug_info_in_yul_ethdebug_output_ethdebug/in.sol"]}
 	},
 	"settings": {
 		"debug": {"debugInfo": ["ethdebug"]},
 		"outputSelection": {
-			"*": {"*": ["evm.bytecode"]}
+			"*": {"*": ["ethdebug", "metadata"]}
 		}
 	}
 }

test/cmdlineTests/standard_debug_info_ethdebug_no_ir/args renamed to test/cmdlineTests/standard_debug_info_in_yul_ethdebug_output_ethdebug/args

@@ -0,0 +1,14 @@
+{
+    "contracts": {
+        "C": {
+            "C": {
+                "metadata": "{\"compiler\":{\"version\":\"<VERSION REMOVED>\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"f\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"C\":\"C\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[],\"viaIR\":true},\"sources\":{\"C\":{\"keccak256\":\"0xd664727da2d62b6156845f13be0ecb2d8d8223c0f736d39575a3bdfbb062c320\",\"license\":\"GPL-2.0\",\"urls\":[\"bzz-raw://470d51a492c4368fac9c29ebb491b0eaa1bc8a660445a014276dc686531742b8\",\"dweb:/ipfs/QmVVnjC3Z35AXGo3GUNPMuKBD2MdFcZxhVg1qHi4fmHzKo\"]}},\"version\":1}"
+            }
+        }
+    },
+    "sources": {
+        "C": {
+            "id": 0
+        }
+    }
+}

test/cmdlineTests/standard_debug_info_ethdebug_no_ir/in.sol renamed to test/cmdlineTests/standard_debug_info_in_yul_ethdebug_output_ethdebug/in.sol

@@ -1,7 +1,7 @@
 {
 	"language": "Solidity",
 	"sources": {
-		"C": {"urls": ["standard_debug_info_in_yul_ethdebug/in.sol"]}
+		"C": {"urls": ["standard_debug_info_in_yul_ethdebug_output_ir/in.sol"]}
 	},
 	"settings": {
 		"debug": {"debugInfo": ["ethdebug"]},