[Bug c/88737] RFE: Track ownership moves

[tschwinge at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88737

Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tschwinge at gcc dot gnu.org

--- Comment #11 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
This should be interesting to reference here:

The in-development GCC/Rust implementation now has a even-more-in-development
implementation of Rust borrow checking, using the Polonius engine,
<https://github.com/rust-lang/polonius>.  See
<https://github.com/Rust-GCC/gccrs/pulls?q=is%3Apr+borrowck> etc.  (This work
is not yet in upstream GCC; awaiting completion of work on GCC build system
integration.)

That work was done by Jakub Dupák for his Master's Thesis "Memory Safety
Analysis in Rust GCC", <http://hdl.handle.net/10467/113390>.  See the thesis
for a description of design and implementation.

In particular, this is currently implemented in the GCC/Rust front end, not
middle end (supposedly summarized as: "for practical reasons"?), and therefore
not readily usable by other front ends.