clang asserts with ffp-contract=fast-honor-pragmas

[andykaylor]

When I use "#pragma STDC FP_CONTRACT DEFAULT" and compile with "-ffp-contract=fast-honor-pragmas", clang asserts.

float f(float a, float b, float c) {
    #pragma STDC FP_CONTRACT DEFAULT
    return a * b + c;
}

See:

https://godbolt.org/z/EqE6Kn6Wf

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: Andy Kaylor (andykaylor)

When I use "#pragma STDC FP_CONTRACT DEFAULT" and compile with "-ffp-contract=fast-honor-pragmas", clang asserts.

float f(float a, float b, float c) {
    #pragma STDC FP_CONTRACT DEFAULT
    return a * b + c;
}

See:

https://godbolt.org/z/EqE6Kn6Wf

[shafik]

Looks like this unreachable was added in cb08558 by @yxsamliu

[andykaylor]

Looks like this unreachable was added in cb08558 by @yxsamliu

Yes. I'm about to upload a fix.