Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: note
Context.in_assertion
is dead
the Context has an `in_assertion` flag which, when set, indicates that the context should be constant according to is_constant() definition. however, this flag is never set during code generation, specifically, it is possible to have non-constant expression in an assert statement. For example, the following contract compiles: ``` x: uint256 @internal def bar() -> uint256: self.x = 1 return self.x @external def foo(): assert self.bar() == 1 ``` CS-VYPER_MAY_2023-005
- Loading branch information