I am trying my best. As a first step, C23^1 will have this clarification:
"Note 3 to entry: Any other behavior during execution of a program is only affected as a direct consequence of the concrete behavior that occurs when encountering the erroneous or non-portable program construct or data. In particular, all observable behavior (5.1.2.4) appears as specified in this document when it happens before an operation with undefined behavior in the execution of the program."
^1 https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3220.pdf