Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

'unsafe' ICE #382

Closed
tschwinge opened this issue Apr 19, 2021 · 1 comment · Fixed by #581
Closed

'unsafe' ICE #382

tschwinge opened this issue Apr 19, 2021 · 1 comment · Fixed by #581

Comments

@tschwinge
Copy link
Member

A simple:

fn main() {
    unsafe {
    }
}

... causes ICE:

Program received signal SIGSEGV, Segmentation fault.
(anonymous namespace)::(anonymous namespace)::TypeCheckExpr::Resolve (expr=0x0, inside_loop=<optimized out>)
    at [...]/gcc/rust/typecheck/rust-hir-type-check-expr.h:45
45          expr->accept_vis (resolver);
dkm added a commit to dkm/gccrs that referenced this issue Apr 20, 2021
Fix the pruning regex to also match ICE message and allow for dg-ice use.
Add the test from Rust-GCC#382 as a sample example.
Should help Rust-GCC#308
dkm added a commit to dkm/gccrs that referenced this issue Apr 20, 2021
Fix the pruning regex to also match ICE message and allow for dg-ice use.
Add the test from Rust-GCC#382 as a sample example.
Should help Rust-GCC#308
dkm added a commit to dkm/gccrs that referenced this issue Apr 21, 2021
Fix the pruning regex to also match ICE message and allow for dg-ice use.
Add the test from Rust-GCC#382 as a sample example.
Should help Rust-GCC#308
dkm added a commit to dkm/gccrs that referenced this issue Apr 21, 2021
Fix the pruning regex to also match ICE message and allow for dg-ice use.
Add the test from Rust-GCC#382 as a sample example.
Should help Rust-GCC#308
bors bot added a commit that referenced this issue Apr 21, 2021
384: Fix dg-ice handling in rust testsuite r=tschwinge a=dkm

Fix the pruning regex to also match ICE message and allow for dg-ice use.
Add the test from #382 as a sample example.
Should help #308

Co-authored-by: Marc Poulhiès <dkm@kataplop.net>
@tschwinge
Copy link
Member Author

See also #380 (review).

@philberty philberty added this to To do in Data Structures 3 - Traits via automation Jul 20, 2021
@philberty philberty added the bug label Jul 20, 2021
@philberty philberty added this to the Data Structures 3 - Traits milestone Jul 20, 2021
@philberty philberty self-assigned this Jul 20, 2021
bors bot added a commit that referenced this issue Jul 20, 2021
581: HIR and GENERIC lowering for unsafe blocks r=philberty a=philberty

This wires up the code nessecary to compile an unsafe block
it does not implement any rules or checks yet.

Fixes #382 

Co-authored-by: Philip Herron <philip.herron@embecosm.com>
@bors bors bot closed this as completed in #581 Jul 20, 2021
@bors bors bot closed this as completed in 857953b Jul 20, 2021
Data Structures 3 - Traits automation moved this from To do to Done Jul 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

2 participants