From c86b984ea8ecb3e944dc3de48539f4c1f65851ea Mon Sep 17 00:00:00 2001 From: dim Date: Sun, 18 Jan 2015 16:23:48 +0000 Subject: Vendor import of clang RELEASE_360/rc1 tag r226102 (effectively, 3.6.0 RC1): https://llvm.org/svn/llvm-project/cfe/tags/RELEASE_360/rc1@226102 --- test/Analysis/builtin-functions.cpp | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) (limited to 'test/Analysis/builtin-functions.cpp') diff --git a/test/Analysis/builtin-functions.cpp b/test/Analysis/builtin-functions.cpp index 72d5ad2..d3afab5 100644 --- a/test/Analysis/builtin-functions.cpp +++ b/test/Analysis/builtin-functions.cpp @@ -22,3 +22,31 @@ void testSize() { clang_analyzer_eval(i == 0); // expected-warning{{TRUE}} } + +void test_assume_aligned_1(char *p) { + char *q; + + q = (char*) __builtin_assume_aligned(p, 16); + clang_analyzer_eval(p == q); // expected-warning{{TRUE}} +} + +void test_assume_aligned_2(char *p) { + char *q; + + q = (char*) __builtin_assume_aligned(p, 16, 8); + clang_analyzer_eval(p == q); // expected-warning{{TRUE}} +} + +void test_assume_aligned_3(char *p) { + void *q; + + q = __builtin_assume_aligned(p, 16, 8); + clang_analyzer_eval(p == q); // expected-warning{{TRUE}} +} + +void test_assume_aligned_4(char *p) { + char *q; + + q = (char*) __builtin_assume_aligned(p + 1, 16); + clang_analyzer_eval(p == q); // expected-warning{{FALSE}} +} -- cgit v1.1