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.
