글 읽기 - 컴파일러 최적화가 이상한것같습니다.

einsteins 4년 전 1

제가 제출한 코드중에 계속 틀렸다고 나와서 확인해보니까..

for 2중 루프 안에

동일한 if (num >= 4) break; 을 두번 써주었더니 뒤에있는놈이 사라진것처럼 동작합니다;;

루프를 못나오더군요;;

컴파일러 이상인가요;;

( if (map[temp_y][temp_x].num >= 4) break; // 루프를 못나옵니다. ) 이부분을 아에 못나오네요.

그냥 break; 안하고 return 하는 등 하면 해결됩니다.

#include <stdio.h> // 10시 00분 시작, 11시 45분 종료
#include <string.h>

int ym[5] = { 0, 0, 0, -1, 1 };
int xm[5] = { 0, 1, -1, 0, 0 };

typedef struct {
	int y;
	int x;
	int dir;
	int num;
}chess_info;

typedef struct {
	int arr[11];
	int num;
	int color;
}map_info;

volatile chess_info chess[11];
volatile map_info map[13][13];

int main(void)
{
	int i;
	int result = 0;
	int n, k;
	int y, x;
	int cnt = 0;
	int s, end;
	int temp_y, temp_x;
	int prev_y, prev_x, prev_num;
	int temp_dir;

	//freopen("input.txt", "r", stdin);

	memset(map, 0, sizeof(map));
	memset(chess, 0, sizeof(chess));

	scanf(" %d %d", &n, &k);

	for (y = 1; y <= n; y++)
	{
		for (x = 1; x <= n; x++)
		{
			scanf(" %d", &map[y][x].color);
		}
	}

	for (y = 1; y <= k; y++)
	{
		scanf(" %d %d %d", &chess[y].y, &chess[y].x, &chess[y].dir);
		map[chess[y].y][chess[y].x].arr[++map[chess[y].y][chess[y].x].num] = y;
		chess[y].num = 1;
	}

	for (cnt = 1; cnt <= 1000; cnt++)
	{
		for (i = 1; i <= k; i++)
		{

			prev_y = chess[i].y;
			prev_x = chess[i].x;
			prev_num = chess[i].num;
			temp_y = chess[i].y + ym[chess[i].dir];
			temp_x = chess[i].x + xm[chess[i].dir];

			if ((temp_y < 1 || temp_x < 1 || temp_y > n || temp_x > n) || map[temp_y][temp_x].color == 2)
			{
				switch (chess[i].dir)
				{
				case 1:
					temp_y = chess[i].y + ym[2];
					temp_x = chess[i].x + xm[2];
					temp_dir = 2;
					break;
				case 2:
					temp_y = chess[i].y + ym[1];
					temp_x = chess[i].x + xm[1];
					temp_dir = 1;
					break;
				case 3:
					temp_y = chess[i].y + ym[4];
					temp_x = chess[i].x + xm[4];
					temp_dir = 4;
					break;
				case 4:
					temp_y = chess[i].y + ym[3];
					temp_x = chess[i].x + xm[3];
					temp_dir = 3;
					break;
				}

				chess[i].dir = temp_dir;

				if ((temp_y < 1 || temp_x < 1 || temp_y > n || temp_x > n) || map[temp_y][temp_x].color == 2)
				{
					continue;
				}

			}

			if (map[temp_y][temp_x].color == 0)
			{
				for (s = prev_num; s <= (map[prev_y][prev_x].num); s++)
				{

					map[temp_y][temp_x].arr[++map[temp_y][temp_x].num] = map[prev_y][prev_x].arr[s];

					chess[map[prev_y][prev_x].arr[s]].y = temp_y;

					chess[map[prev_y][prev_x].arr[s]].x = temp_x;

					chess[map[prev_y][prev_x].arr[s]].num = map[temp_y][temp_x].num;

				}
				map[prev_y][prev_x].num = prev_num - 1;

			}
			else if (map[temp_y][temp_x].color == 1)
			{

				for (s = map[prev_y][prev_x].num; s >= prev_num; s--)
				{
					map[temp_y][temp_x].arr[++map[temp_y][temp_x].num] = map[prev_y][prev_x].arr[s];
					chess[map[prev_y][prev_x].arr[s]].y = temp_y;
					chess[map[prev_y][prev_x].arr[s]].x = temp_x;
					chess[map[prev_y][prev_x].arr[s]].num = map[temp_y][temp_x].num;
				}
				map[prev_y][prev_x].num = prev_num-1;

			}

			if (map[temp_y][temp_x].num >= 4) break;

			
		}

		if (map[temp_y][temp_x].num >= 4) break;        // 루프를 못나옵니다.
	}

	if (cnt > 1000)
	{
		result = -1;
	}
	else
	{
		result = cnt;
	}

	printf("%d \n", result);

	return 0;
}

Green55 4년 전 1

제출하신 코드를 그대로 올려주시는게 아니면 알 수가 없습니다.

einsteins 4년 전 0

수정하였습니다.

unused 4년 전 2

컴파일러 버그가 아닙니다. temp_y와 temp_x가 맵의 범위, 심지어는 배열의 범위(0부터 12)를 벗어나는 경우가 있어서 빠져나오지 않아야 할 루프도 빠져나오기 때문입니다.

참고로 컴파일러에 버그가 있는 경우는 거의 없습니다. 코드의 로직 버그인 경우가 대다수입니다.

einsteins 4년 전 0

이해했습니다. temp_y, temp_x가 초과되어서 for문 나오게되는데도 조건문 검색을하게되어 할당되지않는 메모리영역 건드네요.

댓글을 작성하려면 로그인해야 합니다.

문제

문제

출처

ICPC

컴파일러 최적화가 이상한것같습니다.

einsteins 4년 전 1

Green55 4년 전 1

einsteins 4년 전 0

unused 4년 전 2

einsteins 4년 전 0

Baekjoon Online Judge

채점 현황

문제

유저 대회

고등학교 대회

출처

대학교 대회

도움말