-
Notifications
You must be signed in to change notification settings - Fork 4
Open
Labels
A: infraProject infrastructure: build system, issues, servers, etc.Project infrastructure: build system, issues, servers, etc.P: majorMajor priority. "Normal" priority.Major priority. "Normal" priority.T: questionFurther information is requestedFurther information is requested
Description
GCC 15 adds a few nice things:
__builtin_stdc_rotate_leftand__builtin_stdc_rotate_right, letting us remove our manual implementations insrc/kernel/include/compiler.h, which don't actually work on e.g._BitInttypes.- The
counted_byattribute, which improves our ability to bounds-check things. See https://people.kernel.org/gustavoars/how-to-use-the-new-counted_by-attribute-in-c-and-linux for more on this.
How much does it suck for people using the devcontainer if we wanna force everyone to update? We could probably give a good error in src/kernel/include/compiler.h, at least.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
A: infraProject infrastructure: build system, issues, servers, etc.Project infrastructure: build system, issues, servers, etc.P: majorMajor priority. "Normal" priority.Major priority. "Normal" priority.T: questionFurther information is requestedFurther information is requested