P2569 *_HAS_SUBNORM==0 implies what?

[wg21bot]

P2569R0 *_HAS_SUBNORM==0 implies what? (Fred Tydeman)

[mattkretz]

P2569R0: *_HAS_SUBNORM==0 implies what?

2022-06-23 SG6 Telecon Minutes

Chair: Matthias Kretz

Champion: Fred Tydeman

Minute Taker: John McFarlane

Summary

WG14/N2993 is the latest version.

WG14 has not adopted N2993 yet. But the intent is to stop saying anything about subnormal behavior at compile time.

Matthias will look into writing a paper that proposes a similar change for numeric_limits. It was noted that the new numeric traits proposal does not have this problem since it only talks about representation, not behavior.