C语言中是什么控制着函数嵌套调用

jyhhappyjyh

最近遇到个问题，大致是这样的：
函数A()中调用函数B()，函数B()调用函数C()程序就跑飞了；
而将C()的所有实现在函数B()中实现，功能都正常！
我想，代码肯定是没有问题的，编译ok。
我想知道是什么控制着函数嵌套的次数？

MMMIX

回复 1# jyhhappyjyh


    在 C 中，只要你的棧夠大，函數可以一直嵌套下去。你的問題，恐怕還是在你覺得肯定沒問題的地方，也即你的代碼寫的有問題，例如在 C() 中把棧破壞了。

jyhhappyjyh

回复 2# MMMIX


    应该不是代码的问题！因为我在进函数的一开始就加入了调试，结果没有执行！
在进入C代码之前我给SP分配了8K的空间，应该是能满足我这点代码的要求了！
我唯一怀疑的是不是链接脚本中有哪里可以修改的？

1. 
   
2. OUTPUT_FORMAT("elf32-bigmips", "elf32-bigmips",
   
3.               "elf32-littlemips")
   
4. 
   
5. OUTPUT_ARCH(mips:isa32)
   
6. SEARCH_DIR(/opt/test)
   
7. ENTRY(_start)
   
8. 
   
9. MEMORY
   
10. {
    
11.         ram        : ORIGIN = 0x80060000 , LENGTH = 0x7ff00000
    
12. }
    
13. 
    
14. SECTIONS
    
