Ralf Jung
78b680e14a
interpret: mark a dead match arm as dead
2022-03-26 13:17:07 -04:00
Ralf Jung
b92a60586a
rename LocalState::Uninitialized to Unallocated
2022-03-21 22:48:11 -04:00
b-naber
26fe550670
normalization change and rebase
2022-03-09 11:33:11 +01:00
Ralf Jung
d8064d7d49
Miri fn ptr check: don't use conservative null check
2022-02-24 19:52:54 -05:00
est31
5cc292eb1d
rustc_const_eval: adopt let else in more places
2022-02-19 01:55:47 +01:00
Michael Goulet
67ad0ffdf8
use body.tainted_by_error to skip loading MIR
2022-02-11 12:45:51 -08:00
Michael Goulet
29c2bb51c0
rework borrowck errors so that it's harder to not set tainted
2022-02-11 12:45:51 -08:00
Michael Goulet
77dae2d25d
skip const eval if we have an error in borrowck
2022-02-11 12:45:51 -08:00
Ralf Jung
d60018b44b
rename StackPopClean::None to Root
2022-01-04 11:13:08 +01:00
Matthias Krüger
57a4f4a634
Rollup merge of #90102 - nbdd0121:box3, r=jonas-schievink
...
Remove `NullOp::Box`
Follow up of #89030 and MCP rust-lang/compiler-team#460 .
~1 month later nothing seems to be broken, apart from a small regression that #89332 (1aac85bb716c09304b313d69d30d74fe7e8e1a8e) shows could be regained by remvoing the diverging path, so it shall be safe to continue and remove `NullOp::Box` completely.
r? `@jonas-schievink`
`@rustbot` label T-compiler
2022-01-03 14:44:15 +01:00
Ralf Jung
56b7d5fc49
better name for AdjustForForeignAbiError error variant in InterpError
2021-12-20 22:37:15 +01:00
Ralf Jung
11fb22d83a
CTFE eval_fn_call: use FnAbi to determine argument skipping and compatibility
2021-12-20 22:37:12 +01:00
Tomasz Miąsko
fd47d247d8
miri: lift restriction on extern types being the only field in a struct
2021-12-15 23:44:51 +01:00
LegionMammal978
a19eaf3542
Remove in_band_lifetimes from rustc_const_eval
...
See #91867 for more information.
2021-12-13 22:39:00 -05:00
bors
22f8bde876
Auto merge of #91549 - fee1-dead:const_env, r=spastorino
...
Eliminate ConstnessAnd again
Closes #91489 .
Closes #89432 .
Reverts #91491 .
Reverts #89450 .
r? `@spastorino`
2021-12-12 22:15:32 +00:00
Deadbeef
84b1d859c8
Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"
...
This reverts commit ff2439b7b92a9e0831d6
2021-12-12 12:34:46 +08:00
Ralf Jung
3de60264ca
better span for unexpected normalization failure in CTFE engine
2021-12-11 18:55:58 -05:00
b-naber
61cab770bd
allow for failure of subst_normalize_erasing_regions in const_eval
2021-12-05 12:43:39 +01:00
Santiago Pastorino
85b723c4e6
Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"
...
This reverts commit 18bb8c61a9d9baa36190
2021-12-03 10:11:21 -03:00
Oli Scherer
f394bb57bb
Always use const param envs for const eval.
...
Nothing else makes sense, and there is no "danger" in doing so, as it only does something if there are const bounds, which are unstable. This used to happen implicitly via the inferctxt before, which was much more fragile.
2021-11-29 21:19:50 +08:00
Gary Guo
037e189783
Remove box_alloc from Machine trait.
2021-10-20 19:42:35 +01:00
Camille GILLOT
02025d86ac
Remove re-export.
2021-10-03 16:08:54 +02:00
Camille GILLOT
c5fc2609f0
Rename rustc_mir to rustc_const_eval.
2021-09-07 20:46:26 +02:00
