GeezerVison is showing github.com — gh-111178: fix UBSan failures in `Modules/overlapped.c` by picnixz · Pull Request #129786 · python/cpython
Conversation
picnixz
commented
Feb 7, 2025
•
edited by bedevere-app
Bot
Loading
Uh oh!
There was an error while loading. Please reload this page.
This PR fixes the UBSan failures and addresses some minor cosmetic changes. PEP-7 changes were not applied since they could scramble the diff but other semantic changes affecting the signature of touched functions may have been done.
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
|
There seems to be a Windows warning that I didn't see as it was in a non-compiled section for me.
|
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
|
Yeah, the whole file overlapped.c is only compiled on Windows platforms.
To get rid of the warnings, I think, all those Overlapped_clear(self) can replaced with (void)Overlapped_clear(op);, which you already did in one spot.
I assume, there you prefixed with (void) to suppress warnings like "unused return value"?
Maybe instead change the return type of Overlapped_clear to void, since it is static and its return type is never used?
|
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
|
No, the problem here is that self is not a PyObject * so I just need to change it in the functions that call Overlapped_Clear(). The unused return is not the problem (it's just that I fixed the file without any IDE help...)
|
chris-eibl reacted with thumbs up emoji
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
|
Sure! Having another thought, then maybe not change Overlapped_Clear() to take a PyObject *, i.e. keep it unchanged and all of its occurrences wouldn't have to be touched and the PR could be kept smaller?
Is this possible?
|
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
Sure! Having another thought, then maybe not change Overlapped_Clear() to take a PyObject *, i.e. keep it unchanged and all of its occurrences wouldn't have to be touched and the PR could be kept smaller?
No that's the problem of the PR. The signature of the clear function must be int (*)(PyObject *) and not int (*)(OverlappedObject *). What I'm trying to fix are undefined behaviours reported by clang (currently, those are suppressed because we are adding an explicit cast, but we don't want that to be kept)
|
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
chris-eibl
commented
Feb 8, 2025
•
edited
Loading
Uh oh!
There was an error while loading. Please reload this page.
|
Yeah, I know. But AFAICT Overlapped_clear() is not used in OverlappedType.tp_clear, so there shouldn't be a problem?
It is used here only as an internal static function and can always get the OverlappedObject *self = OverlappedObject_CAST(op); parameter?
In contrast to e.g. Overlapped_dealloc, which of course needs this fix ...
|
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
|
OH! There wasn't an issue with the clear! I... missed the comment... oook. I'll improve the comment as well and will shorten the PR. My bad! Thanks for noticing this!
|
chris-eibl reacted with thumbs up emoji
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
|
Oh that looks so much nicer now :)
Sorry for expressing myself clumsy in the first place. I am not a native English speaker.
Your UBSan fixes are a great work towards a better code base and a lot of effort!
Thank you very much for all of them!
|
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Assignees
No one assigned
Milestone
No milestone
Development
Successfully merging this pull request may close these issues.
Uh oh!
There was an error while loading. Please reload this page.
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.
|