Issue 1047: Function call returning void

Authors: Jay Ghiron
Date: 2026-04-22
Submitted against: C23
Status: Open

The following text has not been properly updated to consider that void is an object type:

If the expression that denotes the called function has type pointer to function returning an object type, the function call expression has the same type as that object type, and has the value determined as specified in 6.8.7.5. Otherwise, the function call has type void.

(C23 6.5.3.3 "Function calls" paragraph 5.)

Suggested correction

Modify 6.5.3.3 paragraph 5:

If the expression that denotes the called function has type pointer to function returning an complete object type, the function call expression has the same type as that object type, and has the value determined as specified in 6.8.7.5.