]> git.ipfire.org Git - thirdparty/gcc.git/commit
borrowck: extract regions from types using VA
authorJakub Dupak <dev@jakubdupak.com>
Tue, 27 Feb 2024 20:31:07 +0000 (21:31 +0100)
committerCohenArthur <arthur.cohen@embecosm.com>
Thu, 4 Apr 2024 16:21:10 +0000 (16:21 +0000)
commita019aa9fbde5ab752044fb7efe276aa0dde8646d
treebb9a2fc89f3dd02d88ff782eb50e1edf02cf3594
parentb783c3ce70167c218213fad90a61dba7eec733db
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>
gcc/rust/typecheck/rust-tyty-variance-analysis-private.h
gcc/rust/typecheck/rust-tyty-variance-analysis.cc
gcc/rust/typecheck/rust-tyty-variance-analysis.h