Omettendo un comportamento non definito di dichiarazione di ritorno in C89 (noto anche come ANSI C)?

Question

consideri seguente esempio di base:

#include <stdio.h> 

int main(void) 
{ 
    printf("Hi there!\n"); 
} 

vuol invocano un comportamento indefinito in C89? Ho cercato di ottenere un po 'di senso da this question, ma le risposte più avanzate hanno affermato che è definito dall'implementazione e sicuramente nessun UB qui (con commenti di Keith Thompson, che sembra contraddittorio).

La specifica dice nel §3.16 Definizioni e convenzioni:

Se un “deve” o “non deve” requisito che appare al di fuori di un vincolo è violata. il comportamento non è definito. Il comportamento non definito è altrimenti indicato in questo standard internazionale dalle parole "comportamento non definito" o dall'omissione di qualsiasi definizione esplicita del comportamento . Non c'è differenza di enfasi tra questi tre: sono tutti che descrivono "comportamento non definito".

e §5.1.2.2.3 terminazione Programma:

Un ritorno dalla chiamata iniziale alla funzione main equivale a chiamare la funzione exit con il valore restituito dalla funzione main come argomento. Se la funzione main esegue un ritorno che specifica alcun valore, lo stato della terminazione restituito all'ambiente host è indefinito.

mia comprensione è che quest'ultimo sottoclausola non copre caso di ritorno mancante, come return dichiarazione non mai invocato, in tal modo si applica l'ex sottoclausola.

lettura Tuttavia futher indica qualcosa di diverso, §6.6.6.4 Il return dichiarazione:

Se viene eseguita un'istruzione return, senza espressione, e il valore della chiamata di funzione è utilizzato dal chiamante , il comportamento non è definito. Il raggiungimento dello } che termina una funzione equivale all'esecuzione di un'istruzione senza un'espressione.

Ok, ora 5.1.2.2.3 subclause vale:

Se la funzione main esegue un ritorno che specifica alcun valore. lo stato della terminazione restituito all'ambiente host è indefinito.

Il termine "stato di terminazione non è definito" non sembra essere UB, nè qualsiasi comportamento specifico, ma più come se fosse al di fuori del campo di applicazione di C standard, pensando più simile a: "lasciate che l'ambiente host per essere preoccupati, ci laviamo le mani da qui ". E 'corretta interpretazione?

Answer 1

anni fa ho effettivamente risolto i problemi causati da questo. Diventa ancora più interessante se si dispone di alcuni percorsi di codice con resi e altri senza.

Come ha affermato @aruisdante nei commenti, il comportamento mostrato è effettivamente "indefinito", ma l'unica parte non definita è il valore restituito (non è come molte altre situazioni "non definite" che potrebbero causare il blocco del programma).

In questi giorni ciò equivale a un rischio per la sicurezza poiché il valore "non definito" restituito è in genere qualsiasi cosa si trovi nel registro CPU normalmente utilizzato per restituire valori (o in pila in alcune implementazioni), che potrebbe essere teoricamente utilizzato per perdere dati sensibili.

Answer 2

Credo che l'intento del Comitato standard fosse che questo valore dello stato di terminazione non è specificato.

Secondo N739 progetto:

e modificare l'ultima frase del 5.1.2.2.3 sottoclausola da:

Se la principale/funzione/esegue un ritorno che specifica alcun valore, la terminazione lo stato restituito all'ambiente host è non definito.

a:

Se la principale/funzione/esegue un ritorno che specifica alcun valore, | lo stato di terminazione restituito all'ambiente host è non specificato.

[Il concetto di valore indefinito è accuratamente evitato altrove.]

È inoltre possibile trovare in ulteriori standard, che la terminologia è stata modificata e la durata "non specificato" viene utilizzato di conseguenza.

Direi che non è assolutamente inteso essere un comportamento indefinito di per sé, ma è ancora impossibile decidere se si tratta di un comportamento non specificato o come ho detto di non avere alcun comportamento. Altro brano, che indicherebbe quest'ultimo questi è §1 Ambito:

La presente norma internazionale non specifica:

• il meccanismo con cui i programmi C sono invocati per l'uso da un sistema di elaborazione dei dati ;

mi aspetterei questo significa anche che la presente norma internazionale non specifica come stato di terminazione dei programmi è gestita da ambiente host.