diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-14 23:29:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-14 23:29:52 +0200 |
| commit | b5dc6e620b68665a1d0aa79ee2e2ed2dd2b4d130 (patch) | |
| tree | 1a46683721bce285b2bbcb49c7f60066483e6cfb /src/liballoc | |
| parent | 15ab586b495376bd8e1a591e8a80e6f976251eb5 (diff) | |
| parent | a1f7e9a7250aea6f415fd62e88bbcb848baf73ff (diff) | |
| download | rust-b5dc6e620b68665a1d0aa79ee2e2ed2dd2b4d130.tar.gz rust-b5dc6e620b68665a1d0aa79ee2e2ed2dd2b4d130.zip | |
Rollup merge of #70947 - RalfJung:ctfe-no-read-mut-global, r=oli-obk
tighten CTFE safety net for accesses to globals Previously, we only rejected reading from all statics. Now we also reject reading from any mutable global. Mutable globals are the true culprit here as their run-time value might be different from their compile-time values. Statics are just the approximation we use for that so far. Also refactor the code a bit to make it clearer what is being checked and allowed. r? @oli-obk
Diffstat (limited to 'src/liballoc')
0 files changed, 0 insertions, 0 deletions