Page MenuHomeFreeBSD

tree(3): allow the compare function to return any signed type
ClosedPublic

Authored by glebius on Jul 6 2022, 9:20 AM.
Tags
None
Referenced Files
Unknown Object (File)
Wed, Aug 26, 6:05 PM
Unknown Object (File)
Mon, Aug 24, 7:47 PM
Unknown Object (File)
Mon, Aug 24, 7:36 PM
Unknown Object (File)
Mon, Aug 24, 6:20 PM
Unknown Object (File)
Mon, Aug 24, 9:27 AM
Unknown Object (File)
Fri, Aug 21, 7:29 PM
Unknown Object (File)
Wed, Aug 19, 11:30 PM
Unknown Object (File)
Tue, Aug 18, 7:51 PM
Subscribers

Details

Summary

This allows to write very short comparison function when we are
comparing just pointer values:

return ((intptr_t)((uintptr_t)a->ptr - (uintptr_t)b->ptr));

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

How portable is __typeof? Is it in a standard now, or sometime soon?

How portable is __typeof? Is it in a standard now, or sometime soon?

AFAIK, it is not part of standard, yet. The point is that tree.h already requires it for RB_PARENT :)

Point taken on __typeof.

In your example of use

return ((intptr_t)((uintptr_t)a->ptr - (uintptr_t)b->ptr));

can overflow, but (assuming that ptr points to something bigger than char)

return ((intptr_t)((uintptr_t)a->ptr/2 - (uintptr_t)b->ptr/2));

does not. Otherwise, it's okay by me.

This revision is now accepted and ready to land.Jul 6 2022, 6:36 PM

Good point. Maybe /2 of the result of the difference.

Good point. Maybe /2 of the result of the difference.

No, it needs to be done before the subtraction, as Doug wrote it.

Yep, now I also see it. Thanks!