From 5c4dc0caf01bb29e1bc8dbe01c50616ed6b5c3d6 Mon Sep 17 00:00:00 2001
From: rbock <rbock@eudoxos.de>
Date: Fri, 8 Aug 2014 07:57:08 +0200
Subject: [PATCH] Added a first experimental fail test

---
 CMakeLists.txt                                |  1 +
 test_constraints/CMakeLists.txt               | 17 +++++++
 ...onversion_operator_if_null_not_trivial.cpp | 48 +++++++++++++++++++
 3 files changed, 66 insertions(+)
 create mode 100644 test_constraints/CMakeLists.txt
 create mode 100644 test_constraints/no_conversion_operator_if_null_not_trivial.cpp

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3dd3e7ea..32fd43cc 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -37,6 +37,7 @@ set(include_dir "${PROJECT_SOURCE_DIR}/include")
 file(GLOB_RECURSE sqlpp_headers ${include_dir}/*.h)
 include_directories(${include_dir})
 add_subdirectory(tests)
+add_subdirectory(test_constraints)
 
 install(DIRECTORY "${PROJECT_SOURCE_DIR}/include/sqlpp11" DESTINATION include)
 
diff --git a/test_constraints/CMakeLists.txt b/test_constraints/CMakeLists.txt
new file mode 100644
index 00000000..678412dc
--- /dev/null
+++ b/test_constraints/CMakeLists.txt
@@ -0,0 +1,17 @@
+include_directories(${CMAKE_BINARY_DIR}/tests)
+
+add_executable(
+	no_conversion_operator_if_null_not_trivial
+	EXCLUDE_FROM_ALL
+	no_conversion_operator_if_null_not_trivial.cpp
+	)
+
+add_custom_command(OUTPUT no_conversion_operator_if_null_not_trivial.out
+      COMMAND ${CMAKE_MAKE_PROGRAM} no_conversion_operator_if_null_not_trivial > ${CMAKE_CURRENT_BINARY_DIR}/no_conversion_operator_if_null_not_trivial.out 2>&1  || true
+			COMMAND grep "int i = row.alpha" ${CMAKE_CURRENT_BINARY_DIR}/no_conversion_operator_if_null_not_trivial.out > /dev/null
+			DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/no_conversion_operator_if_null_not_trivial.cpp
+			COMMENT "no_conversion_operator_if_null_not_trivial"
+			)
+
+add_custom_target(test_constraints DEPENDS no_conversion_operator_if_null_not_trivial.out COMMAND true)
+
diff --git a/test_constraints/no_conversion_operator_if_null_not_trivial.cpp b/test_constraints/no_conversion_operator_if_null_not_trivial.cpp
new file mode 100644
index 00000000..7b995626
--- /dev/null
+++ b/test_constraints/no_conversion_operator_if_null_not_trivial.cpp
@@ -0,0 +1,48 @@
+/*
+ * Copyright (c) 2013-2014, Roland Bock
+ * All rights reserved.
+ * 
+ * Redistribution and use in source and binary forms, with or without modification, 
+ * are permitted provided that the following conditions are met:
+ * 
+ *  * Redistributions of source code must retain the above copyright notice, 
+ *    this list of conditions and the following disclaimer.
+ *  * Redistributions in binary form must reproduce the above copyright notice, 
+ *    this list of conditions and the following disclaimer in the documentation 
+ *    and/or other materials provided with the distribution.
+ * 
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND 
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 
+ * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 
+ * IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 
+ * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF 
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE 
+ * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED 
+ * OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#include "Sample.h"
+#include "MockDb.h"
+#include <sqlpp11/sqlpp11.h>
+
+EnforceDb edb {};
+
+int main()
+{
+	test::TabBar t; 
+
+	static_assert(sqlpp::can_be_null_t<decltype(t.alpha)>::value, "t.alpha can be null");
+	static_assert(not sqlpp::null_is_trivial_value_t<decltype(t.alpha)>::value, "t.alpha does not say null_is_trivial");
+
+	for (const auto& row : edb(select(all_of(t)).from(t).where(true)))
+	{
+		static_assert(sqlpp::can_be_null_t<decltype(row.alpha)>::value, "row.alpha can be null");
+		static_assert(not sqlpp::null_is_trivial_value_t<decltype(row.alpha)>::value, "row.alpha does not interpret null_is_trivial");
+
+		int i = row.alpha;
+	}
+
+	return 0;
+}