А давно такое по стандартам собирается?

А если попробовать: void *a() = test(); ?

Ты void a = test() имел ввиду? ;)

По ссылке http://stackoverflow.com/questions/3383090/is-returning-void-a-valid-code нашёл цитаты из стандарта и сперва подумал что компилятор-таки не прав. Но потом глаз зацепился за слово expression

C[99] так делать нельзя.

6.8.6.4§1

A return statement with an expression shall not appear in a function whose return type is void. A return statement without an expression shall only appear in a function whose return type is void.

В C++ можно возвращать выражение типа void из функций с возвращаемым значением void.

Компилятор не позволит так объявить. Интересно, может ли он обнаружить бесконечную рекурсию на стадии компиляции?

Вызов функции — не expression?

Вопрос в том, что такое expression с т.з. стандарта.

Неа, Segmentation fault: 11

Википедия говорит что expression это тот, кто produces value. Функция, возвращаюшая void не делает этого.

Компилируй с -pedantic.

cc -Wall -pedantic    sample.c   -o sample
sample.c: In function ‘test’:
sample.c:4:5: warning: ISO C forbids ‘return’ with expression, in function returning void [-Wpedantic]
     return test(); /* wtf? */

Да, тут самое ололо :)

Технически, test() это statement, а про statement там ничего не сказано. Кто знает где курить, покурите ради интереса.

Воо… Спасибо, будем знать!

x.c:5: warning: ‘return’ with a value, in function returning void

+ kike

Вызов функции всегда expression, вне зависимости от того, возвращает ли она какое-нибудь значение.

Что там написано в Википедии, я не знаю.

А вот так даже с педантиком не ругается, это тоже можно было что-ли?

void
test(void)
{
    /* return test(); wtf? */
}

int
main(int argc, char *argv[])
{
    return test(), 0;
}

Оператор , сначала вычисляет левый операнд, затем правый операнд и возвращает вычисленное выражение правого операнда.

The left operand of a comma operator is evaluated as a void expression; there is a sequence point between its evaluation and that of the right operand. Then the right operand is evaluated; the result has its type and value.

Т. е., твой код аналогичен:

test();
return 0;