1*89a1d03eSRichard // RUN: %check_clang_tidy %s -std=c++14 cert-mem57-cpp %t 2*89a1d03eSRichard 3*89a1d03eSRichard namespace std { 4*89a1d03eSRichard typedef __typeof(sizeof(int)) size_t; 5*89a1d03eSRichard void *aligned_alloc(size_t, size_t); 6*89a1d03eSRichard void free(void *); 7*89a1d03eSRichard } // namespace std 8*89a1d03eSRichard 9*89a1d03eSRichard struct alignas(128) Vector1 { 10*89a1d03eSRichard char elems[128]; 11*89a1d03eSRichard }; 12*89a1d03eSRichard 13*89a1d03eSRichard struct Vector2 { 14*89a1d03eSRichard char elems[128]; 15*89a1d03eSRichard }; 16*89a1d03eSRichard 17*89a1d03eSRichard struct alignas(128) Vector3 { 18*89a1d03eSRichard char elems[128]; operator newVector319*89a1d03eSRichard static void *operator new(std::size_t nbytes) noexcept(true) { 20*89a1d03eSRichard return std::aligned_alloc(alignof(Vector3), nbytes); 21*89a1d03eSRichard } operator deleteVector322*89a1d03eSRichard static void operator delete(void *p) { 23*89a1d03eSRichard std::free(p); 24*89a1d03eSRichard } 25*89a1d03eSRichard }; 26*89a1d03eSRichard 27*89a1d03eSRichard struct alignas(8) Vector4 { 28*89a1d03eSRichard char elems[32]; 29*89a1d03eSRichard }; 30*89a1d03eSRichard f()31*89a1d03eSRichardvoid f() { 32*89a1d03eSRichard auto *V1 = new Vector1; 33*89a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:14: warning: allocation function returns a pointer with alignment {{[0-9]+}} but the over-aligned type being allocated requires alignment 128 [cert-mem57-cpp] 34*89a1d03eSRichard auto *V2 = new Vector2; 35*89a1d03eSRichard auto *V3 = new Vector3; 36*89a1d03eSRichard auto *V4 = new Vector4; 37*89a1d03eSRichard auto *V1_Arr = new Vector1[2]; 38*89a1d03eSRichard // CHECK-MESSAGES: :[[@LINE-1]]:18: warning: allocation function returns a pointer with alignment {{[0-9]+}} but the over-aligned type being allocated requires alignment 128 [cert-mem57-cpp] 39*89a1d03eSRichard } 40