[FFmpeg-devel] [PATCH] Implement the function cmdutils.c:parse_int_or_die
D. Hugh Redelmeier
Wed Feb 20 09:16:14 CET 2008
| From: Rich Felker <dalias at aerifal.cx>
| On Wed, Feb 20, 2008 at 02:01:36AM -0500, D. Hugh Redelmeier wrote:
| > I'm not sure what you mean.
| No, rather x<=DBL_MAX is the same as x<INFINITY
One might be surprised. I think that temporary reals in x87 have a
larger dynmaic range that double. So in an efficient
(not-strictly-conforming) implementation these might not be the same.
FP is quite odd and tricky.
As far as I am concerned, the fewer axioms you count on, the better.
More information about the ffmpeg-devel