-
Notifications
You must be signed in to change notification settings - Fork 664
Add dead continue edges to CFG #2719
Copy link
Copy link
Closed
Labels
component:fuzzerRelates to the spirv-fuzz toolRelates to the spirv-fuzz tool
Description
Add a semantics preserving transformation to spirv-fuzz whereby branches to a loop's continue construct are added, but in a manner such that they are not executable at runtime.
Similar to the current "TransformationAddDeadBreak", and akin to the transformation in glsl-fuzz that does something similar for GLSL.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
component:fuzzerRelates to the spirv-fuzz toolRelates to the spirv-fuzz tool