Skip to content

Compilation fails for s2n-quic after toolchain update to nightly-2022-10-25 #1822

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
Closed
zhassan-aws opened this issue Nov 1, 2022 · 3 comments
Closed

Compilation fails for s2n-quic after toolchain update to nightly-2022-10-25 #1822

zhassan-aws opened this issue Nov 1, 2022 · 3 comments
Labels
[C] Bug This is a bug. Something isn't working. T-High Priority Tag issues that have high priority

Comments

@zhassan-aws
Copy link
Contributor

zhassan-aws commented Nov 1, 2022 •
edited
Loading

Steps to reproduce:

  1. git clone https://github.com/aws/s2n-quic
  2. cd s2n-quic/quic/s2n-quic-core
  3. cargo kani --tests --harness vectored_copy_fuzz_test

error[E0080]: evaluation of constant value failed
  --> quic/s2n-quic-core/src/stream/testing.rs:20:13
   |
20 |             idx += 1;
   |             ^^^^^^^^ exceeded interpreter step limit (see `#[const_eval_limit]`)

error[E0080]: could not evaluate static initializer
  --> quic/s2n-quic-core/src/stream/testing.rs:25:25
   |
25 |     Bytes::from_static(&INNER)
   |                         ^^^^^ referenced constant has errors

For more information about this error, try `rustc --explain E0080`.
Error: "Failed to compile crate."
warning: `s2n-quic-core` (lib test) generated 2 warnings
error: could not compile `s2n-quic-core` due to 2 previous errors; 2 warnings emitted
Error: cargo exited with status exit status: 101
@zhassan-aws zhassan-aws added [C] Bug This is a bug. Something isn't working. T-High Priority Tag issues that have high priority labels Nov 1, 2022
@zhassan-aws
Copy link
Contributor Author

Blocked by rust-lang/rust#103814.

@celinval celinval self-assigned this Nov 1, 2022
celinval added a commit to celinval/kani-dev that referenced this issue Nov 1, 2022
@celinval
Downgrade the toolchain to avoid blocking issue
2d6a6f2 
Mitigates model-checking#1822 which is
caused by rust-lang/rust#103814.

Ps.: I also bumped cbmc min version since older versions don't work with
Kani.
@celinval celinval mentioned this issue Nov 1, 2022
Merged
4 tasks
celinval added a commit that referenced this issue Nov 1, 2022
@celinval
Downgrade the toolchain to avoid blocking issue (#1830)
0f41459 
Downgrade the rust toolchain for the nighly before the current version. This mitigates #1822 which is caused by rust-lang/rust#103814.

Ps.: I also bumped cbmc min version since older versions don't work with Kani.
@celinval celinval removed their assignment Nov 1, 2022
@camshaft
Copy link
Contributor

camshaft commented Nov 2, 2022

I was also able to fix this issue by simplifying the expression
aws/s2n-quic#1559. You can revert your downgrade if this was the only blocker.

@zhassan-aws
Copy link
Contributor Author

Thanks @camshaft. Closing this issue.

@zhassan-aws zhassan-aws moved this to Done in Kani 0.14 Nov 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Bug This is a bug. Something isn't working. T-High Priority Tag issues that have high priority
Projects
No open projects
Kani 0.14
Status: Done
Milestone
No milestone
Development

No branches or pull requests
3 participants
@camshaft @celinval @zhassan-aws