15. {
    
16.         . = 0x80060000;
    
17.     .interp ALIGN (0x4) : { *(.interp) } > ram
    
18.         .hash : AT ((LOADADDR (.interp) + SIZEOF (.interp) + 0x40 - 1) & ~ (0x40 - 1)) { *(.hash) } > ram
    
19.         .dynsym : AT ((LOADADDR (.hash) + SIZEOF (.hash) + 0x40 - 1) & ~ (0x40 - 1)) { *(.dynsym) } > ram
    
20.         .dynstr : AT ((LOADADDR (.dynsym) + SIZEOF (.dynsym) + 0x40 - 1) & ~ (0x40 - 1)) { *(.dynstr) } > ram
    
21.         .gnu.version : AT ((LOADADDR (.dynstr) + SIZEOF (.dynstr) + 0x40 - 1) & ~ (0x40 - 1)) { *(.gnu.version) } > ram
    
22.         .gnu.version_d : AT ((LOADADDR (.gnu.version) + SIZEOF (.gnu.version) + 0x40 - 1) & ~ (0x40 - 1)) { *(.gnu.version_d) } > ram
    
23.         .gnu.version_r : AT ((LOADADDR (.gnu.version_d) + SIZEOF (.gnu.version_d) + 0x40 - 1) & ~ (0x40 - 1)) { *(.gnu.version_r) } > ram
    
24.         .plt : AT ((LOADADDR (.gnu.version_r) + SIZEOF (.gnu.version_r) + 0x40 - 1) & ~ (0x40 - 1)) { *(.plt) } > ram
    
25.     .rel.text : { *(.rel.text) *(.rel.text.*) *(.rel.gnu.linkonce.t*) } > ram
    
26.     .rela.text : { *(.rela.text) *(.rela.text.*) *(.rela.gnu.linkonce.t*) } > ram
    
27.     .rel.data : { *(.rel.data) *(.rel.data.*) *(.rel.gnu.linkonce.d*) } > ram
    
28.     .rela.data : { *(.rela.data) *(.rela.data.*) *(.rela.gnu.linkonce.d*) } > ram
    
29.     .rel.rodata : { *(.rel.rodata) *(.rel.rodata.*) *(.rel.gnu.linkonce.r*) } > ram
    
30.     .rela.rodata : { *(.rela.rodata) *(.rela.rodata.*) *(.rela.gnu.linkonce.r*) } > ram
    
31.     .rel.got : { *(.rel.got) } > ram .rela.got : { *(.rela.got) } > ram
    
32.     .rel.ctors : { *(.rel.ctors) } > ram .rela.ctors : { *(.rela.ctors) } > ram
    
33.     .rel.dtors : { *(.rel.dtors) } > ram .rela.dtors : { *(.rela.dtors) } > ram
    
34.     .rel.init : { *(.rel.init) } > ram .rela.init : { *(.rela.init) } > ram
    
35.     .rel.fini : { *(.rel.fini) } > ram .rela.fini : { *(.rela.fini) } > ram
    
36.     .rel.bss : { *(.rel.bss) } > ram .rela.bss : { *(.rela.bss) } > ram
    
37.     .rel.plt : { *(.rel.plt) } > ram .rela.plt : { *(.rela.plt) } > ram
    
38.     .rel.dyn : { *(.rel.dyn) } > ram
    
39.     .jcr ALIGN (0x4) : { . = .; *(.jcr) } > ram
    
40.     .init ALIGN (0x4) : { . = .; KEEP (*(.init)) } > ram =0
    
41.     .text ALIGN (0x4) : { _stext = .; _ftext = . ; *(.text) *(.text.*)  *(.stub) *(.gnu.warning) *(.gnu.linkonce.t*) *(.mips16.fn.*) *(.mips16.call.*) } > ram =0 _etext = .; PROVIDE (etext = .);
    
42.     .fini ALIGN (0x4) : { . = .; KEEP (*(.fini)) } > ram =0
    
43.     .rodata ALIGN (0x8) : { . = .; *(.rodata) *(.rodata.*) *(.gnu.linkonce.r*) } > ram
    
44.     .rodata1 ALIGN (0x8) : { . = .; *(.rodata1) *(.rodata1.*) } > ram
    
45.     .data ALIGN (0x8) : { __ram_data_start = ABSOLUTE (.); _fdata = . ; *(.data) *(.data.*) *(.gnu.linkonce.d*) *( .2ram.*) . = ALIGN (8); SORT(CONSTRUCTORS) } > ram __rom_data_start = LOADADDR(.data);
    
46.     .data1 ALIGN (0x8) : { . = .; *(.data1) *(.data1.*) } > ram
    
47.     .eh_frame ALIGN (0x4) : { . = .; *(.eh_frame) } > ram
    
48.     .gcc_except_table ALIGN (0x4) : { . = .; *(.gcc_except_table) } > ram
    
49.     .ctors ALIGN (0x4) : { . = .; KEEP (*crtbegin.o(.ctors)) __CTOR_LIST__ = .; PROVIDE (__CTOR_LIST__ = .); KEEP (*(EXCLUDE_FILE (*crtend.o) .ctors)) KEEP (*(SORT(.ctors.*))) KEEP (*(.ctors)) __CTOR_END__ = .; PROVIDE (__CTOR_END__ = .); } > ram
    
50.     .dtors ALIGN (0x4) : { . = .; KEEP (*crtbegin.o(.dtors)) __DTOR_LIST__ = .; PROVIDE (__DTOR_LIST__ = .); KEEP (*(EXCLUDE_FILE (*crtend.o) .dtors)) KEEP (*(SORT(.dtors.*))) KEEP (*(.dtors)) __DTOR_END__ = .; PROVIDE (__DTOR_END__ = .); } > ram
    
51.     .devtab ALIGN (0x4) : { . = .; KEEP(*( SORT (.ecos.table.*))) ; } > ram
    
52.     _gp = ALIGN(16) + 0x7ff0; .got ALIGN (0x4) : { . = .; *(.got.plt) *(.got) } > ram
    
53.     .dynamic ALIGN (0x4) : { . = .; *(.dynamic) } > ram
    
54.     .sdata ALIGN (0x4) : { . = .; *(.sdata) *(.sdata.*) *(.gnu.linkonce.s*) } > ram
    
55.     .lit8 ALIGN (0x8) : { . = .; *(.lit8) } > ram
    
56.     .lit4 : AT ((LOADADDR (.lit8) + SIZEOF (.lit8) + 0x40 - 1) & ~ (0x40 - 1)) { . = .; *(.lit4) } > ram __ram_data_end = .; _edata = . ; PROVIDE (edata = .);
    
57.     _fbss = .; .sbss ALIGN (0x8) : { . = .; *(.dynsbss) *(.sbss) *(.sbss.*) *(.scommon) } > ram
    
58.     .bss ALIGN (0x8) : {__bss_start = .; *(.dynbss) *(.bss) *(.bss.*) *(COMMON) } > ram __bss_end = .;
    
59.     __heap1 = ALIGN (0x8);
    
60.     . = ALIGN(4);
    
61.         _end = .;
    
62.         PROVIDE (end = .);
    
63.         .stab 0 : { *(.stab) }
    
64.         .stabstr 0 : { *(.stabstr) }
    
65.         .stab.excl 0 : { *(.stab.excl) }
    
66.         .stab.exclstr 0 : { *(.stab.exclstr) }
    
67.         .stab.index 0 : { *(.stab.index) }
    
68.         .stab.indexstr 0 : { *(.stab.indexstr) }
    
69.         .comment 0 : { *(.comment) }
    
70.         .debug 0 : { *(.debug) }
    
71.         .line 0 : { *(.line) }
    
72.         .debug_srcinfo 0 : { *(.debug_srcinfo) }
    
73.         .debug_sfnames 0 : { *(.debug_sfnames) }
    
74.         .debug_aranges 0 : { *(.debug_aranges) }
    
75.         .debug_pubnames 0 : { *(.debug_pubnames) }
    
76.         .debug_info 0 : { *(.debug_info) }
    
77.         .debug_abbrev 0 : { *(.debug_abbrev) }
    
78.         .debug_line 0 : { *(.debug_line) }
    
79.         .debug_frame 0 : { *(.debug_frame) }
    
80.         .debug_str 0 : { *(.debug_str) }
    
81.         .debug_loc 0 : { *(.debug_loc) }
    
82.         .debug_macinfo 0 : { *(.debug_macinfo) }
    
83.         .debug_weaknames 0 : { *(.debug_weaknames) }
    
84.         .debug_funcnames 0 : { *(.debug_funcnames) }
    
85.         .debug_typenames 0 : { *(.debug_typenames) }
    
86.         .debug_varnames 0 : { *(.debug_varnames) }
    
87.         .gptab.sdata : { *(.gptab.data) *(.gptab.sdata) }
    
88.         .gptab.sbss : { *(.gptab.bss) *(.gptab.sbss) }
    
89.         /DISCARD/ 0 : { *(.mdebug) }
    
90. }

