codeql/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/FloatComparison/c.c

static float g(void);

void c_f(void) {
    float x, y;

    x == 3.0;
    3.0 == x;
    x == x;
    x == y;

    g() == 3.0;
    3.0 == g();
    g() == g();

    x == g();
    g() == x;
}