diff options
| author | Ralf Jung <post@ralfj.de> | 2020-07-26 11:11:17 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2020-07-26 11:11:17 +0200 |
| commit | 1d9efbbd8f618b1618840c2ab677feed52eac138 (patch) | |
| tree | f8e29c47b2b8b18c4ac1dc386503b91a0cf0b363 /src/libstd/sys/vxworks/stack_overflow.rs | |
| parent | 2bbfa02b1b15974d5772b520aa027bf79f8c248e (diff) | |
| download | rust-1d9efbbd8f618b1618840c2ab677feed52eac138.tar.gz rust-1d9efbbd8f618b1618840c2ab677feed52eac138.zip | |
Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is called only when a pointer is 'imported' into the machine
Diffstat (limited to 'src/libstd/sys/vxworks/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions