add another failing fn call test

nunoplopes · nunoplopes · commit d3ddabd7c636 · 2020-05-27T23:20:49.000+01:00
diff --git a/tests/unit/call-error7.opt b/tests/unit/call-error7.opt
@@ -0,0 +1,8 @@
+%c1 = call i1 @f(i8 poison) nowrite
+assume(%c1)
+ret i4 0
+  =>
+assume(false)
+ret i4 1
+
+; FIXME: this test should fail
