ref: 6394e7a9cdf65e35718af27855726192c3af5eaa dir: /tests/execute/0123-doubleconst.c/
double x = 100; int main() { return x < 1; }