-
Notifications
You must be signed in to change notification settings - Fork 664
spirv-opt assertion failure related to OpCopyObject #3547
Copy link
Copy link
Closed
Labels
component:optimizationfuzzer-found-issueA note that an issue was found using a fuzzer tool (e.g. GraphicsFuzz)A note that an issue was found using a fuzzer tool (e.g. GraphicsFuzz)
Description
spirv-opt with -O fails with:
spirv-opt: ../source/opt/def_use_manager.cpp:61: void spvtools::opt::analysis::DefUseManager::AnalyzeInstUse(spvtools::opt::Instruction*): Assertion `def && "Definition is not registered."' failed.
The SPIR-V applies OpCopyObject to an id with void type, which is a dumb thing to do but valid according to the current spec.
Issue found using spirv-fuzz.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
component:optimizationfuzzer-found-issueA note that an issue was found using a fuzzer tool (e.g. GraphicsFuzz)A note that an issue was found using a fuzzer tool (e.g. GraphicsFuzz)