Summary: | WSL CFG analysis framework should know how to handle the interaction between continue, break, loops, and switches | ||
---|---|---|---|
Product: | WebKit | Reporter: | Filip Pizlo <fpizlo> |
Component: | WebGPU | Assignee: | Nobody <webkit-unassigned> |
Status: | RESOLVED MOVED | ||
Severity: | Normal | CC: | mmaxfield |
Priority: | P2 | ||
Version: | WebKit Nightly Build | ||
Hardware: | All | ||
OS: | All | ||
Bug Depends on: | |||
Bug Blocks: | 176199 |
Description
Filip Pizlo
2017-09-19 11:16:21 PDT
I think we should disallow case fall-through in switch statements. This means ensuring that all paths down a case end in a break. For now, I'm implementing C semantics, which treat fallthrough as a feature. "and then analyzing the CFG" And doing what with it? Migrated to https://github.com/gpuweb/WHLSL/issues/179 |