| … | |
… | |
| 151 | assert (sint8 (-1 & ~P_UPTODATE) >= 0); |
151 | assert (sint8 (-1 & ~P_UPTODATE) >= 0); |
| 152 | |
152 | |
| 153 | if (expect_false (sint8 (flags_) >= 0)) |
153 | if (expect_false (sint8 (flags_) >= 0)) |
| 154 | update_ (); |
154 | update_ (); |
| 155 | |
155 | |
| 156 | // must be true by now |
156 | // must be true by now (gcc seems content with only the second test) |
| 157 | assume (sint8 (flags_) < 0); |
157 | assume (sint8 (flags_) < 0); |
| 158 | assume (flags_ & P_UPTODATE); |
158 | assume (flags_ & P_UPTODATE); |
| 159 | } |
159 | } |
| 160 | |
160 | |
| 161 | MTH uint8 flags () |
161 | MTH uint8 flags () |
