Skip to content

Add Pure instr - #232

Draft
sim642 wants to merge 3 commits into
developfrom
instr-pure
Draft

Add Pure instr#232
sim642 wants to merge 3 commits into
developfrom
instr-pure

Conversation

@sim642

@sim642 sim642 commented Jul 20, 2026

Copy link
Copy Markdown
Member

Closes #145.

Since #203 is already going to make a breaking change to instr, we might as well do another one now.

@sim642 sim642 added this to the 2.2.0 milestone Jul 20, 2026
@sim642 sim642 added the bug label Jul 20, 2026
@sim642
sim642 marked this pull request as draft July 20, 2026 13:02
@sim642

sim642 commented Jul 20, 2026

Copy link
Copy Markdown
Member Author

I just realized that I completely forgot to construct these anywhere in Cabs2cil...

@sim642

sim642 commented Jul 21, 2026

Copy link
Copy Markdown
Member Author

I just realized that I completely forgot to construct these anywhere in Cabs2cil...

It is surprisingly annoying to achieve that without causing x = y; to expand to x = y; x;. I currently have an ad hoc workaround for assignment (from expressions and function calls).

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Keep side-effect-less expression statements when wanted

1 participant