intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-24 08:30:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

[clang][Interp] Add missing static_assert messages

Browse Source
This commit is contained in:
Timm Bäder
2023-07-20 16:18:45 +02:00
parent 95c2d01dfe
commit 53c936a67c
1 changed files with 27 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

54
clang/test/AST/Interp/builtin-functions.cpp
View File

@@ -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}}
}