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

Rollup of 6 pull requests #122953

Closed
wants to merge 58 commits into from

Commits on Mar 12, 2024

  1. Configuration menu
    Copy the full SHA
    d3299af View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2024

  1. Preparing for merge from rustc

    The Miri Cronjob Bot committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    96674fc View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    The Miri Cronjob Bot committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    0dff16a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    caa57dd View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b4cb2ee View commit details
    Browse the repository at this point in the history
  5. Auto merge of rust-lang#3386 - RalfJung:ci, r=RalfJung

    fix Zulip topic for PR-creation message
    bors committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    dd5b4f5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    a6f362f View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Configuration menu
    Copy the full SHA
    c99c314 View commit details
    Browse the repository at this point in the history
  2. Auto merge of rust-lang#3388 - RalfJung:exposed, r=RalfJung

    add exposed-provenance example where we miss UB
    
    Example by `@saethlin`
    bors committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    d7864d2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    311024c View commit details
    Browse the repository at this point in the history
  4. Auto merge of rust-lang#3387 - RalfJung:bench, r=RalfJung

    make 'invalidate' benchmark shorter
    
    This is currently by far the slowest benchmark in our suite, taking >9s, when the second slowest takes 2.7s. So let's speed this up to 2.3s, making it still the second-slowest in the benchmark suite.
    
    `@saethlin` any objections? Also, why is this called "invalidate"? It got added in rust-lang/miri#3083 but I can't figure out the point of that name even after looking at the PR.^^ There should be a comment in the benchmark explaining what it is testing.
    bors committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    b648a9a View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Preparing for merge from rustc

    The Miri Cronjob Bot committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    74b68af View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    The Miri Cronjob Bot committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    be6c170 View commit details
    Browse the repository at this point in the history
  3. Auto merge of rust-lang#3390 - rust-lang:rustup-2024-03-19, r=oli-obk

    Automatic Rustup
    bors committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    bca5e2c View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f4adb1e View commit details
    Browse the repository at this point in the history
  5. remove duplicate test

    RalfJung committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    92a841d View commit details
    Browse the repository at this point in the history
  6. Auto merge of rust-lang#3391 - RalfJung:dedup, r=RalfJung

    remove duplicate test
    
    This is basically the same as `tests/pass/imported_main.rs`.
    bors committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    67966f3 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. run full mono-item collection on all MIRI_BE_RUSTC=target builds

    this fixes compile_fail doctests with post-mono errors
    RalfJung committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    e539804 View commit details
    Browse the repository at this point in the history
  2. Auto merge of rust-lang#3392 - RalfJung:post-mono, r=oli-obk

    fix compile_fail doctests with post-mono errors
    
    Fixes rust-lang/miri#2423
    bors committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    6bcd9bc View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Allow llvm.x86.sse2.pause instrinsic to be called without SSE2

    The instrinsic is compiled to a `pause` instruction, which behaves like a no-op when SSE2 is not available.
    
    https://www.felixcloutier.com/x86/pause.html
    eduardosm committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    89bc81f View commit details
    Browse the repository at this point in the history
  2. Auto merge of rust-lang#3393 - eduardosm:x86-pause-without-sse2, r=Ra…

    …lfJung
    
    Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2
    
    The instrinsic is compiled to a `pause` instruction, which behaves like a no-op when SSE2 is not available.
    
    https://www.felixcloutier.com/x86/pause.html
    bors committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    f61f45f View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Configuration menu
    Copy the full SHA
    5719d09 View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    RalfJung committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    ee57d2b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    2fae357 View commit details
    Browse the repository at this point in the history
  4. add test for rust-lang#52334

    matthiaskrgr committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    063f011 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    c3bde24 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    72d2b59 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    6b0dfc5 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    c7ef3cd View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    3c1db06 View commit details
    Browse the repository at this point in the history
  10. add test for ice rust-lang#90691 ICE: resolution failed during buildi…

    …ng vtable representation
    
    Fixes rust-lang#90691
    matthiaskrgr committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    efc57fb View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    15ef7a0 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    1fcf2ea View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Preparing for merge from rustc

    The Miri Cronjob Bot committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    0115f73 View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    The Miri Cronjob Bot committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    89b9b67 View commit details
    Browse the repository at this point in the history
  3. fmt

    The Miri Cronjob Bot committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    5039f8b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f0d864f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    d7eeb71 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c87ec61 View commit details
    Browse the repository at this point in the history
  7. Auto merge of rust-lang#3396 - RalfJung:simd-float, r=RalfJung

    add support for missing SIMD float intrinsics
    
    These are being exposed by `core::simd`  with rust-lang#122905.
    bors committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    e19cc5e View commit details
    Browse the repository at this point in the history
  8. add test for rust-lang#99945

    matthiaskrgr committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    12e3629 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    2f9a240 View commit details
    Browse the repository at this point in the history
  10. add test for rust-lang#104779 opaque types, patterns and subtyping IC…

    …E: IndexMap: key not found
    
    Fixes rust-lang#104779
    matthiaskrgr committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    e54bff7 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    f1f287f View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    f8aeac8 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    cc422ce View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    f2bc9c5 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    368bfb2 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    2d610f7 View commit details
    Browse the repository at this point in the history
  17. address review feedback

    matthiaskrgr committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    9aea37d View commit details
    Browse the repository at this point in the history
  18. Add test in higher-ranked

    Luv-Ray committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    246f746 View commit details
    Browse the repository at this point in the history
  19. Auto merge of rust-lang#3385 - Zoxc:read-types, r=RalfJung

    Report retags as distinct from real memory accesses for data races
    
    This changes the error reporting for data races such that reference invariants are no longer reported as real read and writes.
    
    Before:
    ```
    Data race detected between (1) non-atomic write on thread `unnamed-6` and (2) non-atomic read on thread `unnamed-5` at alloc1034971+0x10c. (2) just happened here
    ```
    
    After:
    ```
    Data race detected between (1) non-atomic write on thread `unnamed-8` and (2) shared reference invariant on thread `unnamed-6` at alloc1018329+0x190. (2) just happened here
    ```
    
    Non-atomic read accesses from the *other* thread don't have this information tracked so those are called `some potential non-atomic read access` here.
    bors committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    59b2945 View commit details
    Browse the repository at this point in the history
  20. Rollup merge of rust-lang#122379 - RalfJung:int2ptr-transmute, r=m-ou-se

    transmute: caution against int2ptr transmutation
    
    This came up in rust-lang#121282.
    Cc `@saethlin` `@scottmcm`
    
    Eventually we'll add a proper description of provenance that we can reference, but that's a bunch of work and it's unclear who will have the time to do that when. Meanwhile, let's at least do what we can without mentioning provenance explicitly.
    matthiaskrgr authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    4e721c0 View commit details
    Browse the repository at this point in the history
  21. Rollup merge of rust-lang#122895 - matthiaskrgr:ice-tests-5xxxx-to-9x…

    …xxx, r=fmease
    
    add some ice tests 5xxxx to 9xxxx
    
      Fixes rust-lang#98842
      Fixes rust-lang#90691
      Fixes rust-lang#88421
      Fixes rust-lang#88212
      Fixes rust-lang#83056
      Fixes rust-lang#80125
      Fixes rust-lang#64784
      Fixes rust-lang#52334
    matthiaskrgr authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    6b4f9c9 View commit details
    Browse the repository at this point in the history
  22. Rollup merge of rust-lang#122907 - compiler-errors:uniquify-reerror, …

    …r=lcnr
    
    Uniquify `ReError` on input mode in canonicalizer
    
    See test descr
    
    Fixes rust-lang#122861
    
    r? lcnr
    matthiaskrgr authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    2e57c77 View commit details
    Browse the repository at this point in the history
  23. Rollup merge of rust-lang#122942 - Luv-Ray:master, r=lcnr

    Add test in higher ranked subtype
    
    I'm a beginner in this repository, and there are some things I'm not sure about:
    
    - Is it okay that there is a warning:
    ```
    rustc_infer::infer::relate::generalize may incompletely handle alias type: AliasTy { args: [?1t, '^0.Named(DefId(0:15 ~ structually_relate_aliases[de75]::{impl#1}::'a), "'a")], def_id: DefId(0:5 ~ structually_relate_aliases[de75]::ToUnit::Unit) }
    ```
    - Is it okay that there are two duplicate errors in the same line?
    - Did I put the test in the right place?
    
    Any suggestions would be appreciated.
    
    Fixes rust-lang#121649
    matthiaskrgr authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    d1bb4cd View commit details
    Browse the repository at this point in the history
  24. Configuration menu
    Copy the full SHA
    bad56c4 View commit details
    Browse the repository at this point in the history
  25. Rollup merge of rust-lang#122952 - RalfJung:miri, r=RalfJung

    Miri subtree update
    
    r? `@ghost`
    matthiaskrgr authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    70b2185 View commit details
    Browse the repository at this point in the history