https://gcc.gnu.org/g:2d8f37c9a59ca5dd98dc77fc13fb83328adcf317

commit r15-9107-g2d8f37c9a59ca5dd98dc77fc13fb83328adcf317
Author: Philip Herron <herron.phi...@googlemail.com>
Date:   Fri Mar 28 18:06:14 2025 +0000

    gccrs: fix crash in parse repr options and missing delete call
    
    Fixes Rust-GCC#3606
    
    gcc/rust/ChangeLog:
    
            * typecheck/rust-hir-type-check-base.cc 
(TypeCheckBase::parse_repr_options):
            check for null and empty and add missing delete call
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/issue-3606.rs: New test.
    
    Signed-off-by: Philip Herron <herron.phi...@googlemail.com>

Diff:
---
 gcc/rust/typecheck/rust-hir-type-check-base.cc | 20 ++++++++++++++++++--
 gcc/testsuite/rust/compile/issue-3606.rs       |  6 ++++++
 2 files changed, 24 insertions(+), 2 deletions(-)

diff --git a/gcc/rust/typecheck/rust-hir-type-check-base.cc 
b/gcc/rust/typecheck/rust-hir-type-check-base.cc
index 7fc6467e8aee..34a726cc6650 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-base.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-base.cc
@@ -321,8 +321,22 @@ TypeCheckBase::parse_repr_options (const AST::AttrVec 
&attrs, location_t locus)
          AST::AttrInputMetaItemContainer *meta_items
            = option.parse_to_meta_item ();
 
-         const std::string inline_option
-           = meta_items->get_items ().at (0)->as_string ();
+         if (meta_items == nullptr)
+           {
+             rust_error_at (attr.get_locus (), "malformed %qs attribute",
+                            "repr");
+             continue;
+           }
+
+         auto &items = meta_items->get_items ();
+         if (items.size () == 0)
+           {
+             // nothing to do with this its empty
+             delete meta_items;
+             continue;
+           }
+
+         const std::string inline_option = items.at (0)->as_string ();
 
          // TODO: it would probably be better to make the MetaItems more aware
          // of constructs with nesting like #[repr(packed(2))] rather than
@@ -359,6 +373,8 @@ TypeCheckBase::parse_repr_options (const AST::AttrVec 
&attrs, location_t locus)
          else if (is_align)
            repr.align = value;
 
+         delete meta_items;
+
          // Multiple repr options must be specified with e.g. #[repr(C,
          // packed(2))].
          break;
diff --git a/gcc/testsuite/rust/compile/issue-3606.rs 
b/gcc/testsuite/rust/compile/issue-3606.rs
new file mode 100644
index 000000000000..73b0bd6743bc
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3606.rs
@@ -0,0 +1,6 @@
+// { dg-options "-w" }
+#[repr()]
+pub struct Coord {
+    x: u32,
+    y: u32,
+}

Reply via email to