aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/expand/rust-cfg-strip.cc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/rust/expand/rust-cfg-strip.cc')
-rw-r--r--gcc/rust/expand/rust-cfg-strip.cc36
1 files changed, 33 insertions, 3 deletions
diff --git a/gcc/rust/expand/rust-cfg-strip.cc b/gcc/rust/expand/rust-cfg-strip.cc
index 19f377e..e2cc68b 100644
--- a/gcc/rust/expand/rust-cfg-strip.cc
+++ b/gcc/rust/expand/rust-cfg-strip.cc
@@ -19,6 +19,7 @@
#include "rust-cfg-strip.h"
#include "rust-ast-full.h"
#include "rust-ast-visitor.h"
+#include "rust-path.h"
#include "rust-session-manager.h"
#include "rust-attribute-values.h"
@@ -195,6 +196,26 @@ CfgStrip::maybe_strip_struct_fields (std::vector<AST::StructField> &fields)
}
void
+CfgStrip::maybe_strip_struct_expr_fields (
+ std::vector<std::unique_ptr<AST::StructExprField>> &fields)
+{
+ for (auto it = fields.begin (); it != fields.end ();)
+ {
+ auto &field = *it;
+
+ auto &field_attrs = field->get_outer_attrs ();
+ expand_cfg_attrs (field_attrs);
+ if (fails_cfg_with_expand (field_attrs))
+ {
+ it = fields.erase (it);
+ continue;
+ }
+
+ ++it;
+ }
+}
+
+void
CfgStrip::maybe_strip_tuple_fields (std::vector<AST::TupleField> &fields)
{
for (auto it = fields.begin (); it != fields.end ();)
@@ -414,10 +435,13 @@ CfgStrip::visit (AST::PathInExpression &path)
return;
}
- for (auto &segment : path.get_segments ())
+ if (!path.is_lang_item ())
{
- if (segment.has_generic_args ())
- maybe_strip_generic_args (segment.get_generic_args ());
+ for (auto &segment : path.get_segments ())
+ {
+ if (segment.has_generic_args ())
+ maybe_strip_generic_args (segment.get_generic_args ());
+ }
}
}
@@ -962,6 +986,8 @@ CfgStrip::visit (AST::StructExprStructFields &expr)
"cannot strip expression in this position - outer "
"attributes not allowed");
}
+
+ maybe_strip_struct_expr_fields (expr.get_fields ());
}
void
@@ -1852,6 +1878,10 @@ CfgStrip::visit (AST::StructStruct &struct_item)
}
AST::DefaultASTVisitor::visit (struct_item);
+
+ /* strip struct fields if required - this is presumably
+ * allowed by spec */
+ maybe_strip_struct_fields (struct_item.get_fields ());
}
void
CfgStrip::visit (AST::TupleStruct &tuple_struct)