Re: do { quit; } else { }

bart <bc@freeuk.com> writes:

On 08/04/2025 09:12, David Brown wrote:
>

On 07/04/2025 20:31, bart wrote:
>

On 07/04/2025 19:02, Michael S wrote:
>

On Mon, 07 Apr 2025 05:45:19 -0700
>

[discussing Pascal]

- nested procedures
- everything related to separated compilation of the translation
units is handwaved in the docs rather than strictly specified.

>
I don't think it's that strictly specified in C. Isn't it vaguely
left to the implementation?

>
No.

>
C simply has the requirement for separate compilation of
modules.  Where does it specify how the implementation does that?

In C the term is translation units, not modules.

The C standard requires implementations be able to combine
separately compiled translation units into a single unified
program image that contains all the information needed for
program execution.  The standard doesn't say how this step
is to be done, only that implementations must be able to
do it.  Also, the standard doesn't say how to cause a
produced program image to be executed;  rather, there is an
explicit statement that says how to do that is outside the
scope of the standard.