Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
L
lambda-rust
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 2
    • Issues 2
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Iris
  • lambda-rust
  • Merge Requests
  • !8

Merged
Opened Oct 30, 2017 by Ralf Jung@jung
  • Report abuse
Report abuse

Add poison

Add a new poison literal that is used for uninitialized memory. Make sure that poison, when used in any interesting way, triggers UB -- the only think you may do with poison is load it from memory, and store it back. This models the PLDI'17 LLVM semantics for uninitialized memory pretty faithfully.

Also, get rid of unit because we can now use poison as the "return value" of things like storing, making sure that nothing can ever depend on those values.

Actually it turns out that the old unit and the new poison are exactly the same, so effectively this is just a rename + making allocation more deterministic.

  • Discussion 4
  • Commits 1
  • Changes 21
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
0
Labels
None
Assign labels
  • View project labels
Reference: iris/lambda-rust!8

Revert this merge request

This will create a new commit in order to revert the existing changes.

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.

Cherry-pick this merge request

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.