In the Solidity JSON input, a compilation optimization flag simpleCounterForLoopUncheckedIncrement is added to indicate using unchecked arithmetic when incrementing the counter of for loops under certain circumstances. However, in the current codebase, this field is missing.
In the Solidity JSON input, a compilation optimization flag
simpleCounterForLoopUncheckedIncrementis added to indicate using unchecked arithmetic when incrementing the counter of for loops under certain circumstances. However, in the current codebase, this field is missing.This issue is also related to the PR mentioned in https://github.com/foundry-rs/foundry/pull/7576#discussion_r1562365875.