stage2: Teach Liveness that some safety checks do not observably modify memory#13233

andrewrk merged 1 commit intoziglang:masterziglang/zig:masterfrom

topolarity:liveness-peepholetopolarity/zig:liveness-peepholeCopy head branch name to clipboard