RESOLVED MOVED 177172
WSL CFG analysis framework should know how to handle the interaction between continue, break, loops, and switches 
https://bugs.webkit.org/show_bug.cgi?id=177172
Summary WSL CFG analysis framework should know how to handle the interaction between ...
Filip Pizlo
Reported 2017-09-19 11:16:21 PDT
I think this means using a visitor to extract a CFG and then analyzing the CFG. We could make the CFG extractor reusable.
Attachments
Add attachment proposed patch, testcase, etc.
Filip Pizlo
Comment 1 2017-09-19 11:19:12 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.
Myles C. Maxfield
Comment 2 2018-08-29 17:08:13 PDT
"and then analyzing the CFG" And doing what with it?
Myles C. Maxfield
Comment 3 2018-10-13 19:34:26 PDT
Migrated to https://github.com/gpuweb/WHLSL/issues/179
Note You need to log in before you can comment on or make changes to this bug.