Skip to content

docs(changelog): note const-eval pointer copy scope#3

Open
PLeVasseur wants to merge 1 commit intomainfrom
const-eval-pointer-copy
Open

docs(changelog): note const-eval pointer copy scope#3
PLeVasseur wants to merge 1 commit intomainfrom
const-eval-pointer-copy

Conversation

@PLeVasseur
Copy link
Copy Markdown
Owner

@PLeVasseur PLeVasseur commented Feb 1, 2026

Summary

Reference alignment

Non-normative references

Excerpts

  • rustc-dev-guide const-eval/interpret.html#memory
    Such an `Allocation` is basically just a sequence of `u8` storing the value of each byte in this allocation.
    ... a `Pointer` consists of a pair of an `AllocId` ... and an offset into the allocation.
    ... we want to store a `Pointer` into an `Allocation`: ... the `relocation` field ... stores the byte offset
    as a bunch of `u8`, while its `AllocId` gets stored out-of-band.
    
  • UCG glossary glossary.html#abstract-byte
    Another piece of shadow state is pointer provenance ... implies that abstract bytes must be able to carry provenance.
    ... Init(u8, Option<Provenance>)
    
  • UCG glossary glossary.html#pointer-provenance
    The provenance of a pointer is used to distinguish pointers that point to the same memory address ...
    

Testing

  • ./make.py

@tshepang
Copy link
Copy Markdown

tshepang commented Feb 6, 2026

was this meant to be opened against upstream

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Change]: [1.93] During const-evaluation, support copying pointers byte-by-byte

2 participants