]> git.ipfire.org Git - thirdparty/gcc.git/commit
gccrs: borrowck: extract regions from types using VA
authorJakub Dupak <dev@jakubdupak.com>
Tue, 27 Feb 2024 20:31:07 +0000 (21:31 +0100)
committerArthur Cohen <arthur.cohen@embecosm.com>
Thu, 1 Aug 2024 14:52:30 +0000 (16:52 +0200)
commit8b0ce9e75a05ff36508019f79ca56339297d5528
tree1cb3a62afb4beec1ca2c0d5b42a9b2f28e750661
parent2cfd6f98495986c113c652302645abc932b7cf14
gccrs: 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