[C언어] 이 차이좀 설명해주실분 계신가요?

sacredone의 이미지

char *test = NULL;
 
printf("%s\n", test);

위 코드의 결과는

segmantation Fault

char *test = NULL;
 
printf("%s", test);

위 코드의 결과는

(null)

설명좀 해주실분 계신가용?

bushi의 이미지

[bushi@rose net]$ echo "int main(){printf(\"%s\\n\", (void*)0);}" > x.c
[bushi@rose net]$ echo "int main(){printf(\"%s\", (void*)0);}" > y.c
[bushi@rose net]$ gcc -o x.s -S x.c
x.c: In function ‘main’:
x.c:1: warning: incompatible implicit declaration of built-in function ‘printf’
[bushi@rose net]$ gcc -o y.s -S y.c
y.c: In function ‘main’:
y.c:1: warning: incompatible implicit declaration of built-in function ‘printf’
[bushi@rose net]$ 
[bushi@rose net]$ diff -u x.s y.s
--- x.s	2012-09-27 19:14:04.528890547 +0900
+++ y.s	2012-09-27 19:14:10.503890580 +0900
@@ -1,4 +1,7 @@
-	.file	"x.c"
+	.file	"y.c"
+	.section	.rodata
+.LC0:
+	.string	"%s"
 	.text
 .globl main
 	.type	main, @function
@@ -7,8 +10,9 @@
 	movl	%esp, %ebp
 	andl	$-16, %esp
 	subl	$16, %esp
-	movl	$0, (%esp)
-	call	puts
+	movl	$0, 4(%esp)
+	movl	$.LC0, (%esp)
+	call	printf
 	leave
 	ret
 	.size	main, .-main
[bushi@rose net]$ 
익명 사용자의 이미지

흥미롭군요. \n으로 끝나는 문자열은 printf 대신 puts로 치환되는 건가요?

이런 최적화는 preprocessor 수준에서 일어나는건지 컴파일러 수준에서 일어나는건지 궁금하네요.

익명 사용자의 이미지

glibc-2.15-r2
Gentoo on x86_64

위 환경에서는

printf( "%s", NULL );
printf( "%s ", NULL );
printf( "%s\n", NULL );

모두 printf를 호출합니다.

아마 glibc버젼에 따라 다른 동작을 하지 않을까 싶습니다.

\n으로 끝나는 문자열은 printf 대신 puts로 치환되는 건가요?

제 추측으로는, \n뿐만이 아니라, format string이
오직 하나의 %s혹은 %c argument를 가지고 있고,
그 format string은 argument를 제외한, 어떠한 다른 character도 포함하지않으며
해당 argument의 내용과 길이가 컴파일 타임에 알려져있는가를 판단할것같습니다.

즉, 한번의 puts()/putc()로 치환할수 있으면 치환할것이고
그렇지 않으면, 그냥 printf()에 넘기지 않을까 생각이 드네요.

ymir의 이미지

gcc 는 몇몇 함수들에 대해서는 builtin 함수를 호출하는 경우가 있습니다.
-fno-builtin 관련 옵션을 보면 될 것 같네요.

http://www.acsu.buffalo.edu/~charngda/gcc_printf.html
http://nion.modprobe.de/blog/archives/680-gcc-and-printfputs-optimizations.html

되면 한다! / feel no sorrow, feel no pain, feel no hurt, there's nothing gained.. only love will then remain.. 『 Mizz 』

댓글 달기

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
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.