diff --git a/tests/regression/39-signed-overflows/12-sin-noninf-nonnan.c b/tests/regression/39-signed-overflows/12-sin-noninf-nonnan.c
new file mode 100644
index 0000000000..30a5f762be
--- /dev/null
+++ 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;
+
+}