[COMMITTED 016/145] gccrs: Improve matching on non-enum ADTs

From: Owen Avery gcc/rust/ChangeLog: * backend/rust-compile-expr.cc (check_match_scrutinee): Add assertion. * backend/rust-compile-pattern.cc (CompilePatternCheckExpr::visit): Handle HIR::PathInExpression matching a non-enum. gcc/testsuite/ChangeLog:

[COMMITTED 011/145] gccrs: Remove unnecessary SIDE_EFFECTS/READONLY macros

From: Mael Cravero Closes #2357 gcc/rust/ChangeLog: * rust-gcc.cc: remove unnecessary TREE_SIDE_EFFECTS and TREE_READONLY macros used in arithmetic overflow checks. Signed-off-by: Mael Cravero --- gcc/rust/rust-gcc.cc | 17 - 1 file changed, 17 deletions(-) d

[COMMITTED 042/145] gccrs: Change lookup_hir_self_param return type

From: Pierre-Emmanuel Patry Wrap the function's return type within an optional in order to differentiate null pointers from missing value. gcc/rust/ChangeLog: * util/rust-hir-map.cc (Mappings::insert_hir_self_param): Adapt call site to new return type. (Mappings::lookup_

[COMMITTED 014/145] gccrs: Handle structs as scrutinee for match expressions

From: Nobel Singh gcc/rust/ChangeLog: * backend/rust-compile-expr.cc (check_match_scrutinee): Handle structs Signed-off-by: Nobel Singh --- gcc/rust/backend/rust-compile-expr.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/rust/backend/rust-compile-expr.

[COMMITTED 034/145] gccrs: Change return type to optional in get_lang_item

From: Pierre-Emmanuel Patry Wrap the function's return type with an optional. gcc/rust/ChangeLog: * typecheck/rust-autoderef.cc: Adapt calling code to new return type. * typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): Likewise. (TypeCheckExpr::resol

[COMMITTED 124/145] gccrs: Finish expected parse_reg_operand

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_reg_operand_in): Finish expected parse_reg_operand (parse_reg_operand_unexpected): Likewise * expand/rust-macro-builtins-asm.h (parse_reg_operand_unexpected): Likewise Signed-off-by: b

[Bug rust/119333] New: [15 regression] Rust bootstrap fails with cargo trying to download polonius crates

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119333 Bug ID: 119333 Summary: [15 regression] Rust bootstrap fails with cargo trying to download polonius crates Product: gcc Version: 15.0 Status: UNCONFIRMED Keywo

[Bug rust/119333] [15 regression] Rust bootstrap fails with cargo trying to download polonius crates

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119333 Sam James changed: What|Removed |Added Target Milestone|--- |15.0 -- You are receiving this mail becaus

[COMMITTED 105/145] gccrs: Scaffolding ast visitor for InlineAsm

From: jjasmine gcc/rust/ChangeLog: * ast/rust-ast-visitor.h: Scaffolding ast visitor for InlineAsm * ast/rust-ast.cc (InlineAsm::accept_vis): Likewise. * ast/rust-expr.h: Likewise. --- gcc/rust/ast/rust-ast-visitor.h | 2 ++ gcc/rust/ast/rust-ast.cc| 7 ++

[COMMITTED 130/145] gccrs: Clean up monadic operations on expected<>

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_asm): Clean up monadic operations on expected<> Signed-off-by: badumbatish --- gcc/rust/expand/rust-macro-builtins-asm.cc | 8 +++- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/g

[COMMITTED 140/145] gccrs: [gccrs#3046] ICE on failing to find enum variant

From: Liam Naddell gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-expr.cc: Fix ICE caused by not finding enum variant by adding new error message gcc/testsuite/ChangeLog: * rust/compile/issue-3046.rs: Add test for new error message Signed-off-by: Lia

[COMMITTED 111/145] gccrs: Partial support for operand

From: jjasmine gcc/rust/ChangeLog: * ast/rust-expr.h (struct InlineAsmOperand): Partial support for operand * expand/rust-macro-builtins-asm.cc (parse_reg_operand): Likewise. (parse_label): Likewise. * expand/rust-macro-builtins-asm.h (parse_label): Likewi

[COMMITTED 127/145] gccrs: Added a test that is expected to fail

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_clobber_abi): added comments (parse_options): Likewise (parse_asm_arg): Likewise (parse_asm): Likewise * expand/rust-macro-builtins-asm.h: Likewise gcc/testsuite/ChangeL