复制代码

crazyhadoop

回复 3# jyhhappyjyh


    你这么发，错误不好找吧，一楼说的很有道理，C返回的时候把栈破坏了。你可以把ABC 贴出来看看~~

MMMIX

回复  MMMIX


    应该不是代码的问题！因为我在进函数的一开始就加入了调试，结果没有执行！
在进入 ...
jyhhappyjyh 发表于 2011-09-03 18:01

    在找到確實的問題之前，不要輕易的下結論，這樣往往是堵塞了自己的思路，平白的浪費許多時間。那種「我肯定自己的代碼沒問題，結果查下來恰恰是自己代碼有問題」的情況我已經碰到過很多次了。

duanjigang

有个方法验证下就知道问题在不在自己了,把代码实现全注释掉

1. 
   
2. 
   
3. void fa()
   
4. {
   
5.    /**/
   
6. }
   
7. 
   
8. void fb()
   
9. {
   
10.    fa()  
    
11. /**/
    
12. }
    
13. void fc()
    
14. {
    
15.   fb()
    
16. /**/
    
17. }
    

复制代码

jyhhappyjyh

回复 5# MMMIX


    谢谢MMMIX兄的建议！

jyhhappyjyh

回复 6# duanjigang


    我把我的代码全部去掉，只留下调试的一部分。
我把代码全部贴出来，大家看看！
首先，在进入C代码之前初始化gp和sp：
boot.S

1. #include "mipsdef.h"
   
2. 
   
3. #define CYGNUM_HAL_COMMON_INTERRUPTS_STACK_SIZE 8092
   
4. ##-----------------------------------------------------------------------------
   
5. ## Startup code
   
6.         .text
   
7.        
   
8. FUNC_START(_start)
   
9.         # Load Global Pointer register.
   
10.         la        gp,_gp
    
11. 
    
12.         # load initial stack pointer
    
13.         la        a0,__interrupt_stack
    
14.         move        sp,a0
    
15. 
    
16.         #clear bss
    
17.        
    
18. 
    
19. 
    
20.         # Call c_main       
    
21. 
    
22.         .extern        c_main
    
23.         j         c_main
    
24.     lui     ra,0
    
25.        
    
26. FUNC_END(_start)
    
27. 
    
28.         .bss       
    
29.         .balign 16
    
30.         .rept CYGNUM_HAL_COMMON_INTERRUPTS_STACK_SIZE
    
31.         .byte 0
    
32.         .endr
    
33. __interrupt_stack:
    
34. 
    
35.         .long        0,0,0,0,0,0,0,0
    

复制代码

接下来进入C函数main.c：

