scc

 1double vec[] = {
 2	-0.7,
 3	+0.7,
 4};
 5
 6int
 7main(void)
 8{
 9	return vec[0] == 0.0 || vec[1] == 0.0;
10}