Disable optimizeStackAllocation when --no-optimize-yul is used for consistency with StandardCompiler

This commit is contained in:
Kamil Śliwak 2023-05-24 14:46:06 +02:00
parent 477b621f2e
commit ce76472d49
2 changed files with 2 additions and 0 deletions

View File

@ -13,6 +13,7 @@ Compiler Features:
Bugfixes:
* Commandline Interface: ``--no-optimize-yul`` would not disable optimized stack allocation (unlike setting ``settings.optimizer.details.yul`` to ``false`` in Standard JSON).
* Commandline Interface: It is no longer possible to specify both ``--optimize-yul`` and ``--no-optimize-yul`` at the same time.
* SMTChecker: Fix encoding of side-effects inside ``if`` and ``ternary conditional``statements in the BMC engine.

View File

@ -265,6 +265,7 @@ OptimiserSettings CommandLineOptions::optimiserSettings() const
if (optimizer.noOptimizeYul)
settings.runYulOptimiser = false;
settings.optimizeStackAllocation = settings.runYulOptimiser;
if (optimizer.expectedExecutionsPerDeployment.has_value())
settings.expectedExecutionsPerDeployment = optimizer.expectedExecutionsPerDeployment.value();