]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da3a8fc) | patch
borrowck: Fact collector
authorJakub Dupak <dev@jakubdupak.com>
Tue, 27 Feb 2024 22:19:41 +0000 (23:19 +0100)
committerCohenArthur <arthur.cohen@embecosm.com>
Thu, 4 Apr 2024 16:21:10 +0000 (16:21 +0000)
commit74745b1e354f0b1fbf3248cbf2bbc6a68f9392bb
tree3ab7faebcdd7dd2616d050f0f7c9760954c5217etree
parentda3a8fca377016e9387084e53753876eec9f384ccommit | diff
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] blob
gcc/rust/checks/errors/borrowck/rust-borrow-checker.cc diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git