[COMMITTED 131/145] gccrs: Store parse result of parse_format_string(s)

From: badumbatish gcc/rust/ChangeLog: * ast/rust-expr.h (struct TupleTemplateStr): Store parse result of parse_format_string(s) * expand/rust-macro-builtins-asm.cc (parse_format_strings): Likewise Signed-off-by: badumbatish --- gcc/rust/ast/rust-expr.h

[COMMITTED 128/145] gccrs: Add WARN_UNUSED_RESULT parse error

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.h (enum InlineAsmParseError): Add WARN_UNUSED_RESULT parse error (enum WARN_UNUSED_RESULT): Likewise. Signed-off-by: badumbatish --- gcc/rust/expand/rust-macro-builtins-asm.h | 3 ++- 1 file changed, 2

[COMMITTED 114/145] gccrs: Move parser and last_token_id to InlineAsmCtx

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_clobber_abi): Move parser and last_token_id to InlineAsmCtx to prepapre for tl::expected. (parse_reg): Likewise. (parse_operand): Likewise. (parse_reg_operand): Likewise.

[COMMITTED 118/145] gccrs: expand: Keep track of semicoloned builtin macros

From: Arthur Cohen This is quite a rough fix (like a lot of the macro expansion code...) but it allows built-in macros to be treated as statements. I *think* asm!() might be the only one where it really matters, but also doing something like { line!(); } will now work, whereas before the ma

