test/filters-cases/bug-1307.cpp

#include <cmath>

int testfunc (float x)
{
    return std::floor(x);
}