Merge pull request #579 from elbeno/dangling-view-fail-test

✅ Add fail test for dangling message view

Author: lukevalenty

test/CMakeLists.txt

@@ -125,6 +125,7 @@ add_compile_fail_test(msg/fail/owning_msg_incompatible_view.cpp LIBRARIES
                       warnings cib)
 add_compile_fail_test(msg/fail/message_const_field_write.cpp LIBRARIES warnings
                       cib)
+add_compile_fail_test(msg/fail/message_dangling_view.cpp LIBRARIES warnings cib)
 add_compile_fail_test(msg/fail/message_dup_fieldnames.cpp LIBRARIES warnings
                       cib)
 add_compile_fail_test(msg/fail/message_incompatible_matcher.cpp LIBRARIES

test/msg/fail/message_dangling_view.cpp

@@ -0,0 +1,20 @@
+#include <msg/field.hpp>
+#include <msg/message.hpp>
+
+// EXPECT: -Wdangling
+namespace {
+using namespace msg;
+
+using f1 = field<"f1", std::uint32_t>::located<at{0_dw, 31_msb, 24_lsb}>;
+using f2 = field<"f2", std::uint32_t>::located<at{0_dw, 7_msb, 0_lsb}>;
+
+using msg_defn = message<"test_msg", f1, f2>;
+} // namespace
+
+auto main() -> int {
+#if defined(__clang__)
+    [[maybe_unused]] auto v = msg::owning<msg_defn>{}.as_const_view();
+#else
+    static_assert(false, "-Wdangling");
+#endif
+}