[COMMITTED 123/145] gccrs: Finish incorporating expected of parse_reg_operand

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_clobber_abi): Finish incorporating expected of parse_reg_operand (parse_reg): Likewise. (parse_reg_operand): Likewise. (parse_reg_operand_in): Likewise. (parse_reg_operan

[COMMITTED 137/145] gccrs: Introduce new class to handle borrow errors

From: Kushal Pal gcc/rust/ChangeLog: * Make-lang.in: Compile new file. * checks/errors/borrowck/rust-borrow-checker.cc (BorrowChecker::go): Use new class to report errors. * checks/errors/borrowck/rust-borrow-checker-diagnostics.cc: New file. * checks/erro

[COMMITTED 129/145] gccrs: Addresses warning, put warn unused in right place

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_reg_operand): Addresses warning, put warn unused in right place (parse_reg_operand_inout): Likewise. (parse_asm_arg): Likewise. * expand/rust-macro-builtins-asm.h (enum WARN_UNUS

[COMMITTED 141/145] gccrs: Change assertion of constructor

From: badumbatish Change the assert of (expr != nullptr) to (this->expr != nullptr) because we assigned (std::move(expr)) to this->expr, no need to assert expr gcc/rust/ChangeLog: * ast/rust-expr.h (struct AnonConst): Change assertion of constructor (struct InlineAsmOper

[COMMITTED 142/145] gccrs: Added options for ParseMode

From: badumbatish gcc/rust/ChangeLog: * ast/rust-fmt.cc (Pieces::collect): Added options for ParseMode * ast/rust-fmt.h (collect_pieces): Likewise. (struct Pieces): Likewise. * expand/rust-macro-builtins-format-args.cc (MacroBuiltin::format_args_handler):

[COMMITTED 136/145] gccrs: Fix nightly rustc warnings

From: Kushal Pal libgrust/ChangeLog: * libformat_parser/Cargo.toml: Used crate-type instead of depricated crate_type. * libformat_parser/generic_format_parser/src/lib.rs: Remove dead code. * libformat_parser/src/lib.rs: Likewise. Signed-off-by: Kushal Pal

[Bug rust/119333] [15 regression] Rust bootstrap fails with cargo trying to download polonius crates

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119333 --- Comment #3 from Marc Poulhiès --- Correct. Not sure about having a .cargo at toplevel currently, so I'll simply --offline for bck, and we'll be able to revisit. https://github.com/Rust-GCC/gccrs/pull/3505 -- You are receiving this mail bec

[COMMITTED 010/145] gccrs: borrowck: Use std::ignore

From: Jakub Dupak gcc/rust/ChangeLog: * checks/errors/borrowck/rust-bir-builder-expr-stmt.cc (ExprStmtBuilder::visit): Use std::ignore. --- .../errors/borrowck/rust-bir-builder-expr-stmt.cc | 14 +++--- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/gcc/r

[COMMITTED 003/145] gccrs: Remove redundant macro definition

From: zhanghe9702 gcc/rust/ChangeLog: * backend/rust-tree.h: removing the CLASSTYPE_VBASECLASSES macro which is duplicated three times. Signed-off-by: Zhang He --- gcc/rust/backend/rust-tree.h | 12 1 file changed, 12 deletions(-) diff --git a/gcc/rust/backend/rus

[COMMITTED 008/145] gccrs: borrowck: Polonius error reporting

From: Jakub Dupak gcc/rust/ChangeLog: * checks/errors/borrowck/ffi-polonius/src/gccrs_ffi_generated.rs: Error reporting. * checks/errors/borrowck/ffi-polonius/src/lib.rs: Error reporting. * checks/errors/borrowck/polonius/rust-polonius-ffi.h (struct FactsView):

[COMMITTED 006/145] gccrs: borrowck: Build Polonius automatically

From: Jakub Dupak This is minimalistic version to build Polonius with Cargo. gcc/rust/ChangeLog: * Make-lang.in: Build Polonius. Signed-off-by: Jakub Dupak --- gcc/rust/Make-lang.in | 7 +++ 1 file changed, 7 insertions(+) diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.

[COMMITTED 017/145] gccrs: Visit constant items without expressions properly

From: Owen Avery gcc/rust/ChangeLog: * resolve/rust-default-resolver.cc (DefaultResolver::visit): Verify constant item has expression before attempting to visit the later. Signed-off-by: Owen Avery --- gcc/rust/resolve/rust-default-resolver.cc | 15 +---

[COMMITTED 007/145] gccrs: borrowck: Link Polonius and run it

From: Jakub Dupak gcc/rust/ChangeLog: * Make-lang.in: Link Polonius. * checks/errors/borrowck/rust-borrow-checker.cc: Run Polonius. Signed-off-by: Jakub Dupak --- gcc/rust/Make-lang.in | 9 ++--- gcc/rust/checks/errors/borrowck/rust-borrow-

[COMMITTED 004/145] gccrs: Removed obsolete objects

From: Kushal Pal gcc/rust/ChangeLog: * backend/rust-compile-expr.cc (CompileExpr::visit): Lines removed as the objects are unused. Signed-off-by: Kushal Pal --- gcc/rust/backend/rust-compile-expr.cc | 13 ++--- 1 file changed, 2 insertions(+), 11 deletions(-) diff --g

[COMMITTED 069/145] gccrs: Add raw_ref_op feature gate

From: Pierre-Emmanuel Patry Raw ref operators are still experimental and shall not slip within stable rust, they should therefore be feature gated. gcc/rust/ChangeLog: * checks/errors/rust-feature-gate.cc (FeatureGate::visit): Gate raw borrow. * checks/errors/rust-featur

[COMMITTED 067/145] gccrs: Parse raw ref operator

From: Pierre-Emmanuel Patry The raw ref operator is an unstable feature required to obtain a pointer to unaligned adresses (mainly unaligned struct fields) without UB. gcc/rust/ChangeLog: * ast/rust-ast-builder.cc (Builder::ref): Adapt constructor to the new API. * ast/r

[COMMITTED 090/145] gccrs: Add checks for duplicate options in inline asm

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (check_and_set): Add checks for duplicate options in inline asm (parse_options): likewise. gcc/testsuite/ChangeLog: * rust/compile/inline_asm_illegal_options.rs: New test. --- gcc/rust/expan

[COMMITTED 082/145] gccrs: Replace scaffolded InlineAsm with real InlineAsm.

From: jjasmine Replace scaffolded InlineAsm with real InlineAsm node in rust-expr.h gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parseDirSpec): replace scaffolded InlineAsm with real InlineAsm. (parse_clobber_abi): likewise. (check_and_set): likewise.

[COMMITTED 087/145] gccrs: Implemented parse_clobber_abi to pass new tests

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_clobber_abi): implemented parse_clobber_abi (parse_format_string): likewise. (parseAsmArg): likewise. (parse_asm): likewise. * expand/rust-macro-builtins-asm.h (parseAsmA

[COMMITTED 066/145] gccrs: Add a new regression test over struct expr field

From: Pierre-Emmanuel Patry We want to prevent regressions on struct expr field attribute parsing. gcc/testsuite/ChangeLog: * rust/compile/struct_expr_field_attributes.rs: New test. Signed-off-by: Pierre-Emmanuel Patry --- .../compile/struct_expr_field_attributes.rs | 22 ++

[COMMITTED 073/145] gccrs: Add regression tests for exclusive range pattern

From: Pierre-Emmanuel Patry Add a few test to check the exclusive range pattern feature. This feature is experimental and shall not be enabled in stable rust. gcc/testsuite/ChangeLog: * rust/compile/exclusive_range_pattern.rs: New test. * rust/compile/exclusive_range_pattern_fea

[COMMITTED 086/145] gccrs: Added faulty tests for inline asm cloberring

From: jjasmine gcc/testsuite/ChangeLog: * rust/compile/inline_asm_faulty_clobber.rs: New test. * rust/compile/inline_asm_faulty_clobber_1.rs: New test. * rust/compile/inline_asm_faulty_clobber_2.rs: New test. --- .../rust/compile/inline_asm_faulty_clobber.rs | 1

[COMMITTED 078/145] gccrs: Fix clobber_api brackets

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_clobber_abi): title. --- gcc/rust/expand/rust-macro-builtins-asm.cc | 16 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gcc/rust/expand/rust-macro-builtins-asm.cc b/gcc/rust/e

