Почему не выполняет функцию printf внутри?

Проблема в твоей компиляции. Я использую gcc для компиляции. Я скомпилировал ваш файл так:

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

Мне кажется, это хорошо. Проверьте процедуру компиляции с вашим компилятором, если вы используете компилятор, отличный от gcc. Также использую gcc 7.3

Кажется, есть тонкая проблема, преднамеренная или непреднамеренная, с различными комбинациями последней версии gcc. версия 7.3 в последней версии ядра 4.15.8 на Archlinux. По какой-то причине вызов func() опущен для кода, сгенерированного для main(). например

$ 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: вообще не вызывает func или .LFB0:, несмотря на то, что они присутствуют, и несмотря на то, что строка "In func" присутствует в .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

Это ошибка gcc (# 84607), которая была исправлена ​​в gcc 7.3.1 или новее.