contract test {
modifier m {
uint a = 1;
assembly {
a := 2
}
_;
function f() public m {
// ----
// Warning: (122-151): Function state mutability can be restricted to pure