diff options
| author | Jakub Dupak <dev@jakubdupak.com> | 2024-02-27 21:31:07 +0100 |
|---|---|---|
| committer | CohenArthur <arthur.cohen@embecosm.com> | 2024-04-04 16:21:10 +0000 |
| commit | a019aa9fbde5ab752044fb7efe276aa0dde8646d (patch) | |
| tree | bb9a2fc89f3dd02d88ff782eb50e1edf02cf3594 /gcc/asan.h | |
| parent | b783c3ce70167c218213fad90a61dba7eec733db (diff) | |
| download | gcc-a019aa9fbde5ab752044fb7efe276aa0dde8646d.zip gcc-a019aa9fbde5ab752044fb7efe276aa0dde8646d.tar.gz gcc-a019aa9fbde5ab752044fb7efe276aa0dde8646d.tar.bz2 | |
borrowck: extract regions from types using VA
Biggybag on variance analysis to extract regions of fields from ADT
regions.
gcc/rust/ChangeLog:
* typecheck/rust-tyty-variance-analysis-private.h (class FieldVisitorCtx):
Region extraction.
* typecheck/rust-tyty-variance-analysis.cc (query_field_regions): Region extraction.
(FieldVisitorCtx::collect_regions): Region extraction.
(FieldVisitorCtx::add_constraints_from_ty): Region extraction.
(FieldVisitorCtx::add_constraints_from_region): Region
extraction.
(FieldVisitorCtx::add_constrints_from_param): Region extraction.
* typecheck/rust-tyty-variance-analysis.h (query_field_regions):
Region extraction.
Signed-off-by: Jakub Dupak <dev@jakubdupak.com>
Diffstat (limited to 'gcc/asan.h')
0 files changed, 0 insertions, 0 deletions