[clang] 53c936a - [clang][Interp] Add missing static_assert messages

Timm Bäder via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 20 07:19:29 PDT 2023


Author: Timm Bäder
Date: 2023-07-20T16:19:12+02:00
New Revision: 53c936a67c15bc5025ef9f7804399884ca73efa7

URL: https://github.com/llvm/llvm-project/commit/53c936a67c15bc5025ef9f7804399884ca73efa7
DIFF: https://github.com/llvm/llvm-project/commit/53c936a67c15bc5025ef9f7804399884ca73efa7.diff

LOG: [clang][Interp] Add missing static_assert messages

Added: 
    

Modified: 
    clang/test/AST/Interp/builtin-functions.cpp

Removed: 
    


################################################################################
diff  --git a/clang/test/AST/Interp/builtin-functions.cpp b/clang/test/AST/Interp/builtin-functions.cpp
index e5141b0049d35a..eff8f80b7649a1 100644
--- a/clang/test/AST/Interp/builtin-functions.cpp
+++ b/clang/test/AST/Interp/builtin-functions.cpp
@@ -5,32 +5,32 @@ namespace strcmp {
   constexpr char kFoobar[6] = {'f','o','o','b','a','r'};
   constexpr char kFoobazfoobar[12] = {'f','o','o','b','a','z','f','o','o','b','a','r'};
 
-  static_assert(__builtin_strcmp("", "") == 0);
-  static_assert(__builtin_strcmp("abab", "abab") == 0);
-  static_assert(__builtin_strcmp("abab", "abba") == -1);
-  static_assert(__builtin_strcmp("abab", "abaa") == 1);
-  static_assert(__builtin_strcmp("ababa", "abab") == 1);
-  static_assert(__builtin_strcmp("abab", "ababa") == -1);
-  static_assert(__builtin_strcmp("a\203", "a") == 1);
-  static_assert(__builtin_strcmp("a\203", "a\003") == 1);
-  static_assert(__builtin_strcmp("abab\0banana", "abab") == 0);
-  static_assert(__builtin_strcmp("abab", "abab\0banana") == 0);
-  static_assert(__builtin_strcmp("abab\0banana", "abab\0canada") == 0);
-  static_assert(__builtin_strcmp(0, "abab") == 0); // expected-error {{not an integral constant}} \
-                                                   // expected-note {{dereferenced null}} \
-                                                   // expected-note {{in call to}} \
-                                                   // ref-error {{not an integral constant}} \
-                                                   // ref-note {{dereferenced null}}
-  static_assert(__builtin_strcmp("abab", 0) == 0); // expected-error {{not an integral constant}} \
-                                                   // expected-note {{dereferenced null}} \
-                                                   // expected-note {{in call to}} \
-                                                   // ref-error {{not an integral constant}} \
-                                                   // ref-note {{dereferenced null}}
+  static_assert(__builtin_strcmp("", "") == 0, "");
+  static_assert(__builtin_strcmp("abab", "abab") == 0, "");
+  static_assert(__builtin_strcmp("abab", "abba") == -1, "");
+  static_assert(__builtin_strcmp("abab", "abaa") == 1, "");
+  static_assert(__builtin_strcmp("ababa", "abab") == 1, "");
+  static_assert(__builtin_strcmp("abab", "ababa") == -1, "");
+  static_assert(__builtin_strcmp("a\203", "a") == 1, "");
+  static_assert(__builtin_strcmp("a\203", "a\003") == 1, "");
+  static_assert(__builtin_strcmp("abab\0banana", "abab") == 0, "");
+  static_assert(__builtin_strcmp("abab", "abab\0banana") == 0, "");
+  static_assert(__builtin_strcmp("abab\0banana", "abab\0canada") == 0, "");
+  static_assert(__builtin_strcmp(0, "abab") == 0, ""); // expected-error {{not an integral constant}} \
+                                                       // expected-note {{dereferenced null}} \
+                                                       // expected-note {{in call to}} \
+                                                       // ref-error {{not an integral constant}} \
+                                                       // ref-note {{dereferenced null}}
+  static_assert(__builtin_strcmp("abab", 0) == 0, ""); // expected-error {{not an integral constant}} \
+                                                       // expected-note {{dereferenced null}} \
+                                                       // expected-note {{in call to}} \
+                                                       // ref-error {{not an integral constant}} \
+                                                       // ref-note {{dereferenced null}}
 
-  static_assert(__builtin_strcmp(kFoobar, kFoobazfoobar) == -1);
-  static_assert(__builtin_strcmp(kFoobar, kFoobazfoobar + 6) == 0); // expected-error {{not an integral constant}} \
-                                                                    // expected-note {{dereferenced one-past-the-end}} \
-                                                                    // expected-note {{in call to}} \
-                                                                    // ref-error {{not an integral constant}} \
-                                                                    // ref-note {{dereferenced one-past-the-end}}
+  static_assert(__builtin_strcmp(kFoobar, kFoobazfoobar) == -1, "");
+  static_assert(__builtin_strcmp(kFoobar, kFoobazfoobar + 6) == 0, ""); // expected-error {{not an integral constant}} \
+                                                                        // expected-note {{dereferenced one-past-the-end}} \
+                                                                        // expected-note {{in call to}} \
+                                                                        // ref-error {{not an integral constant}} \
+                                                                        // ref-note {{dereferenced one-past-the-end}}
 }


        


More information about the cfe-commits mailing list