diff options
| author | Jakub Dupak <dev@jakubdupak.com> | 2024-02-27 23:19:41 +0100 |
|---|---|---|
| committer | CohenArthur <arthur.cohen@embecosm.com> | 2024-04-04 16:21:10 +0000 |
| commit | 74745b1e354f0b1fbf3248cbf2bbc6a68f9392bb (patch) | |
| tree | 3ab7faebcdd7dd2616d050f0f7c9760954c5217e /gcc/asan.h | |
| parent | da3a8fca377016e9387084e53753876eec9f384c (diff) | |
| download | gcc-74745b1e354f0b1fbf3248cbf2bbc6a68f9392bb.zip gcc-74745b1e354f0b1fbf3248cbf2bbc6a68f9392bb.tar.gz gcc-74745b1e354f0b1fbf3248cbf2bbc6a68f9392bb.tar.bz2 | |
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>
Diffstat (limited to 'gcc/asan.h')
0 files changed, 0 insertions, 0 deletions