Xavier Bouchoux
f10b9e8fd7
update Liveness to detect that safety checks do not modify memory
followup to [25d3713b07a100d8fdb349317db97fd9d0c1e366]
Resolves #12215
Previous code didn't account for the extra unreach() that now exists in the air:
```
%29!= block(void, {
%30!= cond_br(%22!, {
%31!= br(%29, @Air.Inst.Ref.void_value)
}, {
%2! %15!
%27!= call(%26, [%19!, %21])
%28!= unreach()
})
} %22!)
```
2023-06-24 12:57:46 -07:00
..
2023-06-20 14:02:09 -04:00
2023-05-09 14:24:21 -07:00
2023-06-24 02:29:49 -07:00
2023-06-21 00:07:49 -07:00
2023-06-19 12:34:24 -07:00
2023-06-19 12:34:42 -07:00
2023-06-20 14:02:09 -04:00
2023-06-19 12:34:42 -07:00
2023-06-19 12:34:42 -07:00
2023-06-19 12:34:24 -07:00
2023-04-20 15:17:07 -07:00
2021-11-26 19:59:33 -07:00
2023-06-19 12:34:42 -07:00
2023-06-19 12:34:42 -07:00
2023-06-20 12:55:38 -04:00
2023-06-19 12:34:42 -07:00
2023-06-17 13:17:34 -07:00
2023-06-21 00:07:49 -07:00
2022-12-06 12:15:04 -07:00
2023-05-13 13:45:05 -07:00
2023-06-19 12:34:42 -07:00
2023-03-17 01:57:14 -04:00
2023-03-17 01:57:14 -04:00
2023-06-17 13:17:34 -07:00
2023-06-24 12:57:46 -07:00
2023-06-19 12:34:42 -07:00
2023-06-19 12:34:42 -07:00
2023-05-26 21:42:19 -07:00
2023-06-23 21:59:42 -07:00
2023-06-20 12:55:38 -04:00
2023-06-22 01:55:34 -07:00
2023-06-19 12:34:42 -07:00
2023-06-19 12:34:42 -07:00
2023-05-13 14:31:53 -04:00
2023-05-13 14:31:53 -04:00
2023-06-19 12:34:42 -07:00
2023-06-10 20:47:56 -07:00
2023-06-19 12:34:42 -07:00
2023-06-23 21:59:42 -07:00
2023-06-17 13:17:34 -07:00
2022-12-11 15:02:44 -05:00
2023-06-19 12:34:42 -07:00
2023-06-22 11:45:33 -07:00
2023-06-19 12:34:42 -07:00
2023-06-22 11:45:33 -07:00
2023-06-20 12:55:38 -04:00
2022-07-09 14:04:38 -07:00
2022-11-04 00:09:27 +03:30
2020-09-21 21:14:01 -07:00
2021-09-01 17:54:07 -07:00
2023-01-25 20:56:23 -07:00
2023-01-25 20:56:23 -07:00
2023-01-25 20:56:23 -07:00
2023-04-23 21:45:08 +03:00
2023-04-23 21:45:08 +03:00
2023-01-25 20:56:23 -07:00
2023-06-23 14:53:17 -07:00
2023-06-23 14:53:17 -07:00
2023-06-20 14:02:08 -04:00