bison(yacc) 문법 오류 질문

Question

안녕하세요, 제가 변수 선언 코드를 파싱하는 문법 오류를 수정하고 있는데, 이해가 안 가서 글을 써봅니다 ㅜㅜ 일단 파싱하려는 문자열은 아래와 같습니다. signed int c1;unsigned int c2; signed와 unsigned를 구분해서 선언한 변수의 타입을 따로 저장해두고 싶어서 아래처럼 문법을 짰습니다.simple_type: opt_sign opt_sign_type opt_sign: SQL_SIGNED | SQL_UNSIGNED | /* EMPTY */ ; opt_sign_type: SQL_SHORT | SQL_SHORT INT | INT | SQL_LONG | SQL_LONG INT | SQL_LONG SQL_LONG | SQL_LONG SQL_LONG IN | SQL_BOOL | BYTE | CHAR | SQL_CONTEXT | STRING | CCILEN | VARCHAR ; 변수명은 type 종류가 simple_type 문법만 있는 게 아니라 struct_type 등도 있어서 더 상위에 정의가 되어 있습니다. type 종류는 아래처럼 있습니다.type: simple_type | struct_type | struct_nType | union_type | enum_type | ident ; ident: IDENT ; 여기서 문제가 되는 게, signed int는 의도대로 simple_type 문법을 타는데, unsigned int는 simple_type이 아니라 IDENT 문법을 타게 됩니다. 어째서인지 IDENT라는 토큰에 대한 정의가 따로 없긴 한데, 맥락상 정의된 키워드가 아닌 문자열은 모두 IDENT로 빠지는 것 같았습니다. SQL_SIGNED와 SQL_UNSIGNED 둘 다 똑같은 방식으로 제대로 정의되어 있고, ident 문법 동작에서 IDENT($1)를 출력해봤을 때 &#34;unsigned&#34;로 딱히 철자가 틀리지도 않았습니다. signed는 정상적으로 동작하는데 왜 unsigned는 갑자기 IDENT로 빠져버리는 걸까요? ㅜㅜ

bison(yacc) 문법 오류 질문

0개의 답변

Q&A 목록