| uniform half4 colorGreen, colorRed; |
| uniform half unknownInput; // = 1 |
| |
| bool inside_while_loop() { |
| while (unknownInput == 123) { |
| return false; |
| } |
| return true; |
| } |
| |
| bool inside_infinite_do_loop() { |
| do { |
| return true; |
| } while (true); |
| } |
| |
| bool inside_infinite_while_loop() { |
| while (true) { |
| return true; |
| } |
| } |
| |
| bool after_do_loop() { |
| do { |
| break; |
| } while (true); |
| return true; |
| } |
| |
| bool after_while_loop() { |
| while (true) { |
| break; |
| } |
| return true; |
| } |
| |
| bool switch_with_all_returns() { |
| switch (int(unknownInput)) { |
| case 1: return true; |
| case 2: return false; |
| default: return false; |
| } |
| } |
| |
| bool switch_fallthrough() { |
| switch (int(unknownInput)) { |
| case 1: return true; |
| case 2: |
| default: return false; |
| } |
| } |
| |
| bool switch_fallthrough_twice() { |
| switch (int(unknownInput)) { |
| case 1: |
| case 2: |
| default: return true; |
| } |
| } |
| |
| bool switch_with_break_in_loop() { |
| switch (int(unknownInput)) { |
| case 1: for (int x=0; x<=10; ++x) { break; } |
| default: return true; |
| } |
| } |
| |
| bool switch_with_continue_in_loop() { |
| switch (int(unknownInput)) { |
| case 1: for (int x=0; x<=10; ++x) { continue; } |
| default: return true; |
| } |
| } |
| |
| bool switch_with_if_that_returns() { |
| switch (int(unknownInput)) { |
| case 1: if (unknownInput == 123) return false; else return true; |
| default: return true; |
| } |
| } |
| |
| bool switch_with_one_sided_if_then_fallthrough() { |
| switch (int(unknownInput)) { |
| case 1: if (unknownInput == 123) return false; |
| default: return true; |
| } |
| } |
| |
| half4 main(float2 coords) { |
| return inside_while_loop() && |
| inside_infinite_do_loop() && |
| inside_infinite_while_loop() && |
| after_do_loop() && |
| after_while_loop() && |
| switch_with_all_returns() && |
| switch_fallthrough() && |
| switch_fallthrough_twice() && |
| switch_with_break_in_loop() && |
| switch_with_continue_in_loop() && |
| switch_with_if_that_returns() && |
| switch_with_one_sided_if_then_fallthrough() ? colorGreen : colorRed; |
| } |