diff options
| author | Raiki Tamura <tamaron1203@gmail.com> | 2024-08-08 02:25:05 +0900 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2024-09-11 14:59:57 +0000 |
| commit | 9941d6f3dd4e469bc8962abbba9ffcaa1a5ac60e (patch) | |
| tree | e09c990f5af35f9dec6e4e27d5ef006dfd1010a6 /gcc/rust/resolve | |
| parent | 7e0feecb56e966a23d713c4f831684f14dbe40f5 (diff) | |
| download | gcc-9941d6f3dd4e469bc8962abbba9ffcaa1a5ac60e.zip gcc-9941d6f3dd4e469bc8962abbba9ffcaa1a5ac60e.tar.gz gcc-9941d6f3dd4e469bc8962abbba9ffcaa1a5ac60e.tar.bz2 | |
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 <tamaron1203@gmail.com>
Diffstat (limited to 'gcc/rust/resolve')
0 files changed, 0 insertions, 0 deletions