Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
(
c2rust-analyze
) Support ptr-to-ptr casts between safely transmutable types, for now limited to same-sized integers #839(
c2rust-analyze
) Support ptr-to-ptr casts between safely transmutable types, for now limited to same-sized integers #839Changes from all commits
81d4e46
68461db
da4d961
62ec8dc
0d88d7a
a148146
26a4275
eae9234
fe926ea
182b0b5
32ca464
9a7c501
0c9d0ac
2d45f80
14824a1
95767c3
e41cec1
2915b8d
11bf351
65e5140
44ac9f4
4bbb306
720c2fb
df1d63d
b15e24e
6ea8a7e
1fd669c
a73e64d
435e399
1317e03
60a4376
9b43bd6
355b56b
7f87dc1
31baf0a
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing