blob: 61e10c020f57f691c586d6ceb7138f029fb24b3f [file] [log] [blame]
SKIP: FAILED
void main_1() {
float x_1 = 50.0f;
float x_2 = ddx_fine(x_1);
}
void main() {
main_1();
}