rust/compiler/rustc_const_eval, branch 1.83.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.83.02024-10-10T10:49:19+00:00Rollup merge of #131397 - RalfJung:const-escaping-ref-teach, r=chenyukang2024-10-10T10:49:19+00:00Matthias Krügermatthias.krueger@famsik.de2024-10-10T10:49:19+00:00urn:sha1:a2c43eb80698dc551bf9f4c0041b2cde751a7a5d
fix/update teach_note from 'escaping mutable ref/ptr' const-check
The old note was quite confusing since it talked about statics, but the message is also shown for consts. So let's reword to something that is true for both of them.
compiler: Factor rustc_target::abi out of const_eval2024-10-09T01:24:56+00:00Jubilee Youngworkingjubilee@gmail.com2024-10-08T23:59:24+00:00urn:sha1:9d95c8bd1606b914a0fc1ae9ba21efb3490491cefix/update teach_note from 'escaping mutable ref/ptr' const-check2024-10-08T12:03:03+00:00Ralf Jungpost@ralfj.de2024-10-08T10:25:26+00:00urn:sha1:287eb03838d5ff211706c8df8f5357034219472fAuto merge of #131068 - RalfJung:immediate-offset-sanity-check, r=nnethercote2024-10-07T00:45:41+00:00borsbors@rust-lang.org2024-10-07T00:45:41+00:00urn:sha1:a964a9227787447016894268152bff79ee76a36b
Don't use Immediate::offset to transmute pointers to integers
This applies the relatively new `assert_matches_abi` check in the `offset` operation on immediates, which makes sure that if offsets are used to alter the layout (which is possible because the field layout is arbitrarily picked by the caller), this is not done in a way that breaks the invariant of the `Immediate` type.
This leads to ICEs in a GVN mir-opt test, so the second commit fixes GVN.
Fixes https://github.com/rust-lang/rust/issues/131064.
various fixes for `naked_asm!` implementation2024-10-06T17:00:09+00:00Folkert de Vriesfolkert@folkertdev.nl2024-09-05T17:45:40+00:00urn:sha1:5fc60d1e52ea12f53d2c8d22fee94592860739ad
- fix for divergence
- fix error message
- fix another cranelift test
- fix some cranelift things
- don't set the NORETURN option for naked asm
- fix use of naked_asm! in doc comment
- fix use of naked_asm! in run-make test
- use `span_bug` in unreachable branch
Use wide pointers consistenly across the compiler2024-10-04T12:06:48+00:00Urgauurgau@numericable.fr2024-10-03T13:05:23+00:00urn:sha1:018ba0528fa5d22712397e520351295f8582a525interpret: Immediate::offset: use shared sanity-check function to ensure invariant2024-10-03T06:26:25+00:00Ralf Jungpost@ralfj.de2024-09-30T15:49:51+00:00urn:sha1:a8f9a32650122dd7c54ad20d1230bcb62c6506ffAuto merge of #131006 - RalfJung:immediate-sanity, r=saethlin2024-10-02T22:12:06+00:00borsbors@rust-lang.org2024-10-02T22:12:06+00:00urn:sha1:9c7013c15c189a6978ac8b9dac638581495527de
interpret: always enable write_immediate sanity checks
Writing a wrongly-sized scalar somewhere can have quite confusing effects. Let's see how expensive it is to catch this early.
make InterpResult a dedicated type to avoid accidentally discarding the error2024-10-01T19:45:35+00:00Ralf Jungpost@ralfj.de2024-09-29T09:53:23+00:00urn:sha1:c4ce8c114b06840c3521a189ee44958b713fb33apanic when an interpreter error gets unintentionally discarded2024-09-30T06:37:00+00:00Ralf Jungpost@ralfj.de2024-09-26T14:48:32+00:00urn:sha1:4b8a5bd511814ed97640c46ab2232acc0e0ade41