]> git.ipfire.org Git - thirdparty/gcc.git/commit
Strong type FreeRegion
authorKushal Pal <kushalpal109@gmail.com>
Wed, 7 Aug 2024 05:19:28 +0000 (05:19 +0000)
committerP-E-P <32375388+P-E-P@users.noreply.github.com>
Mon, 9 Sep 2024 08:33:02 +0000 (08:33 +0000)
commitd479eb583efdb83525e2ca2a3f113dfc17fc458f
tree9600aeb9747ba00bc4671d4930ea493e6732d795
parent5819537947cd6ddb1e62b7f895601b1555389c3f
Strong type FreeRegion

gcc/rust/ChangeLog:

* checks/errors/borrowck/rust-bir-builder-internal.h: Use
STATIC_FREE_REGION, use value of FreeRegion for origin.
* checks/errors/borrowck/rust-bir-builder.h: Use free region
value.
* checks/errors/borrowck/rust-bir-dump.cc (Dump::visit_scope):
Likewise.
* checks/errors/borrowck/rust-bir-fact-collector.h (points):
Likewise.
* checks/errors/borrowck/rust-bir-free-region.h (struct FreeRegion):
Make FreeRegion a struct.
* checks/errors/borrowck/rust-bir-place.h: Use FreeRegion
instead of Origin in PlaceDB.
* typecheck/rust-tyty-variance-analysis.cc (FieldVisitorCtx::add_constraints_from_region):
Use value of FreeRegion for origin.
(FieldVisitorCtx::add_constrints_from_param): Likewise.
(Term::make_transform): Likewise.

Signed-off-by: Kushal Pal <kushalpal109@gmail.com>
gcc/rust/checks/errors/borrowck/rust-bir-builder-internal.h
gcc/rust/checks/errors/borrowck/rust-bir-builder.h
gcc/rust/checks/errors/borrowck/rust-bir-dump.cc
gcc/rust/checks/errors/borrowck/rust-bir-fact-collector.h
gcc/rust/checks/errors/borrowck/rust-bir-free-region.h
gcc/rust/checks/errors/borrowck/rust-bir-place.h
gcc/rust/typecheck/rust-tyty-variance-analysis.cc