1*c8dee2aaSAndroid Build Coastguard Workeruniform half4 colorGreen, colorRed; 2*c8dee2aaSAndroid Build Coastguard Worker 3*c8dee2aaSAndroid Build Coastguard Workerhalf4 main(float2 xy) { 4*c8dee2aaSAndroid Build Coastguard Worker int one = int(colorGreen.g); 5*c8dee2aaSAndroid Build Coastguard Worker int zero = int(colorGreen.r); 6*c8dee2aaSAndroid Build Coastguard Worker int undefined = (one / zero) + (zero / zero); 7*c8dee2aaSAndroid Build Coastguard Worker 8*c8dee2aaSAndroid Build Coastguard Worker // We have to use the result somehow, in order to prevent dead-code elimination. 9*c8dee2aaSAndroid Build Coastguard Worker return (undefined != 9876543) ? colorGreen : colorRed; 10*c8dee2aaSAndroid Build Coastguard Worker} 11