blob: daa4a15481247d400a2d37abe56ea7064b40a171 [file] [log] [blame]
#include <metal_stdlib>
using namespace metal;
#define TINT_ISOLATE_UB(VOLATILE_NAME) \
{volatile bool VOLATILE_NAME = false; if (VOLATILE_NAME) break;}
int f() {
int i = 0;
int j = 0;
{
while(true) {
TINT_ISOLATE_UB(tint_volatile_false)
i = as_type<int>((as_type<uint>(i) + as_type<uint>(1)));
if ((i > 4)) {
return 1;
}
{
while(true) {
TINT_ISOLATE_UB(tint_volatile_false_1)
j = as_type<int>((as_type<uint>(j) + as_type<uint>(1)));
if ((j > 4)) {
return 2;
}
{
}
continue;
}
}
/* unreachable */
}
}
/* unreachable */
}