gcc에서 실수형은 반올림되어서 저장되나요?

gcc가 그런 것이 아니고, C 표준이 그렇게 되도록 정의하고 있습니다. 소수점 이하 몇 자리를 출력하라고 지시하지 않았을 때에는 default로 6 자리까지 출력합니다. 그리고, 이 값은 항상 반올림되어서 출력됩니다. [ISO/IEC C Standard 7.24.2.1 8]

혼동하신 것 같습니다.

실제 floating point number(실수)가 어떻게 표현되느냐와, printf()에서 어떻게 출력되느냐는 다른 문제입니다. 앞에서 제가 반올림된다고 쓴 것은, 실제 어떤 식으로 저장되느냐와는 상관없습니다. 단지 어떤 실수값을 printf()로 출력할 때, 반올림되어 출력된다는 뜻입니다.

참고로 실제 어떻게 표현되는지 알아봅시다:

$ cat tmp.c
int
main(void)
{
  float f;
  double d;
 
  return 0;
}
$ gcc -g3 tmp.c
$ gdb a.out

까지 실행한 다음,

(gdb) br main
Breakpoint 1 at 0x804834c: file tmp.c, line 9.
(gdb) r
Starting program: /some-path/a.out
 
Breakpoint 1, main () at tmp.c:9

위와 같이 main()에 breakpoint를 걸고 실행한 다음,

(gdb) p sizeof(float)
$1 = 4

즉, float이 4byte인 것을 확인하고,

(gdb) p f = 6.123456789123456
$2 = 6.12345695

float type 변수 f에 주어진 실수 값을 대입하고,

(gdb) x /tw &f
0xbff1d274:     01000000110000111111001101011100

그 값을 이진수로 출력하면, (여기서 'x'는 dump 명령 't'는 binary 출력, 'w'는 크기가 word, 즉 4 byte를 의미합니다.)

조금 더 실험하면,

(gdb) p f = 0
$3 = 0
(gdb) x /tw &f
0xbff1d274:     00000000000000000000000000000000
(gdb) p f = 0.01
$4 = 0.00999999978
(gdb) x /tw &f
0xbff1d274:     00111100001000111101011100001010
(gdb) quit
The program is running.  Exit anyway? (y or n) y
$ _

그럼 이만.