GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — gh-111178: fix UBSan failures in `Modules/overlapped.c` by picnixz · Pull Request #129786 · python/cpython

Conversation

@picnixz

@picnixz picnixz commented Feb 7, 2025 •
edited by bedevere-app Bot
Loading

Uh oh!

There was an error while loading. Please reload this page.

Copy link
Copy Markdown
Member

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.

  • Issue: UBSan: Calling a function through pointer to incorrect function type is undefined behavior #111178

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

All reactions
picnixz added 2 commits February 6, 2025 10:53
@picnixz
fix UBSan failures for OverlappedObject
3043f80
@picnixz
Merge remote-tracking branch 'upstream/main' into fix/ubsan/overlappe…
b6fdbb6
…d-111178
@picnixz picnixz added the skip news label Feb 7, 2025
@bedevere-app bedevere-app Bot mentioned this pull request Feb 7, 2025
UBSan: Calling a function through pointer to incorrect function type is undefined behavior #111178
Closed
@picnixz
picnixz marked this pull request as ready for review February 7, 2025 18:07
@bedevere-app bedevere-app Bot added the awaiting core review label Feb 7, 2025
@picnixz
picnixz marked this pull request as draft February 7, 2025 18:38
@bedevere-app bedevere-app Bot removed the awaiting core review label Feb 7, 2025
@picnixz

picnixz commented Feb 7, 2025

Copy link
Copy Markdown
Member Author

There seems to be a Windows warning that I didn't see as it was in a non-compiled section for me.

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@chris-eibl

chris-eibl commented Feb 8, 2025

Copy link
Copy Markdown
Member

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?

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@picnixz

picnixz commented Feb 8, 2025

Copy link
Copy Markdown
Member Author

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
All reactions
  • 👍 1 reaction

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@picnixz
fix compilation
39c7792
@chris-eibl

chris-eibl commented Feb 8, 2025

Copy link
Copy Markdown
Member

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?

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@picnixz

picnixz commented Feb 8, 2025

Copy link
Copy Markdown
Member Author

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)

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@chris-eibl

chris-eibl commented Feb 8, 2025 •
edited
Loading

Uh oh!

There was an error while loading. Please reload this page.

Copy link
Copy Markdown
Member

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 ...

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@picnixz

picnixz commented Feb 8, 2025

Copy link
Copy Markdown
Member Author

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
All reactions
  • 👍 1 reaction

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@picnixz
simplify the PR
4619843
@chris-eibl

chris-eibl commented Feb 8, 2025

Copy link
Copy Markdown
Member

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!

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@picnixz
picnixz marked this pull request as ready for review February 8, 2025 09:40
@bedevere-app bedevere-app Bot added the awaiting core review label Feb 8, 2025
@encukou
Merge branch 'main' into fix/ubsan/overlapped-111178
599b909
@encukou
encukou merged commit deac31d into python:main Feb 20, 2025
@bedevere-app bedevere-app Bot removed the awaiting core review label Feb 20, 2025
@picnixz
picnixz deleted the fix/ubsan/overlapped-111178 branch February 21, 2025 12:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

skip news

Projects

None yet

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.

3 participants

@picnixz @chris-eibl @encukou
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.
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.