=?utf-8?Q?Re:_[Diffusion]_rL260577:_In_C11, _provide_macros_FLT=5FDECIMAL?= _DIG, DBL_DECIMAL_DIG, and LDBL_DECIMAL_DIG…

[Hubert Tong via cfe-commits]

hubert.reinterpretcast added inline comments.

/cfe/trunk/test/Headers/float.c:113 This check is invalid. The requirement that the set of values of the "smaller" types is a subset of the set of values the "larger" type does not establish the relationship being checked here. In particular, a larger //p// value will allow digits at higher //k//, which creates a situation where subnormal numbers of the larger type can be used to represent the value of the normalized numbers with low //e// in the smaller type.

Users:
  rsmith (Author)

http://reviews.llvm.org/rL260577