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

Update toolchain to 2024-08-05 #3416

Merged
merged 6 commits into from
Aug 5, 2024
Merged

Update toolchain to 2024-08-05 #3416

merged 6 commits into from
Aug 5, 2024

Commits on Aug 5, 2024

  1. Update toolchain to 2024-08-05 

    * Remove `gen_function_local_variable` and `initializer_fn_name`, the
  last uses of both of which were removed in model-checking#3305.
* Remove `arg_count`, which was introduced in model-checking#3363, but not actually
  used.
* Remove `insert_bb`, which was introduced in model-checking#3382, but not actually
  used.

The toolchain upgrade to 2024-08-04 includes several bugfixes to
dead-code analysis in rustc, explaining why we the recent PRs as listed
above weren't flagged before for introducing dead code.

Resolves: model-checking#3411
    @tautschnig
    tautschnig committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    80cd280 View commit details
    Browse the repository at this point in the history

  2. Only remove arg_count() method

    @tautschnig
    tautschnig committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    52c070f View commit details
    Browse the repository at this point in the history

  3. Actually remove insert_bb

    @tautschnig
    tautschnig committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    579f6e3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into toolchain-2024-08-05-manual

    @tautschnig
    tautschnig committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    5213cca View commit details
    Browse the repository at this point in the history

  5. Revert "Actually remove insert_bb" 

    This reverts commit 579f6e3.
    @tautschnig
    tautschnig committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    34a3995 View commit details
    Browse the repository at this point in the history

  6. Use allow(dead_code)

    @tautschnig
    tautschnig committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    495b341 View commit details
    Browse the repository at this point in the history