1. /**************************************************
   
2. *
   
3. *  Main C entry point
   
4. *
   
5. **************************************************/
   
6. #include "ag7100.h"
   
7. 
   
8. extern void fa(void);
   
9. extern void fb(void);
   
10. extern void fc(void);
    
11. extern void fd(void);
    
12.        
    
13. void c_main(void)
    
14. {
    
15.         ar7100_reg_wr(AR7100_GPIO_OE, ar7100_reg_rd(AR7100_GPIO_OE)|(1<<1)|(1<<0) );
    
16.         fa();
    
17. }

复制代码

fa()、fb()、fc()和fd()在下一级目录test中的test.c中：

1. void fd(void)
   
2. {
   
3.         ;
   
4. }
   
5. 
   
6. void fc(void)
   
7. {
   
8.         fd();
   
9. }
   
10. 
    
11. void fb(void)
    
12. {
    
13.         fc();
    
14. }
    
15. 
    
16. void fa(void)
    
17. {
    
18.         ar7100_reg_wr(AR7100_GPIO_OUT, ar7100_reg_rd(AR7100_GPIO_OUT)^(1<<1));
    
19.         fb();
    
20. }
    

复制代码

这里的ag7100_reg_wr()是一个宏，用于写GPIO寄存器，点亮一个led
主Makefile如下：

1. #####################################################
   
2. #
   
3. #
   
4. # JYH added to compile main.c
   
5. #
   
6. #
   
7. #####################################################
   
8. 
   
9. INSTALL_DIR        = /home/extend/export/atheros/build/mipsisa32-elf
   
10. COMMAND_PREFIX     = mipsisa32-elf-
    
11. HEADER_DIR                   = $(shell pwd)/include
    
12. 
    
13. 
    
14. XCC           = $(INSTALL_DIR)/bin/$(COMMAND_PREFIX)gcc
    
15. XLD           = $(INSTALL_DIR)/bin/$(COMMAND_PREFIX)ld
    
16. 
    
17. CFLAGS        = -I$(INSTALL_DIR)/include -I$(INSTALL_DIR)/3.2.1/include -I$(HEADER_DIR)
    
18. LDFLAGS       = -L$(INSTALL_DIR)/lib -static
    
19. OBJECTS       = boot.o main.o test.o
    
20. 
    
21. export XCC
    
22. export XLD
    
23. export CFLAGS
    
24. export LDFLAGS
    
25. 
    
26. LDFLAGS       += -T $(shell pwd)/target.ld
    
27. # RULES
    
28. 
    
29. .PHONY: all clean
    
30. 
    
31. all:MTest
    
32. 
    
33. MTest:$(OBJECTS)
    
34.         $(XLD) -o $@ $^ $(LDFLAGS)
    
35. 
    
36. boot.o: boot.S
    
37.         $(XCC) $(CFLAGS) -o $@ -c $^ $(LDFLAGS)
    
38. 
    
39. main.o:main.c
    
40.         $(XCC) $(CFLAGS) -o $@ -c $^ $(LDFLAGS)
    
41. 
    
42. test.o:
    
43.         $(MAKE) -C test
    
44. 
    
45. clean:
    
46.         -rm -f MTest *.o

复制代码

进入test目录之后的Makefile为：

1. #####################################################
   
2. #
   
3. #
   
4. # JYH added to compile test.c
   
5. #
   
6. #
   
7. #####################################################
   
8. 
   
9. LDFLAGS       += -G0
   
10. 
    
11. .PHONY: test.o
    
12. 
    
13. test.o:test.c
    
14.         $(XCC) $(CFLAGS) -o test.o $< $(LDFLAGS)
    
15.         mv test.o ../

复制代码

现在的现象是:
1. 如果将点亮led放在fa()中，小灯可以被成功的点亮，如果将点灯放入fb()中，fb()由fa()调用，小灯不能被点亮！
2. 如果将fa()、fb()、fc()和fd()都放在main.c中，则小灯均会被点亮，函数调用正常！

我开始怀疑是我的Makefile最后的链接写得有问题，请高手指导一下！
(我编译的时候提示 warning: cannot find entry symbol _start; defaulting to 0000000080060028
)

jyhhappyjyh

回复 4# crazyhadoop


    请 crazyhadoop 兄也帮忙再看看！代码和最新的现象我贴在上面了！

jyhhappyjyh

回复 5# MMMIX


    请MMMIX 再帮忙看看！谢谢！