]> gcc.gnu.org Git - gcc.git/commit
gccrs: borrowck: Fact collector
authorJakub Dupak <dev@jakubdupak.com>
Tue, 27 Feb 2024 22:19:41 +0000 (23:19 +0100)
committerArthur Cohen <arthur.cohen@embecosm.com>
Thu, 1 Aug 2024 14:52:30 +0000 (16:52 +0200)
commit3c530f45a9c0f1e782c226dd576c6d8d73ad83c3
treee744080c5b45ce3a8f5016873e12f4bd0e43ad97
parentb4c24a11c810762c2190b8659a0d173ec253534c
gccrs: borrowck: Fact collector

This is the main Polonius based logic which creates the information
Polonius needs from BIR. It is largly guessed and rever engineered, so
some aspects are probably wrong.

gcc/rust/ChangeLog:

* checks/errors/borrowck/rust-bir-fact-collector.h: New file.
* checks/errors/borrowck/rust-borrow-checker.cc (BorrowChecker::go):
Enable fact collection.

Signed-off-by: Jakub Dupak <dev@jakubdupak.com>
gcc/rust/checks/errors/borrowck/rust-bir-fact-collector.h [new file with mode: 0644]
gcc/rust/checks/errors/borrowck/rust-borrow-checker.cc
This page took 0.057122 seconds and 5 git commands to generate.