Fix verbatim control flow size effects.

ethereum · Oct 23, 2024 · 58c8cb5 · 58c8cb5
1 parent b16d811
commit 58c8cb5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/libyul/backends/evm/EVMDialect.cpp b/libyul/backends/evm/EVMDialect.cpp
@@ -547,6 +547,12 @@ BuiltinFunctionForEVM EVMDialect::createVerbatimFunction(size_t _arguments, size
 			);
 		}
 	);
+	// Worse control flow side effects because verbatim can do anything.
+	builtinFunction.controlFlowSideEffects = {
+		true, // canTerminate
+		true, // canRevert
+		true  // canContinue
+	};
 	builtinFunction.isMSize = true;
 	return builtinFunction;
 }