Merge pull request #595 from elbeno/flow-graph-cycle

🚸 Improve error message for cyclic flows

Author: elbeno

.github/workflows/unit_tests.yml

@@ -86,7 +86,7 @@ jobs:
             cxx_flags: ""
           - version: 13
             compiler: gcc
-            install: sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test && sudo apt update && sudo apt-get install -y gcc-13 g++-13
+            install: sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test && sudo apt update && sudo apt install -y gcc-13 g++-13
             cc: "gcc-13"
             cxx: "g++-13"
           - version: 12
@@ -232,7 +232,7 @@ jobs:
           - compiler: gcc
             cc: "gcc-13"
             cxx: "g++-13"
-            install: sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test && sudo apt update && sudo apt-get install -y gcc-13 g++-13
+            install: sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test && sudo apt update && sudo apt install -y gcc-13 g++-13
             toolchain_root: "/usr"
 
     steps:
@@ -288,7 +288,7 @@ jobs:
       - name: Install build tools
         run: |
           sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
-          sudo apt update && sudo apt-get install -y gcc-${{env.DEFAULT_GCC_VERSION}} g++-${{env.DEFAULT_GCC_VERSION}} ninja-build valgrind
+          sudo apt update && sudo apt install -y gcc-${{env.DEFAULT_GCC_VERSION}} g++-${{env.DEFAULT_GCC_VERSION}} ninja-build valgrind
 
       - name: Restore CPM cache
         env:

include/flow/graph_builder.hpp

@@ -147,7 +147,8 @@ struct graph_builder {
         constexpr static auto built() {
             constexpr auto v = Initialized::value;
             constexpr auto built = build(v);
-            static_assert(built.has_value());
+            static_assert(built.has_value(),
+                          "Topological sort failed: cycle in flow");
             return *built;
         }
 

test/CMakeLists.txt

@@ -119,6 +119,7 @@ add_unit_test(
     catalog2_lib
     catalog_strings)
 
+add_compile_fail_test(flow/fail/cyclic_flow.cpp LIBRARIES warnings cib)
 add_compile_fail_test(msg/fail/callback_bad_field_name.cpp LIBRARIES warnings
                       cib)
 add_compile_fail_test(msg/fail/field_location.cpp LIBRARIES warnings cib)

test/flow/fail/cyclic_flow.cpp

@@ -0,0 +1,23 @@
+#include <cib/cib.hpp>
+#include <flow/flow.hpp>
+
+// EXPECT: Topological sort failed: cycle in flow
+
+namespace {
+using namespace flow::literals;
+
+constexpr auto a = flow::milestone<"a">();
+constexpr auto b = flow::milestone<"b">();
+
+struct TestFlowAlpha : public flow::service<> {};
+
+struct CyclicFlowConfig {
+    constexpr static auto config = cib::config(
+        cib::exports<TestFlowAlpha>, cib::extend<TestFlowAlpha>(a >> b >> a));
+};
+} // namespace
+
+auto main() -> int {
+    cib::nexus<CyclicFlowConfig> nexus{};
+    nexus.service<TestFlowAlpha>();
+}