trocher

related to https://github.com/vyperlang/vyper/issues/3632

I think it has already been fixed: https://github.com/vyperlang/vyper/pull/3735

> is this fixed as of #3871? Fixed when importing a module but not for interfaces

Dup of `CS-VYPER_DECEMBER_2023-015` (no issue opened for it so good to keep this one)

fixed as of https://github.com/vyperlang/vyper/pull/3953

> whe i run this example without optimizations `--no-optimize`, the revert doesn't happen > > ```vyper > @internal > def foo() -> uint256: > return 42 > > @external >...

`invariant_unlockingTime` seems to fail on some sequences of calls. As the PR does not update code but only doc it seems that the issue is not related to the PR...

Can confirm that the issue is still present as of semgrep version `1.114.0`

I think that ```Vyper @external def div_bug() -> int256: return -2**255 / -1 ``` not compiling is a feature and not a bug, in the same way, `safe_div` is reverting...

linking https://github.com/vyperlang/vyper/issues/3991 as they are dup