현재 위치

홈 ›› Forums ›› 공부 ›› 프로그래밍 QnA

GCC 가 좀더 강력한 문법 검사를 하게 하려면 어떻게 해야 하나

이한길의 이미지
글쓴이: 이한길 / 작성시간: 목, 2004/12/09 - 2:25오후

오늘 GCC로 숙제를 하는데 문제가 있었습니다...
이를테면...

void test()

void test_a(int a)
{
...
test(a-1);
...
}

void test()
{
test_a(10);
}

뭐.. 이런 식이었는데..
보면 당연히 문법적인 에러가 나와야 하는데..
안나오고 컴파일이 되고 실행도 되더라구요..
그리고 한참 돌다가 세그먼테이션 폴트~

이런거 검사 해줘야 하는거 아닌가요?
혹시 방법이 있을까요?

부탁드립니다.

Forums: 
프로그래밍 QnA
icanfly의 이미지

글쓴이: icanfly / 작성시간: 목, 2004/12/09 - 2:34오후

이상하네요 저는 에러가 나는데...

Quote:

kldp_infinite.c: In function `test_a':
kldp_infinite.c:5: error: too many arguments to function `test'

이렇게 나옵니다. gcc 버전은 3.3.2 군요.

Necromancer의 이미지

글쓴이: Necromancer / 작성시간: 목, 2004/12/09 - 3:45오후

-Wall 추가해보세요

Written By the Black Knight of Destruction

체스맨의 이미지

글쓴이: 체스맨 / 작성시간: 목, 2004/12/09 - 6:31오후

리커젼 되는 코드인데 문법상 오류가 있나요?
리커젼을 종료시키는 건 개발자의 의무인데요...

Orion Project : http://orionids.org

Prentice의 이미지

글쓴이: Prentice / 작성시간: 목, 2004/12/09 - 6:55오후

-Wall말고 -pedantic이라는 것도 있어요.

-pedantic -W -Wall -Wshadow -Wpointer-arith -Wcast-align -Waggregate-return -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -Wnested-externs -Werror -Wno-unused

리커젼은 모르겠지만, 컴파일러의 입맛을 까다롭게 하기 위해 저런 옵션을 쓰는 사람도 있나 봅니다. GCC 문서를 찬찬히 뜯어 보시면 유익(?)하지 않을까 싶습니다.

http://gcc.gnu.org/onlinedocs/

icanfly의 이미지

글쓴이: icanfly / 작성시간: 목, 2004/12/09 - 9:35오후

test_a()함수 안에서 test() 함수에 인자를 넘기는데 문법 오류입니다.

먼가 내용 전달에 착오가 있는듯 하군요.

무한호출때문에 글은 남기신건지 아니면 제가 본거처럼 함수 인자 문제인지..

하여튼 위에 예는 에러가 있습니다.

사실은 저도 리커전이라고 생각하고 오류가 없다고 하려고 했는데..

직접 gcc로 돌려보고나서 알았습니다. -_-;

체스맨의 이미지

글쓴이: 체스맨 / 작성시간: 목, 2004/12/09 - 9:56오후

저도 함수 인자를 보긴 했습니다만, 그냥 의사 코드 정도로 받아들였습니다.
애초에 test 함수 선언에 인자를 명시하지 않았기 때문에, 몇개의 인자를 넣든
그것은 문법상에 오류가 아닙니다. 그리고, C 함수 호출 규약이라면, 몇개의
인자를 넣든 그자체만으로 실시간 오류가 발생하지 않습니다. 글쓰신대로라면
리커젼에 의한 스택 오버플로우로 죽은 것입니다. 어느쪽이든 컴파일러
문제는 아닙니다.

Orion Project : http://orionids.org

doldori의 이미지

글쓴이: doldori / 작성시간: 목, 2004/12/09 - 10:08오후

체스맨님 말씀이 맞습니다.

void test();

이것은 test 함수의 인자에 대한 정보는 알려지지 않았으며 인자에 대한 검사는
하지 않겠다는 뜻입니다. 따라서 실제로 test를 호출할 때 인자가 어떤 것이든,
인자의 갯수가 몇 개이든 적법한 것으로 처리합니다. 물론 매우 위험한 방식입니다.
어지간히 오래 된 코드가 아니면 이런 식으로 코딩을 하지는 않을 텐데요.
C99에서조차 backward compatibility 때문에 허용을 하면서도 구식(obsolete)
이라고 밝히고 있습니다. (쓰지 말라는 의미겠죠.)

오호라의 이미지

글쓴이: 오호라 / 작성시간: 목, 2004/12/09 - 11:08오후

[wirte solid code]란 책의 문구를 인용하자면...

그런 애매모호한 것들이 나오면 꼭...꼭...컴파일 개발자에게 알려주라고 하라군요. ^^;

나름대로 위의 구문은 에러가 안나는게 정상인거 같네요.

개인적으로 Recursive function류를 좋아라하고...

C의 강점인 자유도(?)를 잘 반영해주는거 같아서...

^^

Hello World.

이한길의 이미지

글쓴이: 이한길 / 작성시간: 금, 2004/12/10 - 1:51오후

전 리커전 할라고 한게 아니라요....
음...

void test();

이게 인자 검사를 안하겠다는 거였군요...
그러면..

void test(void);

이렇게 해주는게 맞나 보네요?

..

원래는 위 코드를 아래와 같이 하려다가 실수한 것이었습니다.

void test() 

void test_a(int a) 
{ 
... 
test_a(a-1); 
... 
} 

void test() 
{ 
test_a(10); 
}

올려놓고 보니 질문도 허접한데.. 답을 주셔서 감사합니다...
집에 가서 함 해봐야겠네요... ^^*

----
먼저 알게 된 것을 알려주는 것은 즐거운 일이다!
http://hangulee.springnote.com
http://hangulee.egloos.com

댓글 달기

텍스트 포맷에 대한 자세한 정보

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.