為什么不執行printf內部函數？

Question

以下代碼編譯並在GCC編譯器上運行。

#include <stdio.h>

 int arr[10];

 int func()
 {
      printf("In func\n");
      return 0;
 }

int main() 
{
    if (&arr[func()])
        printf("In main\n");
     return 0;
}

輸出：

In main

為什么不執行printf("In func\\n"); ？

Answer 1

最新gcc的各種組合似乎有一個細微的問題，無論是有意還是無意。 在Archlinux上最新的內核4.15.8上使用ver 7.3。 無論出於何種原因，對於main()生成的代碼，均會省略對func()的調用。 例如

$ gcc -S -masm=intel -o infunc2.asm infunc2.c

生成的程序集為：

$ cat infunc2.asm
        .file   "infunc2.c"
        .intel_syntax noprefix
        .text
        .comm   arr,40,32
        .section        .rodata
.LC0:
        .string "In func"
        .text
        .globl  func
        .type   func, @function
func:
.LFB0:
        .cfi_startproc
        push    rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        mov     rbp, rsp
        .cfi_def_cfa_register 6
        lea     rdi, .LC0[rip]
        call    puts@PLT
        mov     eax, 0
        pop     rbp
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE0:
        .size   func, .-func
        .section        .rodata
.LC1:
        .string "In main"
        .text
        .globl  main
        .type   main, @function
main:
.LFB1:
        .cfi_startproc
        push    rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        mov     rbp, rsp
        .cfi_def_cfa_register 6
        lea     rdi, .LC1[rip]
        call    puts@PLT
        mov     eax, 0
        pop     rbp
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE1:
        .size   main, .-main
        .ident  "GCC: (GNU) 7.3.0"
        .section        .note.GNU-stack,"",@progbits

請注意，對func()的調用在上面標記為.LFB0: 盡管存在main:和.LFB0:中存在"In func"字符串，但main:的過程根本不調用func或.LFB0: .LC0: 我懷疑這不是故意的行為。

例如，未經優化的簡單編譯-O0不會調用該函數，例如：

$ gcc -g -O0 -o bin/if2 infunc2.c
$ ./bin/if2
In main

更改代碼以存儲arr[func()]的地址確實會強制func() ，例如

#include <stdio.h>

int arr[10];

int func()
{
    printf ("In func\n");
    return 0;
}

int main (void)
{
    int *p = &arr[func()];
    if (p)
        printf("In main\n");
    return 0;
}

然后

$ gcc -Wall -Wextra -pedantic -std=gnu11 -Ofast -o bin/infunc infunc.c
$ ./bin/infunc
In func
In main

生成的程序集支持不同的行為：

$ gcc -S -masm=intel -o infunc.asm infunc.c

$ cat infunc.asm
        .file   "infunc.c"
        .intel_syntax noprefix
        .text
        .comm   arr,40,32
        .section        .rodata
.LC0:
        .string "In func"
        .text
        .globl  func
        .type   func, @function
func:
.LFB0:
        .cfi_startproc
        push    rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        mov     rbp, rsp
        .cfi_def_cfa_register 6
        lea     rdi, .LC0[rip]
        call    puts@PLT
        mov     eax, 0
        pop     rbp
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE0:
        .size   func, .-func
        .section        .rodata
.LC1:
        .string "In main"
        .text
        .globl  main
        .type   main, @function
main:
.LFB1:
        .cfi_startproc
        push    rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        mov     rbp, rsp
        .cfi_def_cfa_register 6
        sub     rsp, 16
        mov     eax, 0
        call    func
        cdqe
        lea     rdx, 0[0+rax*4]
        lea     rax, arr[rip]
        add     rax, rdx
        mov     QWORD PTR -8[rbp], rax
        cmp     QWORD PTR -8[rbp], 0
        je      .L4
        lea     rdi, .LC1[rip]
        call    puts@PLT
.L4:
        mov     eax, 0
        leave
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE1:
        .size   main, .-main
        .ident  "GCC: (GNU) 7.3.0"
        .section        .note.GNU-stack,"",@progbits

我希望我可以在這里提供一些合理的解釋，但是我只能對其進行記錄。 似乎我們需要與gcc名單上的人交談。

---

如果在“ if”內部的地址計算中丟棄了副作用

這似乎是gcc的回歸，它將取決於單個發行版是否應用了足夠的補丁來掩蓋它。 這是工作中的gcc錯誤。 錯誤84607

Answer 2

這是gcc錯誤（ ＃84607 ），已在gcc 7.3.1或更高版本中修復。

Answer 3

問題出在您的編譯上。 我用gcc編譯。 我這樣編譯您的文件：

gcc main.c -o prog
./prog
In func
In main

對我來說似乎很好。 如果使用與gcc不同的編譯器，請檢查有關如何使用編譯器進行編譯的過程。 我也用gcc 7.3