Chris Fallin

It looks like Linux 4.9.253 was released on [Jan 23, 2021](https://lwn.net/Articles/843690/). It is a maintenance release of an older series (4.9), but 5.0 was released in Mar 2019 and is...

(Err, I noted 5.0 above but (i) 4.9 was followed by 4.10, not 5.0 and (ii) the feature in question was in 4.16 as @bjorn3 notes; so the relevant date...

It looks like `rustix` doesn't currently have a binding for `MEMBARRIER_CMD_SHARED` [here](https://docs.rs/rustix/0.36.0-rc2/rustix/process/enum.MembarrierCommand.html); once it does, I'm happy to do a PR to add the fallback behavior here. @sunfishcode , would...

Ah! In that case, let's see if #4987 works (@rbackhouse would you be able to test this patch?).

@jameysharp and I talked offline a bit about this issue yesterday. In the end I think we started to converge on a viewpoint that accepting unreachable code in general creates...

Re: impact on simple AST-to-CLIF translation: I think that this should never produce unreachable code, by construction, for a structured-control-flow AST (if-else nodes, switch nodes, loop nodes, etc). Translation from...

This is a great idea; it's part of the "chaos mode" general approach that we should build at some point (#4134).

> I used all my brain today on reviewing the egraphs PR and can't give this the attention I'd like to. @cfallin, could you verify that this implementation of CFG...

cc @abrown @afonso360 @bjorn3 @alexcrichton @akirilov-arm for recent folks who've discussed this topic.

I'd like to propose the following for loads and stores: - Define loads and stores of boolean values. We haven't done this in the past, but it is a somewhat...