diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-01-07 11:29:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-07 11:29:06 +0000 |
| commit | bc27d113167ec6c6cc96b01c8559fc9b9219417c (patch) | |
| tree | 0fa63b2f89ed49d1b8b4a6c6c2ee20af30dd70c3 /gcc/rust/backend/rust-compile-pattern.cc | |
| parent | e082b6cfd0362b3bd8eacd65359812a0d34aa563 (diff) | |
| parent | 6d0892636e9642e75a858c40c45acd1df79c63e1 (diff) | |
| download | gcc-bc27d113167ec6c6cc96b01c8559fc9b9219417c.zip gcc-bc27d113167ec6c6cc96b01c8559fc9b9219417c.tar.gz gcc-bc27d113167ec6c6cc96b01c8559fc9b9219417c.tar.bz2 | |
Merge #866
866: Add support for wildcard patterns within MatchExprs r=philberty a=philberty
GCC CASE_LABEL_EXPR's contain operand 0 and 1, operand 0 is used for the
low value of a case label and operand 1 for a high value. So with this
CASE_LABEL_EXPR is is possible to support a range of values from low->high
if set apropriately, but for the wildcard case this is effectively a
default case which means we set both operand 0 and 1 to NULL_TREE.
Fixes #853
Co-authored-by: Philip Herron <philip.herron@embecosm.com>
Diffstat (limited to 'gcc/rust/backend/rust-compile-pattern.cc')
| -rw-r--r-- | gcc/rust/backend/rust-compile-pattern.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/rust/backend/rust-compile-pattern.cc b/gcc/rust/backend/rust-compile-pattern.cc index e634dbd..27ee487 100644 --- a/gcc/rust/backend/rust-compile-pattern.cc +++ b/gcc/rust/backend/rust-compile-pattern.cc @@ -77,6 +77,15 @@ CompilePatternCaseLabelExpr::visit (HIR::TupleStructPattern &pattern) CompilePatternCaseLabelExpr::visit (pattern.get_path ()); } +void +CompilePatternCaseLabelExpr::visit (HIR::WildcardPattern &pattern) +{ + // operand 0 being NULL_TREE signifies this is the default case label see: + // tree.def for documentation for CASE_LABEL_EXPR + case_label_expr + = build_case_label (NULL_TREE, NULL_TREE, associated_case_label); +} + // setup the bindings void |