[COMMITTED 095/145] gccrs: Remove global_asm and non_global_asm handler

From: jjasmine gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (MacroBuiltin::global_asm_handler): Remove global_asm and non_global_asm handler (MacroBuiltin::nonglobal_asm_handler): Likewise. (MacroBuiltin::asm_handler): Likewise. * expand

[COMMITTED 070/145] gccrs: Add some test for raw_ref_op to prevent regressions

From: Pierre-Emmanuel Patry Add a test for the feature gate, as well as some test to ensure the raw keyword stays weak. Also add some tests to check whether the raw_ref_op syntax is parsed correctly. gcc/testsuite/ChangeLog: * rust/compile/not_raw_ref_op.rs: New test. * rust/com

[COMMITTED 083/145] gccrs: Add a simple no-op test for asm!

From: jjasmine gcc/testsuite/ChangeLog: * rust/compile/inline_asm_nop.rs: Simple test for asm! --- gcc/testsuite/rust/compile/inline_asm_nop.rs | 10 ++ 1 file changed, 10 insertions(+) create mode 100644 gcc/testsuite/rust/compile/inline_asm_nop.rs diff --git a/gcc/testsuite/

[COMMITTED 079/145] gccrs: First draft of parse_option finished

From: jjasmine Finish up on parse_option, formatted parse_clobber_abi gcc/rust/ChangeLog: * expand/rust-macro-builtins-asm.cc (parse_clobber_abi): format (check_and_set): helper function, is try_set_option equivalent (parse_options): new function * expand/rust-mac

[COMMITTED 085/145] gccrs: Add tests parsing with trailing commas inline asm

From: jjasmine gcc/testsuite/ChangeLog: * rust/compile/inline_asm_nop_2.rs: New test. --- gcc/testsuite/rust/compile/inline_asm_nop_2.rs | 10 ++ 1 file changed, 10 insertions(+) create mode 100644 gcc/testsuite/rust/compile/inline_asm_nop_2.rs diff --git a/gcc/testsuite/rust/

[COMMITTED 092/145] gccrs: Scaffolding parse_reg

