Skip to content

Memory should use the target data layout information from rustc  #29

Closed
@solson

Description

@solson

Memory currently has a pointer_size field. Instead, it should take tcx.data_layout to get not only pointer size, but also endianness and alignment for all primitive types. Then, Miri should diagnose unaligned memory accesses and read/write all multi-byte values with the given target endianness rather than host endianness.

  • Use tcx.data_layout in Memory.
  • Use target endianness.
  • Detect unaligned memory accesses.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions