system-header-simulator-cxx-std-suppression.h source code [clang_source_code/test/Analysis/Inputs/system-header-simulator-cxx-std-suppression.h]

1	// This is a fake system header with divide-by-zero bugs introduced in
2	// c++ std library functions. We use these bugs to test hard-coded
3	// suppression of diagnostics within standard library functions that are known
4	// to produce false positives.
5
6	#pragma clang system_header
7
8	typedef unsigned char uint8_t;
9
10	typedef __typeof__(sizeof(int)) size_t;
11	void memmove(void s1, const void *s2, size_t n);
12
13	namespace std {
14
15	template <class _Tp>
16	class allocator {
17	public:
18	void deallocate(void *p) {
19	::delete p;
20	}
21	};
22
23	template <class _Alloc>
24	class allocator_traits {
25	public:
26	static void deallocate(void *p) {
27	_Alloc().deallocate(p);
28	}
29	};
30
31	template <class _Tp, class _Alloc>
32	class __list_imp
33	{};
34
35	template <class _Tp, class _Alloc = allocator<_Tp> >
36	class list
37	: private __list_imp<_Tp, _Alloc>
38	{
39	public:
40	void pop_front() {
41	// Fake use-after-free.
42	// No warning is expected as we are suppressing warning coming
43	// out of std::list.
44	int z = 0;
45	z = 5/z;
46	}
47	bool empty() const;
48	};
49
50	// basic_string
51	template<class _CharT, class _Alloc = allocator<_CharT> >
52	class __attribute__ ((__type_visibility__("default"))) basic_string {
53	bool isLong;
54	union {
55	_CharT localStorage[4];
56	_CharT *externalStorage;
57
58	void assignExternal(_CharT *newExternal) {
59	externalStorage = newExternal;
60	}
61	} storage;
62
63	typedef allocator_traits<_Alloc> __alloc_traits;
64
65	public:
66	basic_string();
67
68	void push_back(int c) {
69	// Fake error trigger.
70	// No warning is expected as we are suppressing warning coming
71	// out of std::basic_string.
72	int z = 0;
73	z = 5/z;
74	}
75
76	_CharT *getBuffer() {
77	return isLong ? storage.externalStorage : storage.localStorage;
78	}
79
80	basic_string &operator +=(int c) {
81	// Fake deallocate stack-based storage.
82	// No warning is expected as we are suppressing warnings within
83	// std::basic_string.
84	__alloc_traits::deallocate(getBuffer());
85	}
86
87	basic_string &operator =(const basic_string &other) {
88	// Fake deallocate stack-based storage, then use the variable in the
89	// same union.
90	// No warning is expected as we are suppressing warnings within
91	// std::basic_string.
92	__alloc_traits::deallocate(getBuffer());
93	storage.assignExternal(new _CharT[4]);
94	}
95	};
96
97	template<class _Engine, class _UIntType>
98	class __independent_bits_engine {
99	public:
100	// constructors and seeding functions
101	__independent_bits_engine(_Engine& __e, size_t __w);
102	};
103
104	template<class _Engine, class _UIntType>
105	__independent_bits_engine<_Engine, _UIntType>
106	::__independent_bits_engine(_Engine& __e, size_t __w)
107	{
108	// Fake error trigger.
109	// No warning is expected as we are suppressing warning coming
110	// out of std::__independent_bits_engine.
111	int z = 0;
112	z = 5/z;
113	}
114
115	#if __has_feature(cxx_decltype)
116	typedef decltype(nullptr) nullptr_t;
117
118	template<class _Tp>
119	class shared_ptr
120	{
121	public:
122	constexpr shared_ptr(nullptr_t);
123	explicit shared_ptr(_Tp* __p);
124
125	shared_ptr(shared_ptr&& __r) { }
126
127	~shared_ptr();
128
129	shared_ptr& operator=(shared_ptr&& __r) {
130	// Fake error trigger.
131	// No warning is expected as we are suppressing warning coming
132	// out of std::shared_ptr.
133	int z = 0;
134	z = 5/z;
135	}
136	};
137
138	template<class _Tp>
139	inline
140	constexpr
141	shared_ptr<_Tp>::shared_ptr(nullptr_t) {
142	}
143
144	#endif // __has_feature(cxx_decltype)
145	}
146
147

Clang Project