|
477 | 477 | side effects affecting the
|
478 | 478 | observable behavior of the program are produced.}
|
479 | 479 |
|
480 |
| -\indextext{behavior!implementation-defined}% |
481 | 480 | \pnum
|
| 481 | +\indextext{behavior!implementation-defined}% |
482 | 482 | Certain aspects and operations of the abstract machine are described in this
|
483 | 483 | document as implementation-defined (for example,
|
484 | 484 | \tcode{sizeof(int)}). These constitute the parameters of the abstract machine.
|
|
489 | 489 | abstract machine that corresponds to that implementation (referred to as the
|
490 | 490 | ``corresponding instance'' below).
|
491 | 491 |
|
492 |
| -\indextext{behavior!unspecified}% |
493 | 492 | \pnum
|
| 493 | +\indextext{behavior!unspecified}% |
494 | 494 | Certain other aspects and operations of the abstract machine are
|
495 | 495 | described in this document as unspecified (for example,
|
496 | 496 | order of evaluation of arguments in a function call\iref{expr.call}).
|
|
500 | 500 | of the abstract machine can thus have more than one possible execution
|
501 | 501 | for a given program and a given input.
|
502 | 502 |
|
503 |
| -\indextext{behavior!undefined}% |
504 | 503 | \pnum
|
| 504 | +\indextext{behavior!undefined}% |
505 | 505 | Certain other operations are described in this document as
|
506 | 506 | undefined (for example, the effect of
|
507 | 507 | attempting to modify a const object).
|
508 | 508 | \begin{note} This document imposes no requirements on the
|
509 | 509 | behavior of programs that contain undefined behavior. \end{note}
|
510 | 510 |
|
| 511 | +\pnum |
511 | 512 | \indextext{program!well-formed}%
|
512 | 513 | \indextext{behavior!observable}%
|
513 |
| -\pnum |
514 | 514 | A conforming implementation executing a well-formed program shall
|
515 | 515 | produce the same observable behavior as one of the possible executions
|
516 | 516 | of the corresponding instance of the abstract machine with the
|
|
521 | 521 | (not even with regard to operations preceding the first undefined
|
522 | 522 | operation).
|
523 | 523 |
|
524 |
| -\indextext{conformance requirements} |
525 | 524 | \pnum
|
| 525 | +\indextext{conformance requirements}% |
526 | 526 | The least requirements on a conforming implementation are:
|
527 | 527 | \begin{itemize}
|
528 | 528 | \item
|
|
0 commit comments