add regression test for sin

goblint · Nov 23, 2023 · be4fdad · be4fdad
1 parent 0107ce9
commit be4fdad
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/tests/regression/39-signed-overflows/12-sin-noninf-nonnan.c b/tests/regression/39-signed-overflows/12-sin-noninf-nonnan.c
@@ -0,0 +1,15 @@
+// PARAM: --enable ana.float.interval --set ana.activated[+] tmpSpecial
+
+#include <math.h>
+
+int main() /* check_lower_bound */
+{
+    float x;
+
+    if(!(!__builtin_isnan (x) && !__builtin_isinf_sign (x))) abort();
+    float y = sinf(x);
+    if(!(__builtin_isgreaterequal(y, -1.0f)))
+      __goblint_check(0); // NOWARN (unreachable)
+    return 0;
+
+}