-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Open
Labels
area: correctnessWe're behaving incorrectlyWe're behaving incorrectlyarea: wsiIssues with swapchain management or windowingIssues with swapchain management or windowingbackend: glesIssues with GLES or WebGLIssues with GLES or WebGLplatform: linuxLinux Specific IssuesLinux Specific Issuesplatform: waylandIssues with integration with linux/waylandIssues with integration with linux/waylandplatform: windowsIssues with integration with windowsIssues with integration with windowsplatform: x11Issues with integration with linux/x11Issues with integration with linux/x11type: bugSomething isn't workingSomething isn't working
Description
Description
@MarijnS95 and I have determined that, in at least one case, the current WGL and EGL GLES backends are unsound, because conditions for safely conflict with the Soundness Property.
Repro steps
Will defer to @MarijnS95.
Expected vs observed behavior
These APIs should be sound, meaning that it is impossible for safe Rust to provoke UB or other memory unsafety.
Metadata
Metadata
Assignees
Labels
area: correctnessWe're behaving incorrectlyWe're behaving incorrectlyarea: wsiIssues with swapchain management or windowingIssues with swapchain management or windowingbackend: glesIssues with GLES or WebGLIssues with GLES or WebGLplatform: linuxLinux Specific IssuesLinux Specific Issuesplatform: waylandIssues with integration with linux/waylandIssues with integration with linux/waylandplatform: windowsIssues with integration with windowsIssues with integration with windowsplatform: x11Issues with integration with linux/x11Issues with integration with linux/x11type: bugSomething isn't workingSomething isn't working
Type
Projects
Status
Todo