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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to