add more tests

Author: Tsche

lit.cfg.py

@@ -36,12 +36,12 @@ def sed_escape(s: str) -> str:
 compiler = lit_config.params.get("compiler")
 if compiler == "clang":
   config.available_features.add("clang")
-  config.substitutions.append(("%verify", f"not clang++ {clang_flags} %s 2>&1 | FileCheck <({diag_replacements} %s)"))
-  config.substitutions.append(("%compile", f"clang++ {clang_flags} %s 2>&1"))
+  config.substitutions.append(("%verify", f"not clang++ {clang_flags} -c %s 2>&1 | FileCheck <({diag_replacements} %s)"))
+  config.substitutions.append(("%compile", f"clang++ {clang_flags} -c %s 2>&1"))
 elif compiler == "gcc":
   config.available_features.add("gcc")
-  config.substitutions.append(("%verify", f"not g++ {gcc_flags} %s 2>&1 | FileCheck <({diag_replacements} %s)"))
-  config.substitutions.append(("%compile", f"g++ {gcc_flags} %s 2>&1"))
+  config.substitutions.append(("%verify", f"not g++ {gcc_flags} -c %s 2>&1 | FileCheck <({diag_replacements} %s)"))
+  config.substitutions.append(("%compile", f"g++ {gcc_flags} -c %s 2>&1"))
 else:
   print(f"Invalid compiler. Select a compiler with -Dcompiler={{gcc,clang}}")
   sys.exit(1)

test/base.verify.cpp

@@ -0,0 +1,22 @@
+// RUN: %verify
+
+#include <chroma>
+
+struct A {
+  static constexpr auto error_message = "not in A";
+};
+
+struct B : A {
+  static constexpr auto error_message = "not in B";
+};
+
+void fnc1(callable_from<B> = {}) {}
+
+void fnc2(callable_from<A> = {}) {
+  // STATIC_ASSERT: not in B
+  fnc1();
+}
+
+void fnc3(callable_from<B> = {}) {
+  fnc2();
+}

test/unrelated.verify.cpp

@@ -0,0 +1,22 @@
+// RUN: %verify
+
+#include <chroma>
+
+struct A {
+  static constexpr auto error_message = "not in A";
+};
+
+struct B {
+  static constexpr auto error_message = "not in B";
+};
+
+void fnc(callable_from<A> = {}) {}
+void other_fnc(callable_from<B> = {}) {
+  // STATIC_ASSERT: not in A
+  fnc();
+}
+
+void test() {
+  // STATIC_ASSERT: not in B
+  other_fnc();
+}

test/with.pass.cpp

@@ -0,0 +1,21 @@
+// RUN: %compile
+
+#include <chroma>
+
+struct A {
+  static constexpr auto error_message = "not in A";
+};
+
+struct B {
+  static constexpr auto error_message = "not in B";
+};
+
+void fnc1(callable_from<A> = {}) {}
+void fnc2(callable_from<B> = {}) {}
+
+void test() {
+  $with(A, B) {
+    fnc1();
+    fnc2();
+  };
+}

test/with.verify.cpp

@@ -0,0 +1,22 @@
+// RUN: %verify
+
+#include <chroma>
+
+struct A {
+  static constexpr auto error_message = "not in A";
+};
+
+struct B {
+  static constexpr auto error_message = "not in B";
+};
+
+void fnc1(callable_from<A> = {}) {}
+void fnc2(callable_from<B> = {}) {}
+
+void test() {
+  $with(A) {
+    fnc1();
+    // STATIC_ASSERT: not in B
+    fnc2();
+  };
+}