From: jjasmine gcc/rust/ChangeLog: * ast/rust-expr.h (struct InlineAsmRegOrRegClass): Scaffolding parse_reg * expand/rust-macro-builtins-asm.cc (parse_reg): Likewise. (parse_operand): Likewise. (parseAsmArg): Likewise. --- gcc/rust/ast/rust-expr.h

[COMMITTED 126/145] gccrs: Added tl::expected to parse_operand

From: jjasmine Added tl::expected to parse_operand by implementing the validation inside the parse_reg_operand function. gcc/rust/ChangeLog: * ast/rust-expr.h: Added tl::expected to parse_operand * expand/rust-macro-builtins-asm.cc (parse_reg): Likewise. (parse_r

[COMMITTED 145/145] gccrs: [E0576] Associated `item` not found in given `type`

From: Muhammad Mahad gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit): Add rich error message and error code similiar to rustc with associaed type and trait name gcc/testsuite/ChangeLog: * rust/compile/unknown-associated-item.rs

[Bug rust/119333] [15 regression] Rust bootstrap fails with cargo trying to download polonius crates

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119333 --- Comment #1 from Sam James --- In libgrust/libformat_parser/Makefile.am, we have: ``` # TODO: Improve `cargo` invocation with host specific flags, possibly creating a $(CARGO) variable? $(LIBFORMAT_PARSER): $(srcdir)/Cargo.toml $(srcdir)/src/

[Bug rust/119333] [15 regression] Rust bootstrap fails with cargo trying to download polonius crates

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119333 Sam James changed: What|Removed |Added See Also||https://github.com/Rust-GCC

[Bug rust/119342] New: block in rust-gcc.cc could use some comments

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119342 Bug ID: 119342 Summary: block in rust-gcc.cc could use some comments Product: gcc Version: 15.0 Status: UNCONFIRMED Keywords: internal-improvement Severity: normal

[Bug rust/119341] statement_list in rust-gcc.cc can use range for

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119341 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED

[COMMITTED 139/145] gccrs: Update pattern with \r* for dg-output tests

From: badumbatish First scan with "rg -v '\\r' gcc/testsuite/rust | rg 'dg-output'" gcc/testsuite/ChangeLog: * rust/execute/torture/issue-2187.rs: Update pattern with \r* for dg-output tests * rust/execute/xfail/macro1.rs: Likewise --- gcc/testsuite/rust/execute/torture

[COMMITTED 109/145] gccrs: Fix visitor-related warnings

From: jjasmine gcc/rust/ChangeLog: * ast/rust-ast-collector.cc (TokenCollector::visit): Fix visitor-related warnings * ast/rust-ast-collector.h: Likewise. * ast/rust-ast-visitor.cc (DefaultASTVisitor::visit): Likewise. * ast/rust-ast-visitor.h: Likewise.

[COMMITTED 110/145] gccrs: Refactoring and supporting more parse_reg_operand

From: jjasmine gcc/rust/ChangeLog: * ast/rust-expr.h (struct InlineAsmOperand): Refactoring and supporting more parse_reg_operand * expand/rust-macro-builtins-asm.cc (parse_reg_operand): Likewise. (rust_debug): Likewise. --- gcc/rust/ast/rust-expr.h

[Bug rust/119333] [15 regression] Rust bootstrap fails with cargo trying to download polonius crates

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119333 Marc Poulhiès changed: What|Removed |Added See Also||https://github.com/Rust-GCC

[Bug rust/119341] statement_list in rust-gcc.cc can use range for

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119341 --- Comment #1 from Andrew Pinski --- a few others: block_add_statements block function_set_parameters -- You are receiving this mail because: You are on the CC list for the bug.

[Bug rust/119341] statement_list in rust-gcc.cc can use range for

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119341 --- Comment #2 from Andrew Pinski --- function_type_variadic -- You are receiving this mail because: You are on the CC list for the bug.

[Bug rust/119341] statement_list in rust-gcc.cc can use range for

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119341 --- Comment #3 from Andrew Pinski --- function_ptr_type uses it already for an example. -- You are receiving this mail because: You are on the CC list for the bug.

<    1   2