76 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only -DCHECK_ERROR %s -verify 2 3float function_scope(float a) {4#pragma float_control(precise, on) junk // expected-warning {{extra tokens at end of '#pragma float_control' - ignored}}5 return a;6}7 8// Ok, at namespace scope.9namespace foo {10#pragma float_control(push)11#pragma float_control(pop)12}13 14// Ok, within a language linkage specification.15extern "C" {16#pragma float_control(push)17#pragma float_control(pop)18}19 20// Same.21extern "C++" {22#pragma float_control(push)23#pragma float_control(pop)24}25 26#ifdef CHECK_ERROR27// Ok at file scope.28#pragma float_control(push)29#pragma float_control(pop)30#pragma float_control(precise, on, push)31void check_stack() {32 // Not okay within a function declaration.33#pragma float_control(push) // expected-error {{can only appear at file or namespace scope or within a language linkage specification}}34#pragma float_control(pop) // expected-error {{can only appear at file or namespace scope or within a language linkage specification}}35#pragma float_control(precise, on, push) // expected-error {{can only appear at file or namespace scope or within a language linkage specification}}36#pragma float_control(except, on, push) // expected-error {{can only appear at file or namespace scope or within a language linkage specification}}37#pragma float_control(except, on, push, junk) // expected-error {{float_control is malformed}}38 return;39}40#endif41 42// RUN: %clang_cc1 -triple x86_64-linux-gnu -fdenormal-fp-math=preserve-sign,preserve-sign -fsyntax-only %s -DDEFAULT -verify43// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only %s -ffp-contract=fast -DPRECISE -verify44// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsyntax-only %s -ffp-contract=off -frounding-math -ffp-exception-behavior=strict -DSTRICT -verify45// RUN: %clang_cc1 -triple x86_64-linux-gnu -menable-no-infs -menable-no-nans -funsafe-math-optimizations -fno-signed-zeros -mreassociate -freciprocal-math -ffp-contract=fast -ffast-math -ffinite-math-only -fsyntax-only %s -DFAST -verify46double a = 0.0;47double b = 1.0;48 49#ifdef STRICT50#pragma float_control(precise, off) // expected-error {{'#pragma float_control(precise, off)' is illegal when except is enabled}}51#else52#ifndef FAST53#pragma STDC FENV_ACCESS ON54#pragma float_control(precise, off) // expected-error {{'#pragma float_control(precise, off)' is illegal when except is enabled}}55#endif56#endif57 58#pragma float_control(precise, on)59#pragma float_control(except, on) // OK60#ifndef STRICT61#pragma float_control(except, on)62#pragma float_control(precise, off) // expected-error {{'#pragma float_control(precise, off)' is illegal when except is enabled}}63#endif64int main() {65#ifdef STRICT66#pragma float_control(precise, off) // expected-error {{'#pragma float_control(precise, off)' is illegal when except is enabled}}67#else68#pragma float_control(precise, off) // expected-error {{'#pragma float_control(precise, off)' is illegal when except is enabled}}69#endif70#pragma float_control(except, on)71 // error: '#pragma float_control(except, on)' is illegal when precise is disabled72 double x = b / a; // only used for fp flag setting73 if (a == a) // only used for fp flag setting74 return 0; //(int)x;75}76