Added sanity check for separate translation unit.

eyalz800 · Nov 5, 2021 · 9af6e5b · 9af6e5b
1 parent 7f1c388
commit 9af6e5b
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 6 deletions.
diff --git a/test/src/sanity_integer_divide.cpp b/test/src/sanity_integer_divide.cpp
@@ -1,8 +1,5 @@
 #include "test.h"
 
-namespace
-{
-
 zpp::throwing<int> integer_divide(int x, int y)
 {
     if (y == 0) {
@@ -21,7 +18,7 @@ zpp::throwing<bool> integer_divide_equals(int x, int y, int z)
     co_return false;
 }
 
-int test_integer_divide_equals(int x, int y, int z)
+static int test_integer_divide_equals(int x, int y, int z)
 {
     return zpp::try_catch([&]() -> zpp::throwing<int> {
         if (co_await integer_divide_equals(x, y, z)) {
@@ -38,8 +35,6 @@ int test_integer_divide_equals(int x, int y, int z)
     });
 }
 
-}
-
 TEST(sanity_integer_divide, integer_divide)
 {
     EXPECT_EQ(test_integer_divide_equals(4, 2, 2), 1);

diff --git a/test/src/sanity_integer_divide_separate_tu.cpp b/test/src/sanity_integer_divide_separate_tu.cpp
@@ -0,0 +1,29 @@
+#include "test.h"
+
+zpp::throwing<bool> integer_divide_equals(int x, int y, int z);
+
+static int test_integer_divide_equals(int x, int y, int z)
+{
+    return zpp::try_catch([&]() -> zpp::throwing<int> {
+        if (co_await integer_divide_equals(x, y, z)) {
+            co_return 1;
+        } else {
+            co_return 2;
+        }
+    }, [&](const std::overflow_error &) {
+        return 3;
+    }, [&](const std::range_error &) {
+        return 4;
+    }, [&]() {
+        return 5;
+    });
+}
+
+TEST(sanity_integer_divide, integer_divide_separate_tu)
+{
+    EXPECT_EQ(test_integer_divide_equals(4, 2, 2), 1);
+    EXPECT_EQ(test_integer_divide_equals(4, 2, 1), 2);
+    EXPECT_EQ(test_integer_divide_equals(4, 0, 2), 3);
+    EXPECT_EQ(test_integer_divide_equals(4, 3, 2), 4);
+}
+