gccrs: Implement initial pattern analysis pass.

gcc/rust/ChangeLog: * Make-lang.in: Add rust-hir-pattern-analysis.o. * rust-session-manager.cc (Session::compile_crate): Add pattern analysis pass. * typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): Do typecheck for subpatterns. * checks/errors/rust-hir-pattern-analysis.cc: New file. * checks/errors/rust-hir-pattern-analysis.h: New file. gcc/testsuite/ChangeLog: * rust/compile/exhaustiveness1.rs: New test. * rust/compile/exhaustiveness2.rs: New test. * rust/compile/exhaustiveness3.rs: New test. Signed-off-by: Raiki Tamura <[email protected]>
Rust-GCC · Sep 11, 2024 · 9941d6f · 9941d6f
1 parent 7e0feec
commit 9941d6f
Show file tree

Hide file tree

Showing 8 changed files with 2,225 additions and 0 deletions.
diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.in
@@ -188,6 +188,7 @@ GRS_OBJS = \
     rust/rust-readonly-check.o \
     rust/rust-hir-type-check-path.o \
     rust/rust-unsafe-checker.o \
+    rust/rust-hir-pattern-analysis.o \
     rust/rust-compile-intrinsic.o \
     rust/rust-compile-pattern.o \
     rust/rust-compile-fnparam.o \