Is the behaviour of casting a negative double to unsigned int defined in the C standard? Different behaviour on ARM vs. x86

by

No

This conversion is undefined and therefore not portable.

C99/C11 6.3.1.4

When a finite value of real floating type is converted to an integer type other than _Bool,
the fractional part is discarded (i.e., the value is truncated toward zero). If the value of
the integral part cannot be represented by the integer type, the behavior is undefined.

According to C11 6.3.1.4 footnote 61:

The remaindering operation performed when a value of integer type is converted to unsigned type need not be performed when a value of real floating type is converted to unsigned type. Thus, the range of portable real floating values is (−1, Utype_MAX+1).

More Related Contents:

  1. When is casting between pointer types not undefined behavior in C?
  2. How to convert string to float?
  3. C Function to Convert float to byte array
  4. Is it Undefined Behaviour to cast away the constness of a function parameter?
  5. pow() cast to integer, unexpected result
  6. error: incompatible types for a function that returns float in C
  7. How do I restrict a float value to only two places after the decimal point in C?
  8. Dividing 1/n always returns 0.0 [duplicate]
  9. What operations and functions on +0.0 and -0.0 give different arithmetic results?
  10. A question about union in C – store as one type and read as another – is it implementation defined?
  11. What is guaranteed about the size of a function pointer?
  12. Checking if float is an integer
  13. unsigned int and signed char comparison
  14. What is the fastest way to convert float to int on x86
  15. Invalid cast from ‘System.Int32’ to ‘System.Nullable`1[[System.Int32, mscorlib]]
  16. Mis-aligned pointers on x86
  17. How to convert Decimal to Double in C#?
  18. Is fmod() exact when y is an integer?
  19. Trouble with float on C [duplicate]
  20. Is while(1); undefined behavior in C?
  21. When does underflow occur?
  22. C code with undefined results, compiler generates invalid code (with -O3)
  23. C printf using %d and %f
  24. printf() with no arguments in C compiles fine. how?
  25. Comparing float and double
  26. When is it valid to access a pointer to a “dead” object?
  27. Why do you need an explicit `-lm` compiler option? [duplicate]
  28. Cast T[][] to T*
  29. C fundamentals: double variable not equal to double expression?
  30. How can floating point calculations be made deterministic?

Leave a Comment