SKIP: FAILED

#include <metal_stdlib>
using namespace metal;

thread float t = 0.0f;
float2x3 m() {
  t = (t + 1.0f);
  return float2x3(float3(1.0f, 2.0f, 3.0f), float3(4.0f, 5.0f, 6.0f));
}
void f() {
  half2x3 v = half2x3(m());
}
program_source:4:14: error: program scope variable must reside in constant address space
thread float t = 0.0f;
             ^
program_source:10:11: warning: unused variable 'v' [-Wunused-variable]
  half2x3 v = half2x3(m());
          ^

