Skip to content

Improve container_of hack support#114

Merged
sim642 merged 3 commits intomasterfrom
container_of-fix
Oct 26, 2020
Merged

Improve container_of hack support#114
sim642 merged 3 commits intomasterfrom
container_of-fix

Conversation

@sim642
Copy link
Copy Markdown
Member

@sim642 sim642 commented Oct 19, 2020

Subtracting an offsetof (which CIL gives constant-folded?) from a field pointer will cancel the field and give a pointer to the struct, instead of appending a useless unknown index offset after a field offset.

@sim642 sim642 added feature sv-comp SV-COMP (analyses, results), witnesses labels Oct 19, 2020
@sim642 sim642 merged commit ca2d4e4 into master Oct 26, 2020
@sim642 sim642 deleted the container_of-fix branch October 26, 2020 09:40
@sim642 sim642 added this to the SV-COMP 2021 milestone Nov 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature sv-comp SV-COMP (analyses, results), witnesses

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant