[Cfp-interest 3226] Re: [SC22WG14.26243] constexpr initialization seemingly can contain UB?

[Fred J. Tydeman]

On Sun, 18 Aug 2024 14:46:55 -0700 Jim Thomas wrote:
>
>3.5.3 (undefined behavior) #2 says:
>
>Note 1 to entry: Possible undefined behavior ranges from ignoring the situation completely with unpredictable
>results, to behaving during translation or program execution in a documented manner characteristic of the
>environment (with or without the issuance of a diagnostic message), ...
>
>This would seem to mean an implementation that does not declare support for Annex F but that does document its support for infinity could set f to +infinity without issuing a diagnostic message. 
>
>Does this help?

That seems fine to me.



---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (702) 608-6093      Vice-chair of INCITS/C (ANSI "C")
Sample C17+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.