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.

Sign up for GitHub

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

Jump to bottom

Codegen issue: Can't cast error Expr to StructTag #21

Closed
danielsn opened this issue Apr 8, 2021 · 0 comments · Fixed by #62
Closed

Codegen issue: Can't cast error Expr to StructTag #21

danielsn opened this issue Apr 8, 2021 · 0 comments · Fixed by #62
Assignees
@danielsn
Labels
[C] Bug This is a bug. Something isn't working.

Comments

@danielsn
Copy link
Contributor

danielsn commented Apr 8, 2021 

use std::path::Path;

fn main() {
    let path = Path::new("./foo/bar.txt");
}

Fails with a can't cast exception
danielsn added a commit that referenced this issue Apr 8, 2021
@danielsn
Add regression test for #21
fe7c04a
danielsn added a commit that referenced this issue Apr 8, 2021
@danielsn
Add regression test for #21 (#22)
8b63e02
adpaco-aws pushed a commit that referenced this issue Apr 9, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
3f138bc
@danielsn danielsn self-assigned this Apr 13, 2021
@nchong-at-aws nchong-at-aws added the [C] Bug This is a bug. Something isn't working. label Apr 13, 2021
@danielsn danielsn modified the milestones: Codegen clean for Firecracker, Sprint 2021-04-27 Apr 13, 2021
@danielsn danielsn linked a pull request Apr 14, 2021 that will close this issue
Properly handle Fat-ptr to Fat-ptr casts #62
Merged
adpaco-aws pushed a commit that referenced this issue Apr 16, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
97b4a19
adpaco-aws pushed a commit that referenced this issue Apr 26, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
cf20281
@adpaco-aws adpaco-aws removed this from the Sprint 2021-04-27 milestone Apr 26, 2021
adpaco-aws pushed a commit that referenced this issue May 5, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
eb6ff1b
adpaco-aws pushed a commit that referenced this issue May 10, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
baf709d
adpaco-aws pushed a commit that referenced this issue May 26, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
24aedd6
adpaco-aws pushed a commit that referenced this issue Jun 1, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
a51e989
adpaco-aws pushed a commit that referenced this issue Jun 7, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
9281310
adpaco-aws pushed a commit that referenced this issue Jun 17, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
56eeace
adpaco-aws pushed a commit that referenced this issue Jun 23, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
f35f2df
adpaco-aws pushed a commit that referenced this issue Jul 2, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
102bb21
adpaco-aws pushed a commit that referenced this issue Jul 9, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
933ab07
adpaco-aws pushed a commit that referenced this issue Jul 15, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
985bc84
adpaco-aws pushed a commit that referenced this issue Jul 26, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
0165377
adpaco-aws pushed a commit that referenced this issue Aug 2, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
cebddd5
@zhassan-aws zhassan-aws mentioned this issue Aug 6, 2021
Closed
4 tasks
adpaco-aws pushed a commit that referenced this issue Aug 6, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
3f2e092
adpaco-aws pushed a commit that referenced this issue Aug 17, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
189a605
adpaco-aws pushed a commit that referenced this issue Aug 24, 2021
@danielsn @adpaco-aws
Add regression test for #21 (#22)
41f32ad
celinval referenced this issue in celinval/kani-dev Nov 16, 2021
@KodrAus
Merge pull request #21 from rust-lang/chore/build-badge
0b39351 
Add build badge
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 22, 2022
@danielsn @tedinski
Add regression test for model-checking#21 (model-checking#22)
c0c3ebe
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 25, 2022
@danielsn @tedinski
Add regression test for model-checking#21 (model-checking#22)
48c9857
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 26, 2022
@danielsn @tedinski
Add regression test for model-checking#21 (model-checking#22)
6f54746
tedinski pushed a commit that referenced this issue Apr 27, 2022
@danielsn @tedinski
Add regression test for #21 (#22)
6a4606f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@danielsn danielsn

Labels
[C] Bug This is a bug. Something isn't working.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Properly handle Fat-ptr to Fat-ptr casts model-checking/kani
3 participants
@danielsn @nchong-at-aws @adpaco-aws