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