__builtin_unreachable with floats in GCC

Question

I have the following code, which I am compiling using gcc.

float add(float a, float b) {
    float sum = a + b;
    if (sum != 0) __builtin_unreachable();