1 typedef float float4 __attribute__((ext_vector_type(4)));
stop()2 void stop() {}
a()3 int a() {
4   float4 f4 = {1, 2, 3, 4};
5   // break here
6   stop();
7   return 0;
8 }
9