float-no-simp8.c

extern void abort(void);
#include <assert.h>
void reach_error() { assert(0); }
#include <math.h>

int main (int argc, char **argv) {
  float f = -0x1p-129f;
  float g =  0x1p-129f;
  float target = 0x0;

  float result = f + g;

  if(!(result == target && signbit(result) == signbit(target))) {reach_error();abort();}

  return 0;
}