diff options
| author | Kushal Pal <kushalpal109@gmail.com> | 2024-07-18 08:12:49 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-19 15:32:02 +0100 |
| commit | 6777f6cf2ad3b749be31346be6f7a9d79b7f082b (patch) | |
| tree | 24db819a2ad85eb22e8d40e99947fca585587772 /gcc/tree-loop-distribution.cc | |
| parent | 715b62375c2f2a16a21221246b85c2298906f5f3 (diff) | |
| download | gcc-6777f6cf2ad3b749be31346be6f7a9d79b7f082b.zip gcc-6777f6cf2ad3b749be31346be6f7a9d79b7f082b.tar.gz gcc-6777f6cf2ad3b749be31346be6f7a9d79b7f082b.tar.bz2 | |
gccrs: Loan errors with locations
gcc/rust/ChangeLog:
* checks/errors/borrowck/rust-borrow-checker-diagnostics.cc
(BorrowCheckerDiagnostics::report_loan_errors): Add label to
where the borrow occurs and where the invalid access occurs.
(BorrowCheckerDiagnostics::get_statement):
Fetch BIR::Statement from Polonius::Point
(BorrowCheckerDiagnostics::get_loan):
Fetch BIR::Loan from Polonius::Loan
* checks/errors/borrowck/rust-borrow-checker-diagnostics.h:
Function definition of helpers.
gcc/testsuite/ChangeLog:
* rust/borrowck/reference.rs: Test rich errors for
borrow-checker.
* rust/borrowck/return_ref_to_local.rs: Likewise.
* rust/borrowck/tmp.rs: Likewise.
* rust/borrowck/use_while_mut.rs: Likewise.
* rust/borrowck/use_while_mut_fr.rs: Likewise.
* rust/borrowck/well_formed_function_inputs.rs: Likewise.
Signed-off-by: Kushal Pal <kushalpal109@gmail.com>
Diffstat (limited to 'gcc/tree-loop-distribution.cc')
0 files changed, 0 insertions, 0 deletions