diff options
| author | Kushal Pal <kushalpal109@gmail.com> | 2024-07-18 08:12:49 +0000 |
|---|---|---|
| committer | CohenArthur <arthur.cohen@embecosm.com> | 2024-08-02 11:41:15 +0000 |
| commit | 65bf72fcfb9eca1ab3011c29510eb67faf3b02c3 (patch) | |
| tree | 04580d49d5dd1ebd78547d32c28d04b772319537 /gcc/array-traits.h | |
| parent | 155f6a9c80854b2181fdcd9e230ff8359f63fc27 (diff) | |
| download | gcc-65bf72fcfb9eca1ab3011c29510eb67faf3b02c3.zip gcc-65bf72fcfb9eca1ab3011c29510eb67faf3b02c3.tar.gz gcc-65bf72fcfb9eca1ab3011c29510eb67faf3b02c3.tar.bz2 | |
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/array-traits.h')
0 files changed, 0 insertions, 0 deletions