Скомпилировать и запустить программу без main() в C

Question

Я пытаюсь скомпилировать и запустить следующую программу без main() функции в C. Я скомпилировал свою программу, используя следующую команду.

gcc -nostartfiles nomain.c 

И компилятор дает предупреждение

/usr/bin/ld: warning: cannot find entry symbol _start; defaulting to 0000000000400340 

Хорошо, нет проблем. то я запускаю исполняемый файл (a.out), и операторы printf печатают успешно, а затем получают ошибка сегментации.

Итак, мой вопрос: Почему ошибка сегментации после успешного выполнения заявлений печати?

мой код:

#include <stdio.h> 

void nomain() 
{ 
     printf("Hello World...\n"); 
     printf("Successfully run without main...\n"); 
} 

выход:

Hello World... 
Successfully run without main... 
Segmentation fault (core dumped) 

Примечание:

Здесь -nostartfiles НКУ флаг, компилятор с использованием стандартных файлов запуска при связывании

Answer 1

Давайте посмотрим на сгенерированный assembly вашей программы:

.LC0: 
     .string "Hello World..." 
.LC1: 
     .string "Successfully run without main..." 
nomain: 
     push rbp 
     mov  rbp, rsp 
     mov  edi, OFFSET FLAT:.LC0 
     call puts 
     mov  edi, OFFSET FLAT:.LC1 
     call puts 
     nop 
     pop  rbp 
     ret 

Обратите внимание на ret заявление. Точка входа вашей программы определяется как nomain, все в порядке. Но как только функция возвращается, она пытается перейти в адрес стека вызовов ... который не заполняется. Это незаконный доступ, и возникает ошибка сегментации.

Быстрое решение было бы назвать exit() в конце вашей программы (и при условии, C11 мы могли бы также отметить функцию как _Noreturn):

#include <stdio.h> 
#include <stdlib.h> 

_Noreturn void nomain(void) 
{ 
    printf("Hello World...\n"); 
    printf("Successfully run without main...\n"); 
    exit(0); 
} 

В самом деле, теперь ваша функция ведет себя очень похоже регулярная функция main, так как после возвращения из main функция exit вызывается с возвратным значением main.

Answer 2

В C, когда функции/подпрограммы называются стек заполняется, как (в произвольном порядке):

1. аргументы,
2. Обратный адрес,
3. Локальные переменные ->верх стек

основные() является начальной точкой, ELF структуры программы таким образом, что все инструкции приходят первым получили бы толкнули первые, в этом случае printfs есть.

Теперь программа является своего рода усеченный без возврата-адреса или __end__ и Infact это предполагает, что все, что есть в стеке в том, что (__end__) расположение возвращение-адрес, но, к сожалению, его нет, и, следовательно, он выходит из строя.